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 |
Classes
IteratorFlowNode | The set of nodes necessary for iterator flow. |
SourceVariable | A variable of some type that can produce an iterator. |