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

Holds if nodeFrom flows to nodeTo in a single step.

IteratorFlowNode	The set of nodes necessary for iterator flow.
SourceVariable	A variable of some type that can produce an iterator.