Clang Thread Safety Analysis is a tool, collaboratively developed by the CERT Secure Coding Initiative and Google, that uses annotations to declare and enforce thread safety policies in C and C++ programs.
The Secure Coding Validation Suite is a set of tests developed by CERT to validate the rules defined in ISO/IEC TS 17961. These tests are based on the examples in this technical specification and are distributed with a BSD-style license.
Ask Us for Help
Contact us for more information and advice about using these tools.
The Vulnerability Analysis team helps engineers reduce security risks posed by software vulnerabilities. The team addresses vulnerabilities in software being developed as well as in software already deployed.