CodeQL library and queries for iterator invalidation - View it on GitHub