Class PathNode
A Node
augmented with a call context (except for sinks), an access path, and a configuration.
Only those PathNode
s that are reachable from a source, and which can reach a sink, are generated.
Import path
import semmle.python.dataflow.new.internal.DataFlowImpl2
Predicates
getASuccessor |
Gets a successor of this node, if any. |
getConfiguration |
Gets the associated configuration. |
getNode |
Gets the underlying |
getState |
Gets the |
hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
isSinkGroup |
Holds if this node is a grouping of sink nodes. |
isSource |
Holds if this node is a source. |
isSourceGroup |
Holds if this node is a grouping of source nodes. |
toString |
Gets a textual representation of this element. |
toStringWithContext |
Gets a textual representation of this element, including a textual representation of the call context. |