Class DataFlowExtension::DataFlowNode
A control flow node that modifies the basic data-flow.
Import path
import semmle.python.dataflow.old.TaintTracking
Direct supertypes
Known direct subtypes
Predicates
getACalleeSuccessorNode | Gets a successor node for data-flow with a change of context from caller to callee (going down the call-stack) across call-site |
getAReturnSuccessorNode | Gets a successor node for data-flow with a change of context from callee to caller (going up the call-stack) across call-site |
getASuccessorNode | Gets a successor node for data-flow. Data (all forms) is assumed to flow from |
getASuccessorNode | Gets a successor node, where the successor node will be tainted with |
getASuccessorVariable | Gets a successor variable for data-flow. Data (all forms) is assumed to flow from |
prunedSuccessor | Holds if data cannot flow from |
toString | Gets a textual representation of this element. |