|
Static Value-Flow Analysis
|
#include <SlicedGraphs.h>
Public Attributes | |
| SlicedSVFGNodeRef | src |
| SlicedSVFGNodeRef | dst |
| const SVFGEdge * | underlying = nullptr |
Definition at line 1074 of file SlicedGraphs.h.
| SlicedSVFGNodeRef SVF::SlicedSVFGEdgeRef::dst |
Definition at line 1077 of file SlicedGraphs.h.
| SlicedSVFGNodeRef SVF::SlicedSVFGEdgeRef::src |
Definition at line 1076 of file SlicedGraphs.h.
Definition at line 1078 of file SlicedGraphs.h.