Static Value-Flow Analysis
Loading...
Searching...
No Matches
Here is a list of all enums with links to the classes they belong to:
- a -
AliasCheckRule :
SVF::WPAPass
- b -
BugType :
SVF::GenericBug
- c -
CEDGEK :
SVF::CallGraphEdge
,
SVF::TCTEdge
CGEK :
SVF::CallGraph
CHECKER_TYPE :
SVF::SaberCheckerAPI
CHEDGETYPE :
SVF::CHEdge
CHGKind :
SVF::CommonCHGraph
CLASSATTR :
SVF::CHNode
,
SVF::DCHNode
ClockType :
SVF::SVFStat
ConstraintEdgeK :
SVF::ConstraintEdge
CopyKind :
SVF::CopyStmt
- d -
DEFTYPE :
SVF::MSSADEF
DetectorKind :
SVF::AEDetector
- e -
ENUM_INOUT :
SVF::FlowSensitiveStat
EventType :
SVF::SVFBugEvent
ExtAPIType :
SVF::AbsExtAPI
- g -
GNodeK :
SVF::SVFValue
- i -
ICFGEdgeK :
SVF::ICFGEdge
- l -
LEAK_TYPE :
SVF::LeakChecker
LSRelation :
SVF::AccessPath
- m -
MemPartition :
SVF::MemSSA
MEMTYPE :
SVF::ObjTypeInfo
MUTYPE :
SVF::MSSAMU< Cond >
- o -
OpCode :
SVF::BinaryOPStmt
,
SVF::UnaryOPStmt
- p -
PEDGEK :
SVF::SVFStmt
Predicate :
SVF::CmpStmt
PTAImplTy :
SVF::PointerAnalysis
PTATY :
SVF::PointerAnalysis
PTBackingType :
SVF::BVDataPTAImpl
PTDataTy :
SVF::PTData< Key, KeySet, Data, DataSet >
- r -
RELATIONTYPE :
SVF::CHGraph
- s -
Strategy :
SVF::NodeIDAllocator
SVFTyKind :
SVF::SVFType
SYMTYPE :
SVF::IRGraph
- t -
TD_TYPE :
SVF::ThreadAPI
Type :
SVF::PointsTo
- v -
ValDomain :
SVF::ForkJoinAnalysis
,
SVF::LockAnalysis
VFGEdgeK :
SVF::VFGEdge
VFGK :
SVF::VFG
- w -
WTOCT :
SVF::WTOComponent< GraphT >
Generated by
1.9.8