Class MustFlowPathSink
Import path
import semmle.code.cpp.ir.dataflow.MustFlowDirect 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 |