Uploaded May 2025 | Updated September 2026, 3 weeks ago

---

2025 EuroLLVM Developers' Meeting

llvm.org/devmtg/2025-04

------

Title: Clang Static Analyzer: Supporting Multithreaded Code

Speaker: Isaac Nudelman

------

Slides: 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: BashFilms.com