CodeQL library for Python
codeql/python-all 0.11.13 (changelog, source)
Search

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 call. Data (all forms) is assumed to flow from this to result Extensions to DataFlowNode should override this to provide additional taint steps.

    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 call. Data (all forms) is assumed to flow from this to result Extensions to DataFlowNode should override this to provide additional taint steps.

    getASuccessorNode

    Gets a successor node for data-flow. Data (all forms) is assumed to flow from this to result

    getASuccessorNode

    Gets a successor node, where the successor node will be tainted with tokind when this is tainted with fromkind. Extensions to DataFlowNode should override this to provide additional taint steps.

    getASuccessorVariable

    Gets a successor variable for data-flow. Data (all forms) is assumed to flow from this to result. Note: This is an unlikely form of flow. See DataFlowVariable.getASuccessorVariable()

    prunedSuccessor

    Holds if data cannot flow from this to succ, even though it would normally do so.

    toString

    Gets a textual representation of this element.