The problem is that errors of omissions (code that should be there but isn't) are almost by definition harder to spot than errors of existing code, both for hum

The problem is that errors of omissions (code that should be there but isn't) are almost by definition harder to spot than errors of existing code, both for human and static code analyzers.