Date & Time
Wednesday, April 15, 2026, 4:45 PM - 5:15 PM
Name
Bounds Checking with the Clang Static Analyzer: Improvements and Insights
Session Type
Technical Talk
Abstract/s
This talk presents my improvements in the checker `security.ArrayBound`, which become ready for production use in April 2025. In addition to the results, I will also showcase an educational issue that had plagued the older prototype-quality bounds validator checker; and briefly speak about the planned generalizations that would extend my improvements to other related checkers.
Speakers
Location Name
Pembroke + Herbert