|
Static Value-Flow Analysis
|
#include <SlicedGraphs.h>
Public Attributes | |
| SlicedICFGNodeRef | src |
| SlicedICFGNodeRef | dst |
| const ICFGEdge * | underlying = nullptr |
| bool | bridged = false |
Definition at line 432 of file SlicedGraphs.h.
Definition at line 437 of file SlicedGraphs.h.
| SlicedICFGNodeRef SVF::SlicedICFGEdgeRef::dst |
Definition at line 435 of file SlicedGraphs.h.
| SlicedICFGNodeRef SVF::SlicedICFGEdgeRef::src |
Definition at line 434 of file SlicedGraphs.h.
Definition at line 436 of file SlicedGraphs.h.