CodeQL library for C/C++
codeql/cpp-all 1.1.0 (changelog, source)
Search

Module IteratorFlow

Module that defines flow through iterators. For example,

auto it = v.begin();
*it = source();
...
sink(v[0]);

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate

Predicates

localFlowStep

Holds if nodeFrom flows to nodeTo in a single step.

Classes

IteratorFlowNode

The set of nodes necessary for iterator flow.

SourceVariable

A variable of some type that can produce an iterator.