Uploaded May 2025 | Updated September 2026, 2 weeks ago

---

2025 EuroLLVM Developers' Meeting

llvm.org/devmtg/2025-04

------

Title: A Recipe for Eliminating Entire Classes of Memory Safety Vulnerabilities in C and C++

Speaker: Devin Coughlin

------

Slides: llvm.org/devmtg/2025-04/slides/keynote/coughlin_memory.pdf

-----

This talk describes a "recipe" for developing compiler-backed secure programming models that eliminate entire classes of memory-safety security vulnerabilities in C-based languages. We will explain how we used this recipe to design Clang's -fbounds-safety language extension, Clang's - Wunsafe-buffer-usage programming model and the Clang Static Analyzer's WebKit smart pointer checks. We will also describe the need for new Clang-based static analysis infrastructure to enable faster, lower-developer-cost adoption of these programming models.

-----

Videos Edited by Bash Films: BashFilms.com