|
Static Value-Flow Analysis
|
#include <SlicedGraphs.h>
Public Attributes | |
| SlicedICFGNodeRef | src |
| SlicedICFGNodeRef | dst |
| const ICFGEdge * | underlying = nullptr |
| bool | bridged = false |
Definition at line 416 of file SlicedGraphs.h.
Definition at line 421 of file SlicedGraphs.h.
| SlicedICFGNodeRef SVF::SlicedICFGEdgeRef::dst |
Definition at line 419 of file SlicedGraphs.h.
| SlicedICFGNodeRef SVF::SlicedICFGEdgeRef::src |
Definition at line 418 of file SlicedGraphs.h.
Definition at line 420 of file SlicedGraphs.h.