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

Digital Library

DeLesley Hutchins (Google, Inc.)
October 2014 - Article C/C++ Thread Safety Analysis

Topics: Secure Coding

In this paper, the authors describe Clang Thread Safety Analysis, a tool that uses annotations to enforce thread safety policies in C and C++ programs.