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.