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

Module ReadNodeFlow

INTERNAL: Do not use.

Import path

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

Predicates

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.