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
AEStat.h
AEWTO.h
SparseAbstractInterpretation.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
SlicedGraphs.h
SparseObjGraph.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
PTATY.h
SVFLoop.h
MSSA
MemPartition.h
MemRegion.h
MemSSA.h
MSSAMuChi.h
SVFGBuilder.h
MTA
FSMPTA.h
LockAnalysis.h
MHP.h
MTA.h
MTASlicer.h
MTAStat.h
MTASVFGBuilder.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
BitVector.h
CallGraphBuilder.h
Casting.h
CDGBuilder.h
cJSON.h
CommandLine.h
CoreBitVector.h
CxtStmt.h
DPItem.h
ExtAPI.h
GeneralType.h
GraphReachSolver.h
Hash.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
AbstractStateManager.cpp
AEDetector.cpp
AELoopRecursion.cpp
AEStat.cpp
AEWTO.cpp
SparseAbstractInterpretation.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
SlicedGraphs.cpp
SparseObjGraph.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
FSMPTA.cpp
LockAnalysis.cpp
MHP.cpp
MTA.cpp
MTASlicer.cpp
MTAStat.cpp
MTASVFGBuilder.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
GEPTypeBridgeIterator.h
ICFGBuilder.h
LLVMLoopAnalysis.h
LLVMModule.h
LLVMUtil.h
ObjTypeInference.h
SVFIRBuilder.h
SymbolTableBuilder.h
lib
BreakConstantExpr.cpp
CHGBuilder.cpp
CppUtil.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