Class MustFlowPathNode
A Node that is in a path from a source to a sink.
Import path
import semmle.code.cpp.ir.dataflow.MustFlowDirect 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. |