Can source code auditing software identify common vulnerabilities and be used to evaluate software security?
A Static Analyzer for Large Safety-Critical Software