List of tools for static code analysis
This is a list of tools for static code analysis.
Tools that use sound, i.e. no false negatives, formal methods approach to static analysis (e.g., using static program assertions):
...
Wikipedia
This is a list of tools for static code analysis.
Tools that use sound, i.e. no false negatives, formal methods approach to static analysis (e.g., using static program assertions):