the static analyzer as perfect colleague

He's hardly ever wrong, documents everything scrupulously, and never mentions that thing you did last time.