Module ReadNodeFlow

INTERNAL: Do not use.

Import path

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

flowInto	Holds if the read node `nodeTo` should receive flow from `nodeFrom`.
flowOutOf	Holds if flow should leave the read node `nFrom` and enter the node `nodeTo`. This happens either because there is use-use flow from one of the variables used in the read operation, or because we have traversed all the field dereferences in the read operation.
flowThrough	Holds if the read node `nodeTo` should receive flow from the read node `nodeFrom`.