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

Module ExprFlowCached

INTERNAL: Do not use.

Ideally this module would be private, but the asExprInternal predicate is needed in DefaultTaintTrackingImpl. Once DefaultTaintTrackingImpl is gone we can make this module private.

Import path

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

Predicates

asExprInternal

Gets the expression associated with node n, if any.

localExprFlowStep

Holds if data can flow from e1 to e2 in one local (intra-procedural) step.