C++ clang static analysis: IteratorChecker
- Mentors
- Sreeja Kamishetty, Arthur Sonzogni, paulsemel
- Organization
- Chromium
- Technologies
- llvm, c++, clang
- Topics
- compilers, browser
IteratorChecker is a clang plugin that detects iterator use-after-invalidation related bugs and reports them at compile time using LLVM’s FlowSensitive framework.
The goal of this project is to update its current implementation that is responsible, through static analysis, to discover vulnerabilities caused by usage of iterators after their invalidation, providing a deeper and more accurate analysis.