Class MustFlowPathSink
Import path
import semmle.code.cpp.ir.dataflow.MustFlow
Direct supertypes
Indirect supertypes
Inherited fields
| n | from MustFlowPathNode |
Inherited predicates
| getASuccessor |
Gets a successor node, if any. |
from MustFlowPathNode |
| getConfiguration |
Gets the associated configuration. |
from MustFlowPathNode |
| getInstruction |
Gets the underlying node. |
from MustFlowPathNode |
| getLocation |
Gets the location of this element. |
from MustFlowPathNode |
| toString |
Gets a textual representation of this node. |
from MustFlowPathNode |