Secure coding tools

From Simson Garfinkel
Revision as of 13:30, 1 July 2016 by Simson (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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
Retrieved from "https://simson.net/wiki/index.php?title=Secure_coding_tools&oldid=1501"