> Which you could easily manually eyeball to make sure there weren't obvious false positives?

Implying devs test their code thoroughly. lol. After working at numerous companies (some with high bars of entry) I've noticed many devs push changes without testing properly. Or, if they test, they rarely consider edge cases or implications of what they're doing and only test the obvious base cases.