Class MustFlowPathNode
A Node
that is in a path from a source to a sink.
Import path
import semmle.code.cpp.ir.dataflow.MustFlow
Direct supertypes
Known direct subtypes
Fields
Predicates
getASuccessor | Gets a successor node, if any. |
getConfiguration | Gets the associated configuration. |
getInstruction | Gets the underlying node. |
getLocation | Gets the location of this element. |
toString | Gets a textual representation of this node. |