Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Software

CERT Thread Safety Analysis in CLANG

  • September 2017
  • CERT Thread Safety Analysis in Clang is a tool that uses annotations to declare and enforce thread safety policies in C and C++ programs.
  • Secure Coding
  • Publisher: The LLVM Foundation
  • 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.

Software Information

Published by The LLVM Foundation

Get the Software