CLANG
September 2017 • Software
CERT Thread Safety Analysis in Clang is a tool that uses annotations to declare and enforce thread safety policies in C and C++ programs.
Abstract
The CERT Thread Safety Analysis in Clang tool uses source code annotations to declare and enforce thread safety policies in C and C++ programs. The tool is part of Clang, a production-quality C/C++ compiler available on most platforms. Once the source code has been annotated with thread capability attributes, it can be analyzed by Clang using the -Wthread-safety command line warning flag.