Import path
import semmle.code.cpp.dataflow.EscapesTree
Predicates
| variableAccessedAsValue | Holds if e is a fully-converted expression that evaluates to an lvalue derived from va and is used for reading from or assigning to. This is in contrast with a variable access that is used for taking an address (&x) or simply discarding its value (x;).
|
| variableAddressEscapesTree | Holds if e is a fully-converted expression that evaluates to an address derived from the address of va and is stored in a variable or passed across functions. This means e is the Expr.getFullyConverted-form of:
|
| variableAddressEscapesTreeNonConst | Holds if e is a fully-converted expression that evaluates to a non-const address derived from the address of va and is stored in a variable or passed across functions. This means e is the Expr.getFullyConverted-form of:
|