2025 EuroLLVM - Clang Static Analyzer: Supporting Multithreaded Code

2025 EuroLLVM Developers' Meeting https://llvm.org/devmtg/2025-04/ ------ Title: Clang Static Analyzer: Supporting Multithreaded Code Speaker: Isaac Nudelman ------ Slides: https://llvm.org/devmtg/2025-04/slides/student_technical_talk/nudelman_clang_static.pdf ----- Writing multithreaded code is notoriously difficult. Compounding this, static analysis is not particularly effective, as most analyzers (including Clang) are limited to evaluating a single thread of symbolic execution. This talk will describe changes to the Clang Static Analyzer to support analysis across threads, the challenges with the implementation, and the resulting improvement in analysis quality for multithreaded codebases. In particular, we will show multiple bugs that can now be detected using static analysis. ----- Videos Edited by Bash Films: http://www.BashFilms.com