Module ReadNodeFlow
INTERNAL: Do not use.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
Predicates
flowInto | Holds if the read node |
flowOutOf | Holds if flow should leave the read node |
flowThrough | Holds if the read node |
INTERNAL: Do not use.
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
flowInto | Holds if the read node |
flowOutOf | Holds if flow should leave the read node |
flowThrough | Holds if the read node |