├── .clang-format ├── .cmake-format.py ├── .codecov.yml ├── .editorconfig ├── .gitattributes ├── .github └── workflows │ ├── docker_publish.yml │ ├── github-action.yml │ └── svf-lib_publish.yml ├── .gitignore ├── CMakeLists.txt ├── Dockerfile ├── LICENSE.TXT ├── README.md ├── cmake ├── Modules │ └── FindZ3.cmake ├── SVF.pc.in ├── SVFConfig.cmake.in └── SVFConfigHdr.cmake.in ├── docs ├── .gitignore ├── README.md ├── doxygen.config ├── images │ ├── PAG.png │ ├── andersen.png │ ├── callgraph.png │ ├── consG.png │ ├── cpu2000-flto │ ├── cpu2006-flto │ ├── database.png │ ├── framework.png │ ├── help.png │ ├── icfg.png │ ├── mssa-cha.png │ ├── pagedge.png │ ├── pagnode.png │ ├── pt.png │ ├── setupcmake.png │ ├── setupconfiguration.png │ ├── setupdashboard.png │ ├── setupdebug.png │ ├── setupenv.png │ ├── startup.png │ ├── svf-stat.pdf │ ├── svf_logo_1.png │ ├── svf_logo_2.png │ ├── svf_logo_3.png │ ├── svfg-framework.png │ ├── svfg.png │ ├── svfg_opt.png │ ├── svfgedge-cha.png │ ├── svfgnode-cha.png │ ├── tools.png │ ├── users.png │ ├── vm1.png │ ├── vm2.png │ ├── vm3.png │ ├── vm4.png │ └── vm5.png └── stylesheets │ ├── github-light.css │ ├── normalize.css │ └── stylesheet.css ├── index.html ├── package.json ├── setup.sh ├── svf-llvm ├── CMakeLists.txt ├── 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 │ ├── ICFGBuilder.cpp │ ├── LLVMLoopAnalysis.cpp │ ├── LLVMModule.cpp │ ├── LLVMUtil.cpp │ ├── ObjTypeInference.cpp │ ├── SVFIRBuilder.cpp │ ├── SVFIRExtAPI.cpp │ ├── SymbolTableBuilder.cpp │ └── extapi.c └── tools │ ├── AE │ ├── CMakeLists.txt │ └── ae.cpp │ ├── CFL │ ├── CMakeLists.txt │ └── cfl.cpp │ ├── CMakeLists.txt │ ├── DDA │ ├── CMakeLists.txt │ └── dda.cpp │ ├── Example │ ├── CMakeLists.txt │ └── svf-ex.cpp │ ├── LLVM2SVF │ ├── CMakeLists.txt │ └── llvm2svf.cpp │ ├── MTA │ ├── CMakeLists.txt │ └── mta.cpp │ ├── SABER │ ├── CMakeLists.txt │ └── saber.cpp │ └── WPA │ ├── CMakeLists.txt │ └── wpa.cpp └── svf ├── CMakeLists.txt ├── include ├── AE │ ├── Core │ │ ├── AbstractState.h │ │ ├── AbstractValue.h │ │ ├── AddressValue.h │ │ ├── ICFGWTO.h │ │ ├── IntervalValue.h │ │ ├── NumericValue.h │ │ ├── RelExeState.h │ │ └── RelationSolver.h │ └── Svfexe │ │ ├── AEDetector.h │ │ ├── AbsExtAPI.h │ │ └── AbstractInterpretation.h ├── CFL │ ├── CFGNormalizer.h │ ├── CFGrammar.h │ ├── CFLAlias.h │ ├── CFLBase.h │ ├── CFLGramGraphChecker.h │ ├── CFLGraphBuilder.h │ ├── CFLSVFGBuilder.h │ ├── CFLSolver.h │ ├── CFLStat.h │ ├── CFLVF.h │ ├── GrammarBuilder.h │ └── grammar │ │ ├── PAGGrammar.txt │ │ ├── PEGGrammar.txt │ │ └── VFGGrammar.txt ├── DDA │ ├── ContextDDA.h │ ├── DDAClient.h │ ├── DDAPass.h │ ├── DDAStat.h │ ├── DDAVFSolver.h │ └── FlowDDA.h ├── FastCluster │ ├── LICENSE.TXT │ └── fastcluster.h ├── Graphs │ ├── BasicBlockG.h │ ├── CDG.h │ ├── CFLGraph.h │ ├── CHG.h │ ├── CallGraph.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 ├── MSSA │ ├── MSSAMuChi.h │ ├── MemPartition.h │ ├── MemRegion.h │ ├── MemSSA.h │ └── SVFGBuilder.h ├── MTA │ ├── LockAnalysis.h │ ├── MHP.h │ ├── MTA.h │ ├── MTAStat.h │ └── TCT.h ├── MemoryModel │ ├── AbstractPointsToDS.h │ ├── AccessPath.h │ ├── ConditionalPT.h │ ├── MutablePointsToDS.h │ ├── PersistentPointsToCache.h │ ├── PersistentPointsToDS.h │ ├── PointerAnalysis.h │ ├── PointerAnalysisImpl.h │ ├── PointsTo.h │ └── SVFLoop.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 │ ├── CDGBuilder.h │ ├── CallGraphBuilder.h │ ├── Casting.h │ ├── CommandLine.h │ ├── CoreBitVector.h │ ├── CxtStmt.h │ ├── DPItem.h │ ├── ExtAPI.h │ ├── GeneralType.h │ ├── GraphReachSolver.h │ ├── NodeIDAllocator.h │ ├── Options.h │ ├── PTAStat.h │ ├── SVFBugReport.h │ ├── SVFLoopAndDomInfo.h │ ├── SVFStat.h │ ├── SVFUtil.h │ ├── SparseBitVector.h │ ├── ThreadAPI.h │ ├── WorkList.h │ ├── Z3Expr.h │ ├── cJSON.h │ ├── iterator.h │ └── iterator_range.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 │ ├── RelExeState.cpp │ └── RelationSolver.cpp └── Svfexe │ ├── AEDetector.cpp │ ├── AbsExtAPI.cpp │ └── AbstractInterpretation.cpp ├── CFL ├── CFGNormalizer.cpp ├── CFGrammar.cpp ├── CFLAlias.cpp ├── CFLBase.cpp ├── CFLGraphBuilder.cpp ├── CFLSVFGBuilder.cpp ├── CFLSolver.cpp ├── CFLStat.cpp ├── CFLVF.cpp └── GrammarBuilder.cpp ├── DDA ├── ContextDDA.cpp ├── DDAClient.cpp ├── DDAPass.cpp ├── DDAStat.cpp └── FlowDDA.cpp ├── FastCluster ├── LICENSE.TXT ├── fastcluster.cpp ├── fastcluster_R_dm.cpp.inc └── fastcluster_dm.cpp.inc ├── Graphs ├── BasicBlockG.cpp ├── CDG.cpp ├── CFLGraph.cpp ├── CHG.cpp ├── CallGraph.cpp ├── ConsG.cpp ├── GraphWriter.cpp ├── ICFG.cpp ├── IRGraph.cpp ├── SVFG.cpp ├── SVFGOPT.cpp ├── SVFGReadWrite.cpp ├── SVFGStat.cpp ├── ThreadCallGraph.cpp └── VFG.cpp ├── MSSA ├── MemPartition.cpp ├── MemRegion.cpp ├── MemSSA.cpp └── SVFGBuilder.cpp ├── MTA ├── LockAnalysis.cpp ├── MHP.cpp ├── MTA.cpp ├── MTAStat.cpp └── TCT.cpp ├── MemoryModel ├── AccessPath.cpp ├── PointerAnalysis.cpp ├── PointerAnalysisImpl.cpp └── PointsTo.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 ├── CDGBuilder.cpp ├── CallGraphBuilder.cpp ├── CoreBitVector.cpp ├── ExtAPI.cpp ├── NodeIDAllocator.cpp ├── Options.cpp ├── PTAStat.cpp ├── SVFBugReport.cpp ├── SVFStat.cpp ├── SVFUtil.cpp ├── ThreadAPI.cpp ├── Z3Expr.cpp └── cJSON.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 /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/.clang-format -------------------------------------------------------------------------------- /.cmake-format.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/.cmake-format.py -------------------------------------------------------------------------------- /.codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/.codecov.yml -------------------------------------------------------------------------------- /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/.editorconfig -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | * text=auto eol=lf 2 | -------------------------------------------------------------------------------- /.github/workflows/docker_publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/.github/workflows/docker_publish.yml -------------------------------------------------------------------------------- /.github/workflows/github-action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/.github/workflows/github-action.yml -------------------------------------------------------------------------------- /.github/workflows/svf-lib_publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/.github/workflows/svf-lib_publish.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/LICENSE.TXT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/README.md -------------------------------------------------------------------------------- /cmake/Modules/FindZ3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/cmake/Modules/FindZ3.cmake -------------------------------------------------------------------------------- /cmake/SVF.pc.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/cmake/SVF.pc.in -------------------------------------------------------------------------------- /cmake/SVFConfig.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/cmake/SVFConfig.cmake.in -------------------------------------------------------------------------------- /cmake/SVFConfigHdr.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/cmake/SVFConfigHdr.cmake.in -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | generated-doc 2 | -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/doxygen.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/doxygen.config -------------------------------------------------------------------------------- /docs/images/PAG.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/PAG.png -------------------------------------------------------------------------------- /docs/images/andersen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/andersen.png -------------------------------------------------------------------------------- /docs/images/callgraph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/callgraph.png -------------------------------------------------------------------------------- /docs/images/consG.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/consG.png -------------------------------------------------------------------------------- /docs/images/cpu2000-flto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/cpu2000-flto -------------------------------------------------------------------------------- /docs/images/cpu2006-flto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/cpu2006-flto -------------------------------------------------------------------------------- /docs/images/database.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/database.png -------------------------------------------------------------------------------- /docs/images/framework.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/framework.png -------------------------------------------------------------------------------- /docs/images/help.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/help.png -------------------------------------------------------------------------------- /docs/images/icfg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/icfg.png -------------------------------------------------------------------------------- /docs/images/mssa-cha.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/mssa-cha.png -------------------------------------------------------------------------------- /docs/images/pagedge.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/pagedge.png -------------------------------------------------------------------------------- /docs/images/pagnode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/pagnode.png -------------------------------------------------------------------------------- /docs/images/pt.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/pt.png -------------------------------------------------------------------------------- /docs/images/setupcmake.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/setupcmake.png -------------------------------------------------------------------------------- /docs/images/setupconfiguration.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/setupconfiguration.png -------------------------------------------------------------------------------- /docs/images/setupdashboard.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/setupdashboard.png -------------------------------------------------------------------------------- /docs/images/setupdebug.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/setupdebug.png -------------------------------------------------------------------------------- /docs/images/setupenv.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/setupenv.png -------------------------------------------------------------------------------- /docs/images/startup.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/startup.png -------------------------------------------------------------------------------- /docs/images/svf-stat.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/svf-stat.pdf -------------------------------------------------------------------------------- /docs/images/svf_logo_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/svf_logo_1.png -------------------------------------------------------------------------------- /docs/images/svf_logo_2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/svf_logo_2.png -------------------------------------------------------------------------------- /docs/images/svf_logo_3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/svf_logo_3.png -------------------------------------------------------------------------------- /docs/images/svfg-framework.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/svfg-framework.png -------------------------------------------------------------------------------- /docs/images/svfg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/svfg.png -------------------------------------------------------------------------------- /docs/images/svfg_opt.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/svfg_opt.png -------------------------------------------------------------------------------- /docs/images/svfgedge-cha.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/svfgedge-cha.png -------------------------------------------------------------------------------- /docs/images/svfgnode-cha.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/svfgnode-cha.png -------------------------------------------------------------------------------- /docs/images/tools.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/tools.png -------------------------------------------------------------------------------- /docs/images/users.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/users.png -------------------------------------------------------------------------------- /docs/images/vm1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/vm1.png -------------------------------------------------------------------------------- /docs/images/vm2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/vm2.png -------------------------------------------------------------------------------- /docs/images/vm3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/vm3.png -------------------------------------------------------------------------------- /docs/images/vm4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/vm4.png -------------------------------------------------------------------------------- /docs/images/vm5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/images/vm5.png -------------------------------------------------------------------------------- /docs/stylesheets/github-light.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/stylesheets/github-light.css -------------------------------------------------------------------------------- /docs/stylesheets/normalize.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/stylesheets/normalize.css -------------------------------------------------------------------------------- /docs/stylesheets/stylesheet.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/docs/stylesheets/stylesheet.css -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/index.html -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/package.json -------------------------------------------------------------------------------- /setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/setup.sh -------------------------------------------------------------------------------- /svf-llvm/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/CMakeLists.txt -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/BasicTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/BasicTypes.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/BreakConstantExpr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/BreakConstantExpr.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/CHGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/CHGBuilder.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/CppUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/CppUtil.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/DCHG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/DCHG.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/GEPTypeBridgeIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/GEPTypeBridgeIterator.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/ICFGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/ICFGBuilder.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/LLVMLoopAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/LLVMLoopAnalysis.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/LLVMModule.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/LLVMModule.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/LLVMUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/LLVMUtil.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/ObjTypeInference.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/ObjTypeInference.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/SVFIRBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h -------------------------------------------------------------------------------- /svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h -------------------------------------------------------------------------------- /svf-llvm/lib/BreakConstantExpr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/BreakConstantExpr.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/CHGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/CHGBuilder.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/CppUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/CppUtil.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/DCHG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/DCHG.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/ICFGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/ICFGBuilder.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/LLVMLoopAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/LLVMLoopAnalysis.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/LLVMModule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/LLVMModule.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/LLVMUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/LLVMUtil.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/ObjTypeInference.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/ObjTypeInference.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/SVFIRBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/SVFIRBuilder.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/SVFIRExtAPI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/SVFIRExtAPI.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/SymbolTableBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/SymbolTableBuilder.cpp -------------------------------------------------------------------------------- /svf-llvm/lib/extapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/lib/extapi.c -------------------------------------------------------------------------------- /svf-llvm/tools/AE/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | add_llvm_executable(ae ae.cpp) 2 | -------------------------------------------------------------------------------- /svf-llvm/tools/AE/ae.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/AE/ae.cpp -------------------------------------------------------------------------------- /svf-llvm/tools/CFL/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | add_llvm_executable(cfl cfl.cpp) 2 | -------------------------------------------------------------------------------- /svf-llvm/tools/CFL/cfl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/CFL/cfl.cpp -------------------------------------------------------------------------------- /svf-llvm/tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/CMakeLists.txt -------------------------------------------------------------------------------- /svf-llvm/tools/DDA/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | add_llvm_executable(dvf dda.cpp) 2 | -------------------------------------------------------------------------------- /svf-llvm/tools/DDA/dda.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/DDA/dda.cpp -------------------------------------------------------------------------------- /svf-llvm/tools/Example/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/Example/CMakeLists.txt -------------------------------------------------------------------------------- /svf-llvm/tools/Example/svf-ex.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/Example/svf-ex.cpp -------------------------------------------------------------------------------- /svf-llvm/tools/LLVM2SVF/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/LLVM2SVF/CMakeLists.txt -------------------------------------------------------------------------------- /svf-llvm/tools/LLVM2SVF/llvm2svf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/LLVM2SVF/llvm2svf.cpp -------------------------------------------------------------------------------- /svf-llvm/tools/MTA/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | add_llvm_executable(mta mta.cpp) 2 | -------------------------------------------------------------------------------- /svf-llvm/tools/MTA/mta.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/MTA/mta.cpp -------------------------------------------------------------------------------- /svf-llvm/tools/SABER/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/SABER/CMakeLists.txt -------------------------------------------------------------------------------- /svf-llvm/tools/SABER/saber.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/SABER/saber.cpp -------------------------------------------------------------------------------- /svf-llvm/tools/WPA/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/WPA/CMakeLists.txt -------------------------------------------------------------------------------- /svf-llvm/tools/WPA/wpa.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf-llvm/tools/WPA/wpa.cpp -------------------------------------------------------------------------------- /svf/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/CMakeLists.txt -------------------------------------------------------------------------------- /svf/include/AE/Core/AbstractState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Core/AbstractState.h -------------------------------------------------------------------------------- /svf/include/AE/Core/AbstractValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Core/AbstractValue.h -------------------------------------------------------------------------------- /svf/include/AE/Core/AddressValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Core/AddressValue.h -------------------------------------------------------------------------------- /svf/include/AE/Core/ICFGWTO.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Core/ICFGWTO.h -------------------------------------------------------------------------------- /svf/include/AE/Core/IntervalValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Core/IntervalValue.h -------------------------------------------------------------------------------- /svf/include/AE/Core/NumericValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Core/NumericValue.h -------------------------------------------------------------------------------- /svf/include/AE/Core/RelExeState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Core/RelExeState.h -------------------------------------------------------------------------------- /svf/include/AE/Core/RelationSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Core/RelationSolver.h -------------------------------------------------------------------------------- /svf/include/AE/Svfexe/AEDetector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Svfexe/AEDetector.h -------------------------------------------------------------------------------- /svf/include/AE/Svfexe/AbsExtAPI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Svfexe/AbsExtAPI.h -------------------------------------------------------------------------------- /svf/include/AE/Svfexe/AbstractInterpretation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/AE/Svfexe/AbstractInterpretation.h -------------------------------------------------------------------------------- /svf/include/CFL/CFGNormalizer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/CFGNormalizer.h -------------------------------------------------------------------------------- /svf/include/CFL/CFGrammar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/CFGrammar.h -------------------------------------------------------------------------------- /svf/include/CFL/CFLAlias.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/CFLAlias.h -------------------------------------------------------------------------------- /svf/include/CFL/CFLBase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/CFLBase.h -------------------------------------------------------------------------------- /svf/include/CFL/CFLGramGraphChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/CFLGramGraphChecker.h -------------------------------------------------------------------------------- /svf/include/CFL/CFLGraphBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/CFLGraphBuilder.h -------------------------------------------------------------------------------- /svf/include/CFL/CFLSVFGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/CFLSVFGBuilder.h -------------------------------------------------------------------------------- /svf/include/CFL/CFLSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/CFLSolver.h -------------------------------------------------------------------------------- /svf/include/CFL/CFLStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/CFLStat.h -------------------------------------------------------------------------------- /svf/include/CFL/CFLVF.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/CFLVF.h -------------------------------------------------------------------------------- /svf/include/CFL/GrammarBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/GrammarBuilder.h -------------------------------------------------------------------------------- /svf/include/CFL/grammar/PAGGrammar.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/grammar/PAGGrammar.txt -------------------------------------------------------------------------------- /svf/include/CFL/grammar/PEGGrammar.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/grammar/PEGGrammar.txt -------------------------------------------------------------------------------- /svf/include/CFL/grammar/VFGGrammar.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/CFL/grammar/VFGGrammar.txt -------------------------------------------------------------------------------- /svf/include/DDA/ContextDDA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/DDA/ContextDDA.h -------------------------------------------------------------------------------- /svf/include/DDA/DDAClient.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/DDA/DDAClient.h -------------------------------------------------------------------------------- /svf/include/DDA/DDAPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/DDA/DDAPass.h -------------------------------------------------------------------------------- /svf/include/DDA/DDAStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/DDA/DDAStat.h -------------------------------------------------------------------------------- /svf/include/DDA/DDAVFSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/DDA/DDAVFSolver.h -------------------------------------------------------------------------------- /svf/include/DDA/FlowDDA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/DDA/FlowDDA.h -------------------------------------------------------------------------------- /svf/include/FastCluster/LICENSE.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/FastCluster/LICENSE.TXT -------------------------------------------------------------------------------- /svf/include/FastCluster/fastcluster.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/FastCluster/fastcluster.h -------------------------------------------------------------------------------- /svf/include/Graphs/BasicBlockG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/BasicBlockG.h -------------------------------------------------------------------------------- /svf/include/Graphs/CDG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/CDG.h -------------------------------------------------------------------------------- /svf/include/Graphs/CFLGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/CFLGraph.h -------------------------------------------------------------------------------- /svf/include/Graphs/CHG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/CHG.h -------------------------------------------------------------------------------- /svf/include/Graphs/CallGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/CallGraph.h -------------------------------------------------------------------------------- /svf/include/Graphs/ConsG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/ConsG.h -------------------------------------------------------------------------------- /svf/include/Graphs/ConsGEdge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/ConsGEdge.h -------------------------------------------------------------------------------- /svf/include/Graphs/ConsGNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/ConsGNode.h -------------------------------------------------------------------------------- /svf/include/Graphs/DOTGraphTraits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/DOTGraphTraits.h -------------------------------------------------------------------------------- /svf/include/Graphs/GenericGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/GenericGraph.h -------------------------------------------------------------------------------- /svf/include/Graphs/GraphPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/GraphPrinter.h -------------------------------------------------------------------------------- /svf/include/Graphs/GraphTraits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/GraphTraits.h -------------------------------------------------------------------------------- /svf/include/Graphs/GraphWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/GraphWriter.h -------------------------------------------------------------------------------- /svf/include/Graphs/ICFG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/ICFG.h -------------------------------------------------------------------------------- /svf/include/Graphs/ICFGEdge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/ICFGEdge.h -------------------------------------------------------------------------------- /svf/include/Graphs/ICFGNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/ICFGNode.h -------------------------------------------------------------------------------- /svf/include/Graphs/ICFGStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/ICFGStat.h -------------------------------------------------------------------------------- /svf/include/Graphs/IRGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/IRGraph.h -------------------------------------------------------------------------------- /svf/include/Graphs/SCC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/SCC.h -------------------------------------------------------------------------------- /svf/include/Graphs/SVFG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/SVFG.h -------------------------------------------------------------------------------- /svf/include/Graphs/SVFGEdge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/SVFGEdge.h -------------------------------------------------------------------------------- /svf/include/Graphs/SVFGNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/SVFGNode.h -------------------------------------------------------------------------------- /svf/include/Graphs/SVFGOPT.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/SVFGOPT.h -------------------------------------------------------------------------------- /svf/include/Graphs/SVFGStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/SVFGStat.h -------------------------------------------------------------------------------- /svf/include/Graphs/ThreadCallGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/ThreadCallGraph.h -------------------------------------------------------------------------------- /svf/include/Graphs/VFG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/VFG.h -------------------------------------------------------------------------------- /svf/include/Graphs/VFGEdge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/VFGEdge.h -------------------------------------------------------------------------------- /svf/include/Graphs/VFGNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/VFGNode.h -------------------------------------------------------------------------------- /svf/include/Graphs/WTO.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Graphs/WTO.h -------------------------------------------------------------------------------- /svf/include/MSSA/MSSAMuChi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MSSA/MSSAMuChi.h -------------------------------------------------------------------------------- /svf/include/MSSA/MemPartition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MSSA/MemPartition.h -------------------------------------------------------------------------------- /svf/include/MSSA/MemRegion.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MSSA/MemRegion.h -------------------------------------------------------------------------------- /svf/include/MSSA/MemSSA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MSSA/MemSSA.h -------------------------------------------------------------------------------- /svf/include/MSSA/SVFGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MSSA/SVFGBuilder.h -------------------------------------------------------------------------------- /svf/include/MTA/LockAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MTA/LockAnalysis.h -------------------------------------------------------------------------------- /svf/include/MTA/MHP.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MTA/MHP.h -------------------------------------------------------------------------------- /svf/include/MTA/MTA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MTA/MTA.h -------------------------------------------------------------------------------- /svf/include/MTA/MTAStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MTA/MTAStat.h -------------------------------------------------------------------------------- /svf/include/MTA/TCT.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MTA/TCT.h -------------------------------------------------------------------------------- /svf/include/MemoryModel/AbstractPointsToDS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MemoryModel/AbstractPointsToDS.h -------------------------------------------------------------------------------- /svf/include/MemoryModel/AccessPath.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MemoryModel/AccessPath.h -------------------------------------------------------------------------------- /svf/include/MemoryModel/ConditionalPT.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MemoryModel/ConditionalPT.h -------------------------------------------------------------------------------- /svf/include/MemoryModel/MutablePointsToDS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MemoryModel/MutablePointsToDS.h -------------------------------------------------------------------------------- /svf/include/MemoryModel/PersistentPointsToCache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MemoryModel/PersistentPointsToCache.h -------------------------------------------------------------------------------- /svf/include/MemoryModel/PersistentPointsToDS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MemoryModel/PersistentPointsToDS.h -------------------------------------------------------------------------------- /svf/include/MemoryModel/PointerAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MemoryModel/PointerAnalysis.h -------------------------------------------------------------------------------- /svf/include/MemoryModel/PointerAnalysisImpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MemoryModel/PointerAnalysisImpl.h -------------------------------------------------------------------------------- /svf/include/MemoryModel/PointsTo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MemoryModel/PointsTo.h -------------------------------------------------------------------------------- /svf/include/MemoryModel/SVFLoop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/MemoryModel/SVFLoop.h -------------------------------------------------------------------------------- /svf/include/SABER/DoubleFreeChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SABER/DoubleFreeChecker.h -------------------------------------------------------------------------------- /svf/include/SABER/FileChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SABER/FileChecker.h -------------------------------------------------------------------------------- /svf/include/SABER/LeakChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SABER/LeakChecker.h -------------------------------------------------------------------------------- /svf/include/SABER/ProgSlice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SABER/ProgSlice.h -------------------------------------------------------------------------------- /svf/include/SABER/SaberCheckerAPI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SABER/SaberCheckerAPI.h -------------------------------------------------------------------------------- /svf/include/SABER/SaberCondAllocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SABER/SaberCondAllocator.h -------------------------------------------------------------------------------- /svf/include/SABER/SaberSVFGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SABER/SaberSVFGBuilder.h -------------------------------------------------------------------------------- /svf/include/SABER/SrcSnkDDA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SABER/SrcSnkDDA.h -------------------------------------------------------------------------------- /svf/include/SABER/SrcSnkSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SABER/SrcSnkSolver.h -------------------------------------------------------------------------------- /svf/include/SVFIR/ObjTypeInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SVFIR/ObjTypeInfo.h -------------------------------------------------------------------------------- /svf/include/SVFIR/PAGBuilderFromFile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SVFIR/PAGBuilderFromFile.h -------------------------------------------------------------------------------- /svf/include/SVFIR/SVFIR.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SVFIR/SVFIR.h -------------------------------------------------------------------------------- /svf/include/SVFIR/SVFStatements.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SVFIR/SVFStatements.h -------------------------------------------------------------------------------- /svf/include/SVFIR/SVFType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SVFIR/SVFType.h -------------------------------------------------------------------------------- /svf/include/SVFIR/SVFValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SVFIR/SVFValue.h -------------------------------------------------------------------------------- /svf/include/SVFIR/SVFVariables.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/SVFIR/SVFVariables.h -------------------------------------------------------------------------------- /svf/include/Util/Annotator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/Annotator.h -------------------------------------------------------------------------------- /svf/include/Util/BitVector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/BitVector.h -------------------------------------------------------------------------------- /svf/include/Util/CDGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/CDGBuilder.h -------------------------------------------------------------------------------- /svf/include/Util/CallGraphBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/CallGraphBuilder.h -------------------------------------------------------------------------------- /svf/include/Util/Casting.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/Casting.h -------------------------------------------------------------------------------- /svf/include/Util/CommandLine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/CommandLine.h -------------------------------------------------------------------------------- /svf/include/Util/CoreBitVector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/CoreBitVector.h -------------------------------------------------------------------------------- /svf/include/Util/CxtStmt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/CxtStmt.h -------------------------------------------------------------------------------- /svf/include/Util/DPItem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/DPItem.h -------------------------------------------------------------------------------- /svf/include/Util/ExtAPI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/ExtAPI.h -------------------------------------------------------------------------------- /svf/include/Util/GeneralType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/GeneralType.h -------------------------------------------------------------------------------- /svf/include/Util/GraphReachSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/GraphReachSolver.h -------------------------------------------------------------------------------- /svf/include/Util/NodeIDAllocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/NodeIDAllocator.h -------------------------------------------------------------------------------- /svf/include/Util/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/Options.h -------------------------------------------------------------------------------- /svf/include/Util/PTAStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/PTAStat.h -------------------------------------------------------------------------------- /svf/include/Util/SVFBugReport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/SVFBugReport.h -------------------------------------------------------------------------------- /svf/include/Util/SVFLoopAndDomInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/SVFLoopAndDomInfo.h -------------------------------------------------------------------------------- /svf/include/Util/SVFStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/SVFStat.h -------------------------------------------------------------------------------- /svf/include/Util/SVFUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/SVFUtil.h -------------------------------------------------------------------------------- /svf/include/Util/SparseBitVector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/SparseBitVector.h -------------------------------------------------------------------------------- /svf/include/Util/ThreadAPI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/ThreadAPI.h -------------------------------------------------------------------------------- /svf/include/Util/WorkList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/WorkList.h -------------------------------------------------------------------------------- /svf/include/Util/Z3Expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/Z3Expr.h -------------------------------------------------------------------------------- /svf/include/Util/cJSON.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/cJSON.h -------------------------------------------------------------------------------- /svf/include/Util/iterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/iterator.h -------------------------------------------------------------------------------- /svf/include/Util/iterator_range.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/Util/iterator_range.h -------------------------------------------------------------------------------- /svf/include/WPA/Andersen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/Andersen.h -------------------------------------------------------------------------------- /svf/include/WPA/AndersenPWC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/AndersenPWC.h -------------------------------------------------------------------------------- /svf/include/WPA/CSC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/CSC.h -------------------------------------------------------------------------------- /svf/include/WPA/FlowSensitive.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/FlowSensitive.h -------------------------------------------------------------------------------- /svf/include/WPA/Steensgaard.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/Steensgaard.h -------------------------------------------------------------------------------- /svf/include/WPA/TypeAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/TypeAnalysis.h -------------------------------------------------------------------------------- /svf/include/WPA/VersionedFlowSensitive.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/VersionedFlowSensitive.h -------------------------------------------------------------------------------- /svf/include/WPA/WPAFSSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/WPAFSSolver.h -------------------------------------------------------------------------------- /svf/include/WPA/WPAPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/WPAPass.h -------------------------------------------------------------------------------- /svf/include/WPA/WPASolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/WPASolver.h -------------------------------------------------------------------------------- /svf/include/WPA/WPAStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/include/WPA/WPAStat.h -------------------------------------------------------------------------------- /svf/lib/AE/Core/AbstractState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/AE/Core/AbstractState.cpp -------------------------------------------------------------------------------- /svf/lib/AE/Core/RelExeState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/AE/Core/RelExeState.cpp -------------------------------------------------------------------------------- /svf/lib/AE/Core/RelationSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/AE/Core/RelationSolver.cpp -------------------------------------------------------------------------------- /svf/lib/AE/Svfexe/AEDetector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/AE/Svfexe/AEDetector.cpp -------------------------------------------------------------------------------- /svf/lib/AE/Svfexe/AbsExtAPI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/AE/Svfexe/AbsExtAPI.cpp -------------------------------------------------------------------------------- /svf/lib/AE/Svfexe/AbstractInterpretation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/AE/Svfexe/AbstractInterpretation.cpp -------------------------------------------------------------------------------- /svf/lib/CFL/CFGNormalizer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/CFL/CFGNormalizer.cpp -------------------------------------------------------------------------------- /svf/lib/CFL/CFGrammar.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/CFL/CFGrammar.cpp -------------------------------------------------------------------------------- /svf/lib/CFL/CFLAlias.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/CFL/CFLAlias.cpp -------------------------------------------------------------------------------- /svf/lib/CFL/CFLBase.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/CFL/CFLBase.cpp -------------------------------------------------------------------------------- /svf/lib/CFL/CFLGraphBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/CFL/CFLGraphBuilder.cpp -------------------------------------------------------------------------------- /svf/lib/CFL/CFLSVFGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/CFL/CFLSVFGBuilder.cpp -------------------------------------------------------------------------------- /svf/lib/CFL/CFLSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/CFL/CFLSolver.cpp -------------------------------------------------------------------------------- /svf/lib/CFL/CFLStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/CFL/CFLStat.cpp -------------------------------------------------------------------------------- /svf/lib/CFL/CFLVF.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/CFL/CFLVF.cpp -------------------------------------------------------------------------------- /svf/lib/CFL/GrammarBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/CFL/GrammarBuilder.cpp -------------------------------------------------------------------------------- /svf/lib/DDA/ContextDDA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/DDA/ContextDDA.cpp -------------------------------------------------------------------------------- /svf/lib/DDA/DDAClient.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/DDA/DDAClient.cpp -------------------------------------------------------------------------------- /svf/lib/DDA/DDAPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/DDA/DDAPass.cpp -------------------------------------------------------------------------------- /svf/lib/DDA/DDAStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/DDA/DDAStat.cpp -------------------------------------------------------------------------------- /svf/lib/DDA/FlowDDA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/DDA/FlowDDA.cpp -------------------------------------------------------------------------------- /svf/lib/FastCluster/LICENSE.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/FastCluster/LICENSE.TXT -------------------------------------------------------------------------------- /svf/lib/FastCluster/fastcluster.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/FastCluster/fastcluster.cpp -------------------------------------------------------------------------------- /svf/lib/FastCluster/fastcluster_R_dm.cpp.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/FastCluster/fastcluster_R_dm.cpp.inc -------------------------------------------------------------------------------- /svf/lib/FastCluster/fastcluster_dm.cpp.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/FastCluster/fastcluster_dm.cpp.inc -------------------------------------------------------------------------------- /svf/lib/Graphs/BasicBlockG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/BasicBlockG.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/CDG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/CDG.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/CFLGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/CFLGraph.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/CHG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/CHG.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/CallGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/CallGraph.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/ConsG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/ConsG.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/GraphWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/GraphWriter.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/ICFG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/ICFG.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/IRGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/IRGraph.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/SVFG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/SVFG.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/SVFGOPT.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/SVFGOPT.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/SVFGReadWrite.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/SVFGReadWrite.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/SVFGStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/SVFGStat.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/ThreadCallGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/ThreadCallGraph.cpp -------------------------------------------------------------------------------- /svf/lib/Graphs/VFG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Graphs/VFG.cpp -------------------------------------------------------------------------------- /svf/lib/MSSA/MemPartition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MSSA/MemPartition.cpp -------------------------------------------------------------------------------- /svf/lib/MSSA/MemRegion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MSSA/MemRegion.cpp -------------------------------------------------------------------------------- /svf/lib/MSSA/MemSSA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MSSA/MemSSA.cpp -------------------------------------------------------------------------------- /svf/lib/MSSA/SVFGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MSSA/SVFGBuilder.cpp -------------------------------------------------------------------------------- /svf/lib/MTA/LockAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MTA/LockAnalysis.cpp -------------------------------------------------------------------------------- /svf/lib/MTA/MHP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MTA/MHP.cpp -------------------------------------------------------------------------------- /svf/lib/MTA/MTA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MTA/MTA.cpp -------------------------------------------------------------------------------- /svf/lib/MTA/MTAStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MTA/MTAStat.cpp -------------------------------------------------------------------------------- /svf/lib/MTA/TCT.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MTA/TCT.cpp -------------------------------------------------------------------------------- /svf/lib/MemoryModel/AccessPath.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MemoryModel/AccessPath.cpp -------------------------------------------------------------------------------- /svf/lib/MemoryModel/PointerAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MemoryModel/PointerAnalysis.cpp -------------------------------------------------------------------------------- /svf/lib/MemoryModel/PointerAnalysisImpl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MemoryModel/PointerAnalysisImpl.cpp -------------------------------------------------------------------------------- /svf/lib/MemoryModel/PointsTo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/MemoryModel/PointsTo.cpp -------------------------------------------------------------------------------- /svf/lib/SABER/DoubleFreeChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SABER/DoubleFreeChecker.cpp -------------------------------------------------------------------------------- /svf/lib/SABER/FileChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SABER/FileChecker.cpp -------------------------------------------------------------------------------- /svf/lib/SABER/LeakChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SABER/LeakChecker.cpp -------------------------------------------------------------------------------- /svf/lib/SABER/ProgSlice.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SABER/ProgSlice.cpp -------------------------------------------------------------------------------- /svf/lib/SABER/SaberCheckerAPI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SABER/SaberCheckerAPI.cpp -------------------------------------------------------------------------------- /svf/lib/SABER/SaberCondAllocator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SABER/SaberCondAllocator.cpp -------------------------------------------------------------------------------- /svf/lib/SABER/SaberSVFGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SABER/SaberSVFGBuilder.cpp -------------------------------------------------------------------------------- /svf/lib/SABER/SrcSnkDDA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SABER/SrcSnkDDA.cpp -------------------------------------------------------------------------------- /svf/lib/SVFIR/PAGBuilderFromFile.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SVFIR/PAGBuilderFromFile.cpp -------------------------------------------------------------------------------- /svf/lib/SVFIR/SVFIR.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SVFIR/SVFIR.cpp -------------------------------------------------------------------------------- /svf/lib/SVFIR/SVFStatements.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SVFIR/SVFStatements.cpp -------------------------------------------------------------------------------- /svf/lib/SVFIR/SVFType.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SVFIR/SVFType.cpp -------------------------------------------------------------------------------- /svf/lib/SVFIR/SVFValue.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SVFIR/SVFValue.cpp -------------------------------------------------------------------------------- /svf/lib/SVFIR/SVFVariables.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/SVFIR/SVFVariables.cpp -------------------------------------------------------------------------------- /svf/lib/Util/BitVector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/BitVector.cpp -------------------------------------------------------------------------------- /svf/lib/Util/CDGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/CDGBuilder.cpp -------------------------------------------------------------------------------- /svf/lib/Util/CallGraphBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/CallGraphBuilder.cpp -------------------------------------------------------------------------------- /svf/lib/Util/CoreBitVector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/CoreBitVector.cpp -------------------------------------------------------------------------------- /svf/lib/Util/ExtAPI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/ExtAPI.cpp -------------------------------------------------------------------------------- /svf/lib/Util/NodeIDAllocator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/NodeIDAllocator.cpp -------------------------------------------------------------------------------- /svf/lib/Util/Options.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/Options.cpp -------------------------------------------------------------------------------- /svf/lib/Util/PTAStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/PTAStat.cpp -------------------------------------------------------------------------------- /svf/lib/Util/SVFBugReport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/SVFBugReport.cpp -------------------------------------------------------------------------------- /svf/lib/Util/SVFStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/SVFStat.cpp -------------------------------------------------------------------------------- /svf/lib/Util/SVFUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/SVFUtil.cpp -------------------------------------------------------------------------------- /svf/lib/Util/ThreadAPI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/ThreadAPI.cpp -------------------------------------------------------------------------------- /svf/lib/Util/Z3Expr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/Z3Expr.cpp -------------------------------------------------------------------------------- /svf/lib/Util/cJSON.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/Util/cJSON.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/Andersen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/Andersen.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/AndersenSCD.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/AndersenSCD.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/AndersenSFR.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/AndersenSFR.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/AndersenStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/AndersenStat.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/AndersenWaveDiff.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/AndersenWaveDiff.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/CSC.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/CSC.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/FlowSensitive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/FlowSensitive.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/FlowSensitiveStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/FlowSensitiveStat.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/Steensgaard.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/Steensgaard.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/TypeAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/TypeAnalysis.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/VersionedFlowSensitive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/VersionedFlowSensitive.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/VersionedFlowSensitiveStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/VersionedFlowSensitiveStat.cpp -------------------------------------------------------------------------------- /svf/lib/WPA/WPAPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SVF-tools/SVF/HEAD/svf/lib/WPA/WPAPass.cpp --------------------------------------------------------------------------------