Module DataFlowUtil

Provides C++-specific definitions for use in the data flow library.

Import path

semmle.code.cpp.dataflow.internal.DataFlowUtil

Imports

cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.

Predicates

exprNode

Gets the Node corresponding to e.

getAnAccessToAssignedVariable
localFlow

Holds if data flows from source to sink in zero or more local (intra-procedural) steps.

localFlowStep

Holds if data flows from nodeFrom to nodeTo in exactly one local (intra-procedural) step.

parameterNode

Gets the Node corresponding to the value of p at function entry.

uninitializedNode

Gets the Node corresponding to the value of an uninitialized local variable v.

Classes

ExprNode

An expression, viewed as a node in a data flow graph.

Node

A node in a data flow graph.

ParameterNode

The value of a parameter at function entry, viewed as a node in a data flow graph.

PostUpdateNode

A node associated with an object after an operation that might have changed its state.

UninitializedNode

The value of an uninitialized local variable, viewed as a node in a data flow graph.