Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Attributes | List of all members
SVF::SlicedICFGEdgeRef Struct Reference

#include <SlicedGraphs.h>

Public Attributes

SlicedICFGNodeRef src
 
SlicedICFGNodeRef dst
 
const ICFGEdgeunderlying = nullptr
 
bool bridged = false
 

Detailed Description

Definition at line 432 of file SlicedGraphs.h.

Member Data Documentation

◆ bridged

bool SVF::SlicedICFGEdgeRef::bridged = false

Definition at line 437 of file SlicedGraphs.h.

◆ dst

SlicedICFGNodeRef SVF::SlicedICFGEdgeRef::dst

Definition at line 435 of file SlicedGraphs.h.

◆ src

SlicedICFGNodeRef SVF::SlicedICFGEdgeRef::src

Definition at line 434 of file SlicedGraphs.h.

◆ underlying

const ICFGEdge* SVF::SlicedICFGEdgeRef::underlying = nullptr

Definition at line 436 of file SlicedGraphs.h.


The documentation for this struct was generated from the following file: