---
id: 1840
title: "Detecting Iterator Invalidation with CodeQL"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2020/10/09/detecting-iterator-invalidation-with-codeql/"
published_at: "2020-10-09T12:30:22Z"
tags: ["vulnerability-research", "vulnerabilities", "static-analysis", "codeql", "cpp", "iterator-invalidation", "undefined-behavior"]
phying_url: "https://phying.com/item/1840"
lang: en
---

# Detecting Iterator Invalidation with CodeQL

## 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.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2020-10-09T12:30:22Z
- **Original:** https://blog.trailofbits.com/2020/10/09/detecting-iterator-invalidation-with-codeql/
- **Phying News:** https://phying.com/item/1840