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