Skip to content
Detecting Iterator Invalidation with CodeQL
blog.trailofbits.com | blog | #vulnerability-research | #vulnerabilities | #static-analysis | #codeql | #cpp | #iterator-invalidation | #undefined-behavior
Summary
Itergator, a set of CodeQL classes and queries built during a Trail of Bits internship, detects C++ iterator invalidation—undefined behavior that often yields exploitable bugs—in real-world code.
- Published
- Collected