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

Module StoreNodeFlow

INTERNAL: Do not use.

Import path

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

Predicates

flowInto

Holds if the store node nodeTo should receive flow from nodeFrom.

flowOutOf

Holds if flow should leave the store node nodeFrom and enter the node nodeTo. This happens because we have traversed an entire chain of field dereferences after a store operation.

flowThrough

Holds if the store node nodeTo should receive flow from nodeFom.