Lightning Talk: Clang TSA - A Note about Thread Safety
summary
Clang Thread Safety Analysis (TSA) detects missing locks at compile time by reading annotations like GUARDED_BY and function contracts such as acquire/release, catching concurrent push_back errors that otherwise abort at runtime. It requires Clang and annotated headers (libc++ on Linux or macOS, build-your-own libc++ on Windows) and works best when types are annotated; it finds many issues early, is used hundreds of times in Chrome, but misses patterns it cannot model and needs developer effort to annotate code.
AI-written summary · about
related talks
01h 12mFinding Bugs with Clang at Compile and Run Time
01h 26mA Path to Practically Safe C++
01h 01mReal-time Safety — Guaranteed by the Compiler!
54mCatching Real-time Safety Violations in C++
01h 08mImplementing the C++ Core Guidelines’ Lifetime Safety Profile in Clang
48mSecure C++ Programming
01h 05mSecurity in C++: Hardening techniques from the trenches
01h 34mSecurity in C++ - Hardening Techniques From the Trenches