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

Class AbsPath

Import path

import semmle.python.security.injection.Path

Direct supertypes

Indirect supertypes

Predicates

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.

Inherited 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.

from DataFlowNode
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.

from DataFlowNode
getASuccessorNode

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

from DataFlowNode
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()

from DataFlowNode
prunedSuccessor

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

from DataFlowNode
toString

Gets a textual representation of this element.

from DataFlowNode

Charpred