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