Static Value-Flow Analysis
Loading...
Searching...
No Matches
Here is a list of all enum values with links to the classes they belong to:
- s -
Same :
SVF::AccessPath
SBV :
SVF::PointsTo
SCALAR :
SVF::DCHNode
SDiv :
SVF::BinaryOPStmt
Select :
SVF::SVFStmt
SEQ :
SVF::NodeIDAllocator
SEXT :
SVF::CopyStmt
Shl :
SVF::BinaryOPStmt
SITOFP :
SVF::CopyStmt
SourceInst :
SVF::SVFBugEvent
SRem :
SVF::BinaryOPStmt
SSACHI :
SVF::MSSADEF
SSAPHI :
SVF::MSSADEF
STACK_OBJ :
SVF::ObjTypeInfo
StackObjNode :
SVF::SVFValue
Standard :
SVF::CommonCHGraph
STATIC_OBJ :
SVF::ObjTypeInfo
STD_DEF :
SVF::DCHEdge
Steensgaard_WPA :
SVF::PointerAnalysis
Store :
SVF::ConstraintEdge
,
SVF::SVFStmt
,
SVF::SVFValue
StoreMSSACHI :
SVF::MSSADEF
STRCAT :
SVF::AbsExtAPI
STRCPY :
SVF::AbsExtAPI
Sub :
SVF::BinaryOPStmt
Subset :
SVF::AccessPath
Superset :
SVF::AccessPath
SVFArrayTy :
SVF::SVFType
SVFFunctionTy :
SVF::SVFType
SVFIntegerTy :
SVF::SVFType
SVFOtherTy :
SVF::SVFType
SVFPointerTy :
SVF::SVFType
SVFStructTy :
SVF::SVFType
SVFTy :
SVF::SVFType
Generated by
1.9.8