2026 EuroLLVM - Bounds Checking with the Clang Static Analyzer: Improvements and Insights

Author: LLVM - Bewertung: 0x - Views:0

2026 EuroLLVM Developers' Meeting

https://llvm.org/devmtg/2026-04/

------

Title: Bounds Checking with the Clang Static Analyzer: Improvements and Insights

Speaker: Donat Nagy

------

Slides: https://llvm.org/devmtg/2026-04/slides/technical_talk/technical_talk_nagy.pdf

-----

This talk presents improvements in the checker security.ArrayBound, which became ready for production use in April 2025. In addition to the results, it also showcases an educational issue that had plagued the older prototype-quality bounds validator checker; and briefly speaks about the planned generalizations that would extend these improvements to other related checkers.

-----

Videos Edited by Bash Films: http://www.BashFilms.com