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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

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