Difference between revisions of "Secure coding tools"

From Simson Garfinkel
Jump to navigationJump to search
(Created page with "C/C++: * Clang Thread Safety Analysis * Rosecheckers – perform static analysis on C/C++ source * Compiler-Enforced Buffer Overflow Elimination Android: * DidFail – uses...")
 
m
Line 6: Line 6:
Android:
Android:
* DidFail – uses static analysis to detect potential leaks – Android
* DidFail – uses static analysis to detect potential leaks – Android
See also:
* https://www.cert.org/secure-coding/products-services/scale.cfm?

Revision as of 14:30, 1 July 2016

C/C++:

  • Clang Thread Safety Analysis
  • Rosecheckers – perform static analysis on C/C++ source
  • Compiler-Enforced Buffer Overflow Elimination

Android:

  • DidFail – uses static analysis to detect potential leaks – Android

See also: