Static Value-Flow Analysis
Loading...
Searching...
No Matches
svf
include
Graphs
Classes
|
Namespaces
|
Typedefs
SVFG.h File Reference
#include "
Graphs/VFG.h
"
#include "
Graphs/SVFGNode.h
"
Go to the source code of this file.
Classes
class
SVF::SVFG
struct
SVF::GenericGraphTraits< SVF::SVFG * >
Namespaces
namespace
SVF
for isBitcode
Typedefs
typedef
VFGEdge
SVF::SVFGEdge
typedef
VFGNode
SVF::SVFGNode
typedef
ActualParmVFGNode
SVF::ActualParmSVFGNode
typedef
ActualRetVFGNode
SVF::ActualRetSVFGNode
typedef
FormalParmVFGNode
SVF::FormalParmSVFGNode
typedef
FormalRetVFGNode
SVF::FormalRetSVFGNode
typedef
NullPtrVFGNode
SVF::NullPtrSVFGNode
typedef
StmtVFGNode
SVF::StmtSVFGNode
typedef
AddrVFGNode
SVF::AddrSVFGNode
typedef
CopyVFGNode
SVF::CopySVFGNode
typedef
StoreVFGNode
SVF::StoreSVFGNode
typedef
LoadVFGNode
SVF::LoadSVFGNode
typedef
GepVFGNode
SVF::GepSVFGNode
typedef
PHIVFGNode
SVF::PHISVFGNode
typedef
IntraPHIVFGNode
SVF::IntraPHISVFGNode
typedef
InterPHIVFGNode
SVF::InterPHISVFGNode
Generated by
1.9.8