File List

Here is a list of all files with brief descriptions:

[detail level 12345]

▼ svf
▼ include
► AE
► Core
AbstractState.h
AbstractValue.h
AddressValue.h
ICFGWTO.h
IntervalValue.h
NumericValue.h
RelationSolver.h
RelExeState.h
► Svfexe
AbsExtAPI.h
AbstractInterpretation.h
AEDetector.h
► CFL
grammar
CFGNormalizer.h
CFGrammar.h
CFLAlias.h
CFLBase.h
CFLGramGraphChecker.h
CFLGraphBuilder.h
CFLSolver.h
CFLStat.h
CFLSVFGBuilder.h
CFLVF.h
GrammarBuilder.h
► DDA
ContextDDA.h
DDAClient.h
DDAPass.h
DDAStat.h
DDAVFSolver.h
FlowDDA.h
► FastCluster
fastcluster.h
► Graphs
BasicBlockG.h
CallGraph.h
CDG.h
CFLGraph.h
CHG.h
ConsG.h
ConsGEdge.h
ConsGNode.h
DOTGraphTraits.h
GenericGraph.h
GraphPrinter.h
GraphTraits.h
GraphWriter.h
ICFG.h
ICFGEdge.h
ICFGNode.h
ICFGStat.h
IRGraph.h
SCC.h
SVFG.h
SVFGEdge.h
SVFGNode.h
SVFGOPT.h
SVFGStat.h
ThreadCallGraph.h
VFG.h
VFGEdge.h
VFGNode.h
WTO.h
► MemoryModel
AbstractPointsToDS.h
AccessPath.h
ConditionalPT.h
MutablePointsToDS.h
PersistentPointsToCache.h
PersistentPointsToDS.h
PointerAnalysis.h
PointerAnalysisImpl.h
PointsTo.h
SVFLoop.h
► MSSA
MemPartition.h
MemRegion.h
MemSSA.h
MSSAMuChi.h
SVFGBuilder.h
► MTA
LockAnalysis.h
MHP.h
MTA.h
MTAStat.h
TCT.h
► SABER
DoubleFreeChecker.h
FileChecker.h
LeakChecker.h
ProgSlice.h
SaberCheckerAPI.h
SaberCondAllocator.h
SaberSVFGBuilder.h
SrcSnkDDA.h
SrcSnkSolver.h
► SVFIR
ObjTypeInfo.h
PAGBuilderFromFile.h
SVFIR.h
SVFStatements.h
SVFType.h
SVFValue.h
SVFVariables.h
► Util
Annotator.h
BitVector.h
CallGraphBuilder.h
Casting.h
CDGBuilder.h
cJSON.h
CommandLine.h
CoreBitVector.h
CxtStmt.h
DPItem.h
ExtAPI.h
GeneralType.h
GraphReachSolver.h
iterator.h
iterator_range.h
NodeIDAllocator.h
Options.h
PTAStat.h
SparseBitVector.h
SVFBugReport.h
SVFLoopAndDomInfo.h
SVFStat.h
SVFUtil.h
ThreadAPI.h
WorkList.h
Z3Expr.h
► WPA
Andersen.h
AndersenPWC.h
CSC.h
FlowSensitive.h
Steensgaard.h
TypeAnalysis.h
VersionedFlowSensitive.h
WPAFSSolver.h
WPAPass.h
WPASolver.h
WPAStat.h
▼ lib
► AE
► Core
AbstractState.cpp
RelationSolver.cpp
RelExeState.cpp
► Svfexe
AbsExtAPI.cpp
AbstractInterpretation.cpp
AEDetector.cpp
► CFL
CFGNormalizer.cpp
CFGrammar.cpp
CFLAlias.cpp
CFLBase.cpp
CFLGraphBuilder.cpp
CFLSolver.cpp
CFLStat.cpp
CFLSVFGBuilder.cpp
CFLVF.cpp
GrammarBuilder.cpp
► DDA
ContextDDA.cpp
DDAClient.cpp
DDAPass.cpp
DDAStat.cpp
FlowDDA.cpp
► FastCluster
fastcluster.cpp
fastcluster_dm.cpp.inc
fastcluster_R_dm.cpp.inc
► Graphs
BasicBlockG.cpp
CallGraph.cpp
CDG.cpp
CFLGraph.cpp
CHG.cpp
ConsG.cpp
GraphWriter.cpp
ICFG.cpp
IRGraph.cpp
SVFG.cpp
SVFGOPT.cpp
SVFGReadWrite.cpp
SVFGStat.cpp
ThreadCallGraph.cpp
VFG.cpp
► MemoryModel
AccessPath.cpp
PointerAnalysis.cpp
PointerAnalysisImpl.cpp
PointsTo.cpp
► MSSA
MemPartition.cpp
MemRegion.cpp
MemSSA.cpp
SVFGBuilder.cpp
► MTA
LockAnalysis.cpp
MHP.cpp
MTA.cpp
MTAStat.cpp
TCT.cpp
► SABER
DoubleFreeChecker.cpp
FileChecker.cpp
LeakChecker.cpp
ProgSlice.cpp
SaberCheckerAPI.cpp
SaberCondAllocator.cpp
SaberSVFGBuilder.cpp
SrcSnkDDA.cpp
► SVFIR
PAGBuilderFromFile.cpp
SVFIR.cpp
SVFStatements.cpp
SVFType.cpp
SVFValue.cpp
SVFVariables.cpp
► Util
BitVector.cpp
CallGraphBuilder.cpp
CDGBuilder.cpp
cJSON.cpp
CoreBitVector.cpp
ExtAPI.cpp
NodeIDAllocator.cpp
Options.cpp
PTAStat.cpp
SVFBugReport.cpp
SVFStat.cpp
SVFUtil.cpp
ThreadAPI.cpp
Z3Expr.cpp
► WPA
Andersen.cpp
AndersenSCD.cpp
AndersenSFR.cpp
AndersenStat.cpp
AndersenWaveDiff.cpp
CSC.cpp
FlowSensitive.cpp
FlowSensitiveStat.cpp
Steensgaard.cpp
TypeAnalysis.cpp
VersionedFlowSensitive.cpp
VersionedFlowSensitiveStat.cpp
WPAPass.cpp
▼ svf-llvm
▼ include
► SVF-LLVM
BasicTypes.h
BreakConstantExpr.h
CHGBuilder.h
CppUtil.h
DCHG.h
GEPTypeBridgeIterator.h
ICFGBuilder.h
LLVMLoopAnalysis.h
LLVMModule.h
LLVMUtil.h
ObjTypeInference.h
SVFIRBuilder.h
SymbolTableBuilder.h
▼ lib
BreakConstantExpr.cpp
CHGBuilder.cpp
CppUtil.cpp
DCHG.cpp
extapi.c
ICFGBuilder.cpp
LLVMLoopAnalysis.cpp
LLVMModule.cpp
LLVMUtil.cpp
ObjTypeInference.cpp
SVFIRBuilder.cpp
SVFIRExtAPI.cpp
SymbolTableBuilder.cpp
▼ tools
► AE
ae.cpp
► CFL
cfl.cpp
► DDA
dda.cpp
► Example
svf-ex.cpp
► LLVM2SVF
llvm2svf.cpp
► MTA
mta.cpp
► SABER
saber.cpp
► WPA
wpa.cpp