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 13: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:
