Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
Predicates
| clearsContent | Holds if values stored inside content c are cleared at node n.
|
| getAdditionalFlowIntoCallNodeTerm | Gets an additional term that is added to the join and branch computations to reflect an additional forward or backwards branching factor that is not taken into account when calculating the (virtual) dispatch cost.
|
| getLocationCached | |
| jumpStep | Holds if data can flow from node1 to node2 in a way that loses the calling context. For example, this would happen with flow through a global or static variable.
|
| readStep | Holds if data can flow from node1 to node2 via a read of f. Thus, node1 references an object with a field f whose value ends up in node2.
|
| storeStep | Holds if data can flow from node1 to node2 via an assignment to f. Thus, node2 references an object with a field f that contains the value of node1.
|
| storeStepImpl | Holds if data can flow from node1 to node2 via an assignment to f. Thus, node2 references an object with a field f that contains the value of node1.
|
| toStringCached | |