Static analyzers are a tool. And peer reviews are a tool. And compilers are a tool. Being able to combine tools together (as I noted we did) helps you generate

Static analyzers are a tool. And peer reviews are a tool. And compilers are a tool. Being able to combine tools together (as I noted we did) helps you generate better code.