Static analysis tool to search for unsafe math operations

[HockeyInJune]

This could be a simple standalone tool or an add-on to an existing static analysis framework, such as:

• clang static analyzer
• graudit
• RATS
• Source-Navigator
• Frama-C
• BLAST
• cpplint
• cppcheck
• Codan

This could also be written as a rule for commercial static analysis engine, such as:

• HP Fortify Static Code Analyzer
• Understand
• Coverity Static Analysis Verification Engine
• Klocwork Insight