Module DataFlowUtil
Provides C++-specific definitions for use in the data flow library.
Import path
import semmle.code.cpp.dataflow.internal.DataFlowUtil
Predicates
definitionByReferenceNodeFromArgument |
Gets the |
exprNode |
Gets the |
getAnAccessToAssignedVariable | |
localExprFlow |
Holds if data can flow from |
localFlow |
Holds if data flows from |
localFlowStep |
Holds if data flows from |
parameterNode |
Gets the |
simpleLocalFlowStep |
INTERNAL: do not use. |
uninitializedNode |
Gets the |
Classes
BarrierGuard |
DEPRECATED: Use |
Content |
A description of the way data may be stored inside an object. Examples include instance fields, the contents of a collection object, or the contents of an array. |
ContentSet |
An entity that represents a set of |
DefinitionByReferenceNode |
A node that represents the value of a variable after a function call that may have changed the variable because it’s passed by reference. |
DefinitionByReferenceOrIteratorNode |
INTERNAL: do not use. |
ExplicitParameterNode |
The value of a parameter at function entry, viewed as a node in a data flow graph. |
ExprNode |
An expression, viewed as a node in a data flow graph. |
FieldContent |
A reference through an instance field. |
ImplicitParameterNode | |
Node |
A node in a data flow graph. |
ParameterNode | |
PostUpdateNode |
A node associated with an object after an operation that might have changed its state. |
PreConstructorInitThis |
INTERNAL: do not use. |
PreObjectInitializerNode |
INTERNAL: do not use. |
RefParameterFinalValueNode |
INTERNAL: do not use. The final value of a non-const ref parameter. |
UninitializedNode |
The value of an uninitialized local variable, viewed as a node in a data flow graph. |
Modules
BarrierGuard |
Provides a set of barrier nodes for a guard that validates an expression. |
Predicate signatures
guardChecksSig |
Holds if the guard |