svf-tools 1.0.897 → 1.0.899
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/AbstractExecution_8cpp.html +1 -1
- package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1638 -1659
- package/SVF-doxygen/html/AbstractExecution_8h_source.html +49 -49
- package/SVF-doxygen/html/AbstractPointsToDS_8h_source.html +1 -1
- package/SVF-doxygen/html/AccessPath_8cpp_source.html +1 -1
- package/SVF-doxygen/html/AccessPath_8h_source.html +2 -2
- package/SVF-doxygen/html/AddressValue_8h_source.html +1 -1
- package/SVF-doxygen/html/AndersenPWC_8h_source.html +4 -4
- package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +3 -3
- package/SVF-doxygen/html/AndersenSFR_8cpp_source.html +3 -3
- package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/AndersenWaveDiff_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Andersen_8cpp_source.html +5 -5
- package/SVF-doxygen/html/Andersen_8h_source.html +3 -3
- package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html +4 -4
- package/SVF-doxygen/html/BoundedZ3Expr_8h_source.html +400 -380
- package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +29 -28
- package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CDGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/CDG_8h_source.html +2 -2
- package/SVF-doxygen/html/CFGNormalizer_8cpp_source.html +3 -3
- package/SVF-doxygen/html/CFGNormalizer_8h_source.html +3 -3
- package/SVF-doxygen/html/CFGrammar_8cpp_source.html +2 -2
- package/SVF-doxygen/html/CFGrammar_8h_source.html +3 -3
- package/SVF-doxygen/html/CFLAlias_8h_source.html +2 -2
- package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CFLGraphBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CFLSVFGBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/CFLSolver_8h_source.html +1 -1
- package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CHG_8h_source.html +2 -2
- package/SVF-doxygen/html/CSC_8cpp_source.html +2 -2
- package/SVF-doxygen/html/CSC_8h_source.html +3 -3
- package/SVF-doxygen/html/ConditionalPT_8h_source.html +3 -3
- package/SVF-doxygen/html/ConsExeState_8cpp_source.html +6 -6
- package/SVF-doxygen/html/ConsExeState_8h_source.html +6 -6
- package/SVF-doxygen/html/ConsGEdge_8h_source.html +2 -2
- package/SVF-doxygen/html/ConsG_8cpp_source.html +14 -14
- package/SVF-doxygen/html/ConsG_8h_source.html +4 -4
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/CoreBitVector_8h_source.html +1 -1
- package/SVF-doxygen/html/CppUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CppUtil_8h_source.html +1 -1
- package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
- package/SVF-doxygen/html/DCHG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/DCHG_8h_source.html +2 -2
- package/SVF-doxygen/html/DDAClient_8cpp_source.html +2 -2
- package/SVF-doxygen/html/DDAClient_8h_source.html +3 -3
- package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
- package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
- package/SVF-doxygen/html/DDAVFSolver_8h_source.html +2 -2
- package/SVF-doxygen/html/DPItem_8h_source.html +2 -2
- package/SVF-doxygen/html/ExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ExeState_8h_source.html +1 -1
- package/SVF-doxygen/html/FSMPTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/FSMPTA_8h_source.html +2 -2
- package/SVF-doxygen/html/FlowDDA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +6 -6
- package/SVF-doxygen/html/FlowSensitive_8h_source.html +2 -2
- package/SVF-doxygen/html/GeneralType_8h.html +8 -0
- package/SVF-doxygen/html/GeneralType_8h_source.html +110 -102
- package/SVF-doxygen/html/GenericGraph_8h_source.html +2 -2
- package/SVF-doxygen/html/GrammarBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ICFGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/ICFGEdge_8h_source.html +3 -3
- package/SVF-doxygen/html/ICFGNode_8h_source.html +1 -1
- package/SVF-doxygen/html/ICFGSimplification_8cpp_source.html +2 -2
- package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
- package/SVF-doxygen/html/ICFG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/ICFG_8h_source.html +2 -2
- package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/IRGraph_8h_source.html +2 -2
- package/SVF-doxygen/html/IntervalExeState_8cpp_source.html +2 -2
- package/SVF-doxygen/html/IntervalExeState_8h_source.html +4 -4
- package/SVF-doxygen/html/IntervalValue_8h_source.html +863 -802
- package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +335 -316
- package/SVF-doxygen/html/LLVMModule_8h_source.html +11 -11
- package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LLVMUtil_8h_source.html +1 -1
- package/SVF-doxygen/html/LeakChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LockAnalysis_8h_source.html +3 -3
- package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LockResultValidator_8h_source.html +2 -2
- package/SVF-doxygen/html/MHP_8cpp_source.html +3 -3
- package/SVF-doxygen/html/MHP_8h_source.html +3 -3
- package/SVF-doxygen/html/MSSAMuChi_8h_source.html +4 -4
- package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
- package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +5 -5
- package/SVF-doxygen/html/MTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/MTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTA_8h_source.html +1 -1
- package/SVF-doxygen/html/MemPartition_8h_source.html +2 -2
- package/SVF-doxygen/html/MemRegion_8cpp_source.html +4 -4
- package/SVF-doxygen/html/MemRegion_8h_source.html +5 -5
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/MemSSA_8h_source.html +5 -5
- package/SVF-doxygen/html/MutablePointsToDS_8h_source.html +1 -1
- package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/NodeIDAllocator_8h_source.html +2 -2
- package/SVF-doxygen/html/NumericLiteral_8h_source.html +465 -424
- package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +3 -3
- package/SVF-doxygen/html/ObjTypeInference_8h_source.html +2 -2
- package/SVF-doxygen/html/Options_8cpp_source.html +10 -1
- package/SVF-doxygen/html/Options_8h_source.html +8 -4
- package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +195 -137
- package/SVF-doxygen/html/PAGBuilderFromFile_8h_source.html +3 -3
- package/SVF-doxygen/html/PCG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PCG_8h_source.html +1 -1
- package/SVF-doxygen/html/PTACallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PTACallGraph_8h_source.html +4 -4
- package/SVF-doxygen/html/PTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PersistentPointsToCache_8h_source.html +2 -2
- package/SVF-doxygen/html/PersistentPointsToDS_8h_source.html +2 -2
- package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +2 -2
- package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +3 -3
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PointerAnalysis_8h_source.html +5 -5
- package/SVF-doxygen/html/PointsTo_8cpp_source.html +3 -3
- package/SVF-doxygen/html/PointsTo_8h_source.html +3 -3
- package/SVF-doxygen/html/ProgSlice_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ProgSlice_8h_source.html +2 -2
- package/SVF-doxygen/html/RelExeState_8cpp_source.html +5 -5
- package/SVF-doxygen/html/RelExeState_8h_source.html +6 -6
- package/SVF-doxygen/html/RelationSolver_8cpp.html +2 -0
- package/SVF-doxygen/html/RelationSolver_8cpp_source.html +386 -378
- package/SVF-doxygen/html/RelationSolver_8h_source.html +11 -11
- package/SVF-doxygen/html/SCC_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFBugReport_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +1937 -1934
- package/SVF-doxygen/html/SVFFileSystem_8h.html +1 -1
- package/SVF-doxygen/html/SVFFileSystem_8h_source.html +59 -59
- package/SVF-doxygen/html/SVFGEdge_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFGNode_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFGOPT_8h_source.html +3 -3
- package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFGStat_8h_source.html +3 -3
- package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFG_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +60 -60
- package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +9 -9
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +1101 -886
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +173 -154
- package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +35 -35
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +17 -17
- package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +172 -121
- package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +5 -5
- package/SVF-doxygen/html/SVFIR_8cpp_source.html +24 -22
- package/SVF-doxygen/html/SVFIR_8h_source.html +55 -53
- package/SVF-doxygen/html/SVFLoop_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFStat_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFStatements_8cpp_source.html +20 -20
- package/SVF-doxygen/html/SVFStatements_8h_source.html +979 -955
- package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFType_8h_source.html +4 -4
- package/SVF-doxygen/html/SVFUtil_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFValue_8h_source.html +3 -3
- package/SVF-doxygen/html/SVFVariables_8h_source.html +1 -1
- package/SVF-doxygen/html/SaberCheckerAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +10 -10
- package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +8 -8
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SaberSVFGBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/SingleAbsValue_8h_source.html +6 -6
- package/SVF-doxygen/html/SparseBitVector_8h_source.html +3 -3
- package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SrcSnkDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/Steensgaard_8cpp_source.html +2 -2
- package/SVF-doxygen/html/Steensgaard_8h_source.html +4 -4
- package/SVF-doxygen/html/SymState_8h_source.html +2 -2
- package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +4 -4
- package/SVF-doxygen/html/TCT_8cpp_source.html +3 -3
- package/SVF-doxygen/html/TCT_8h_source.html +4 -4
- package/SVF-doxygen/html/ThreadAPI_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ThreadAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ThreadCallGraph_8h_source.html +3 -3
- package/SVF-doxygen/html/VFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/VFGNode_8h_source.html +12 -12
- package/SVF-doxygen/html/VFG_8cpp_source.html +18 -18
- package/SVF-doxygen/html/VFG_8h_source.html +17 -17
- package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +4 -4
- package/SVF-doxygen/html/VersionedFlowSensitive_8h_source.html +4 -4
- package/SVF-doxygen/html/WPAFSSolver_8h_source.html +1 -1
- package/SVF-doxygen/html/WPASolver_8h_source.html +2 -2
- package/SVF-doxygen/html/WTO_8h_source.html +2 -2
- package/SVF-doxygen/html/WorkList_8h_source.html +1 -1
- package/SVF-doxygen/html/Z3Expr_8cpp_source.html +5 -5
- package/SVF-doxygen/html/Z3Expr_8h_source.html +303 -294
- package/SVF-doxygen/html/ae_8cpp_source.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1AEStat.html +119 -119
- package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +1517 -1538
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +68 -68
- package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr-members.html +77 -72
- package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +450 -294
- package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +51 -51
- package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFGNormalizer.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CSC.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CallPE.html +35 -35
- package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +97 -97
- package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +13 -13
- package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1CopyStmt-members.html +48 -33
- package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +206 -65
- package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1DDAPass.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ExeState.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GenericGraphReader.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepStmt.html +56 -56
- package/SVF-doxygen/html/classSVF_1_1GrammarBase.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFG.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFGWriter.html +11 -11
- package/SVF-doxygen/html/classSVF_1_1IntervalESBase.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1IntervalValue-members.html +40 -35
- package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +512 -307
- package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +331 -312
- package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +19 -19
- package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MHP.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
- package/SVF-doxygen/html/classSVF_1_1MutableDFPTData.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1NumericLiteral-members.html +50 -43
- package/SVF-doxygen/html/classSVF_1_1NumericLiteral.html +574 -343
- package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1Options-members.html +129 -128
- package/SVF-doxygen/html/classSVF_1_1Options.html +26 -0
- package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +204 -135
- package/SVF-doxygen/html/classSVF_1_1PCG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1POCRSolver.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PTACallGraph.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PTAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PersistentDFPTData.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PersistentDiffPTData.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PersistentPTData.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PersistentPointsToCache.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +46 -46
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PointsTo.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ReaderIDToObjMap.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1ReaderPtrPool.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1RelExeState.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +362 -358
- package/SVF-doxygen/html/classSVF_1_1RetPE.html +35 -35
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIR-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIR.html +32 -25
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +51 -51
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +49 -40
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1346 -909
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder-members.html +62 -61
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +211 -131
- package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1122 -1121
- package/SVF-doxygen/html/classSVF_1_1SVFIRWriter.html +429 -427
- package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFModuleReader.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFModuleWriter.html +23 -23
- package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +14 -14
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +38 -38
- package/SVF-doxygen/html/classSVF_1_1SingleAbsValue-members.html +96 -91
- package/SVF-doxygen/html/classSVF_1_1SingleAbsValue.html +19 -5
- package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1StInfo.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +17 -17
- package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfoReader.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1TCT.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +22 -22
- package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +21 -21
- package/SVF-doxygen/html/classSVF_1_1ThreadAPI.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +44 -44
- package/SVF-doxygen/html/classSVF_1_1VFG.html +17 -17
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1WPAFSSolver.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1WPAMinimumSolver.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1WPASCCSolver.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1WPASolver.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Z3Expr-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +227 -221
- package/SVF-doxygen/html/classSymblicAbstractionTest.html +6 -6
- package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
- package/SVF-doxygen/html/functions_a.html +11 -8
- package/SVF-doxygen/html/functions_b.html +8 -5
- package/SVF-doxygen/html/functions_c.html +23 -14
- package/SVF-doxygen/html/functions_e.html +1 -1
- package/SVF-doxygen/html/functions_enum.html +3 -0
- package/SVF-doxygen/html/functions_eval_b.html +3 -0
- package/SVF-doxygen/html/functions_eval_c.html +3 -0
- package/SVF-doxygen/html/functions_eval_f.html +9 -0
- package/SVF-doxygen/html/functions_eval_i.html +3 -0
- package/SVF-doxygen/html/functions_eval_p.html +3 -0
- package/SVF-doxygen/html/functions_eval_s.html +6 -0
- package/SVF-doxygen/html/functions_eval_t.html +3 -0
- package/SVF-doxygen/html/functions_eval_u.html +3 -0
- package/SVF-doxygen/html/functions_eval_z.html +79 -0
- package/SVF-doxygen/html/functions_f.html +21 -12
- package/SVF-doxygen/html/functions_func.html +2 -2
- package/SVF-doxygen/html/functions_func_b.html +3 -3
- package/SVF-doxygen/html/functions_func_g.html +47 -12
- package/SVF-doxygen/html/functions_func_i.html +19 -9
- package/SVF-doxygen/html/functions_func_n.html +1 -1
- package/SVF-doxygen/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/functions_func_z.html +1 -1
- package/SVF-doxygen/html/functions_g.html +54 -19
- package/SVF-doxygen/html/functions_i.html +18 -5
- package/SVF-doxygen/html/functions_l.html +3 -3
- package/SVF-doxygen/html/functions_o.html +15 -15
- package/SVF-doxygen/html/functions_p.html +28 -29
- package/SVF-doxygen/html/functions_r.html +1 -1
- package/SVF-doxygen/html/functions_s.html +24 -16
- package/SVF-doxygen/html/functions_t.html +7 -4
- package/SVF-doxygen/html/functions_u.html +6 -3
- package/SVF-doxygen/html/functions_v.html +4 -6
- package/SVF-doxygen/html/functions_vars_a.html +3 -0
- package/SVF-doxygen/html/functions_vars_c.html +3 -0
- package/SVF-doxygen/html/functions_w.html +13 -7
- package/SVF-doxygen/html/functions_z.html +4 -1
- package/SVF-doxygen/html/menudata.js +2 -1
- package/SVF-doxygen/html/namespaceSVF.html +689 -617
- package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1 -1
- package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +1 -1
- package/SVF-doxygen/html/namespaceSVF_1_1cppUtil.html +1 -1
- package/SVF-doxygen/html/namespacemembers_s.html +6 -0
- package/SVF-doxygen/html/namespacemembers_type_s.html +6 -0
- package/SVF-doxygen/html/namespacemembers_type_u.html +6 -0
- package/SVF-doxygen/html/namespacemembers_u.html +6 -0
- package/SVF-doxygen/html/search/all_1.js +135 -134
- package/SVF-doxygen/html/search/all_10.js +326 -325
- package/SVF-doxygen/html/search/all_11.js +226 -226
- package/SVF-doxygen/html/search/all_12.js +574 -570
- package/SVF-doxygen/html/search/all_13.js +208 -207
- package/SVF-doxygen/html/search/all_14.js +73 -70
- package/SVF-doxygen/html/search/all_15.js +176 -176
- package/SVF-doxygen/html/search/all_16.js +77 -77
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +27 -26
- package/SVF-doxygen/html/search/all_1a.js +179 -179
- package/SVF-doxygen/html/search/all_2.js +182 -181
- package/SVF-doxygen/html/search/all_3.js +642 -640
- package/SVF-doxygen/html/search/all_4.js +236 -236
- package/SVF-doxygen/html/search/all_5.js +126 -126
- package/SVF-doxygen/html/search/all_6.js +235 -232
- package/SVF-doxygen/html/search/all_7.js +1056 -1047
- package/SVF-doxygen/html/search/all_8.js +215 -215
- package/SVF-doxygen/html/search/all_9.js +632 -629
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +115 -115
- package/SVF-doxygen/html/search/all_d.js +204 -204
- package/SVF-doxygen/html/search/all_e.js +209 -209
- package/SVF-doxygen/html/search/all_f.js +122 -122
- package/SVF-doxygen/html/search/classes_0.js +28 -28
- package/SVF-doxygen/html/search/classes_1.js +11 -11
- package/SVF-doxygen/html/search/classes_10.js +74 -74
- package/SVF-doxygen/html/search/classes_11.js +14 -14
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +19 -19
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +73 -73
- package/SVF-doxygen/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/search/classes_4.js +8 -8
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/search/classes_7.js +38 -38
- package/SVF-doxygen/html/search/classes_8.js +59 -59
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +3 -3
- package/SVF-doxygen/html/search/defines_10.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +4 -4
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +8 -8
- package/SVF-doxygen/html/search/defines_f.js +4 -4
- package/SVF-doxygen/html/search/enums_0.js +4 -4
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +9 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +4 -4
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_1.js +16 -15
- package/SVF-doxygen/html/search/enumvalues_10.js +36 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +5 -4
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +4 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +37 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +50 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
- package/SVF-doxygen/html/search/enumvalues_8.js +24 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +19 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +49 -47
- package/SVF-doxygen/html/search/files_0.js +16 -16
- package/SVF-doxygen/html/search/files_1.js +9 -9
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +53 -53
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +10 -10
- package/SVF-doxygen/html/search/files_7.js +17 -17
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +4 -4
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +13 -13
- package/SVF-doxygen/html/search/functions_1.js +368 -368
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +140 -140
- package/SVF-doxygen/html/search/functions_12.js +299 -299
- package/SVF-doxygen/html/search/functions_13.js +73 -73
- package/SVF-doxygen/html/search/functions_14.js +41 -41
- package/SVF-doxygen/html/search/functions_15.js +72 -72
- package/SVF-doxygen/html/search/functions_16.js +38 -38
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +179 -179
- package/SVF-doxygen/html/search/functions_2.js +94 -94
- package/SVF-doxygen/html/search/functions_3.js +261 -261
- package/SVF-doxygen/html/search/functions_4.js +85 -85
- package/SVF-doxygen/html/search/functions_5.js +57 -57
- package/SVF-doxygen/html/search/functions_6.js +65 -65
- package/SVF-doxygen/html/search/functions_7.js +872 -863
- package/SVF-doxygen/html/search/functions_8.js +162 -162
- package/SVF-doxygen/html/search/functions_9.js +440 -438
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +25 -25
- package/SVF-doxygen/html/search/functions_d.js +82 -82
- package/SVF-doxygen/html/search/functions_e.js +36 -36
- package/SVF-doxygen/html/search/functions_f.js +58 -58
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +4 -4
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +5 -5
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +2 -2
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +27 -27
- package/SVF-doxygen/html/search/typedefs_10.js +65 -63
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +13 -11
- package/SVF-doxygen/html/search/typedefs_13.js +40 -40
- package/SVF-doxygen/html/search/typedefs_14.js +11 -11
- package/SVF-doxygen/html/search/typedefs_2.js +125 -125
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +42 -42
- package/SVF-doxygen/html/search/typedefs_6.js +54 -54
- package/SVF-doxygen/html/search/typedefs_7.js +47 -47
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +177 -177
- package/SVF-doxygen/html/search/variables_1.js +77 -76
- package/SVF-doxygen/html/search/variables_10.js +98 -98
- package/SVF-doxygen/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/search/variables_13.js +76 -76
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +49 -49
- package/SVF-doxygen/html/search/variables_16.js +11 -11
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +17 -17
- package/SVF-doxygen/html/search/variables_2.js +40 -40
- package/SVF-doxygen/html/search/variables_3.js +143 -142
- package/SVF-doxygen/html/search/variables_4.js +51 -51
- package/SVF-doxygen/html/search/variables_5.js +39 -39
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +8 -8
- package/SVF-doxygen/html/search/variables_9.js +79 -79
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +57 -57
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +31 -31
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1Hash.html +6 -6
- package/SVF-doxygen/html/structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html +12 -12
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +6 -6
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html +5 -5
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SingleAbsValue_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SymState_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html +6 -6
- package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/svf-ex_8cpp.html +21 -21
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +21 -21
- package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +2 -2
- package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +3 -3
- package/package.json +1 -1
- package/svf/include/AE/Core/BoundedZ3Expr.h +33 -20
- package/svf/include/AE/Core/IntervalValue.h +57 -5
- package/svf/include/AE/Core/NumericLiteral.h +31 -1
- package/svf/include/AE/Core/RelationSolver.h +1 -1
- package/svf/include/AE/Svfexe/SVFIR2ItvExeState.h +10 -0
- package/svf/include/SVFIR/SVFIR.h +2 -1
- package/svf/include/SVFIR/SVFStatements.h +12 -2
- package/svf/include/Util/GeneralType.h +4 -0
- package/svf/include/Util/Options.h +3 -0
- package/svf/include/Util/Z3Expr.h +9 -2
- package/svf/lib/AE/Core/RelationSolver.cpp +11 -6
- package/svf/lib/AE/Svfexe/AbstractExecution.cpp +13 -34
- package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +6 -6
- package/svf/lib/AE/Svfexe/SVFIR2ItvExeState.cpp +217 -23
- package/svf/lib/SVFIR/PAGBuilderFromFile.cpp +62 -3
- package/svf/lib/SVFIR/SVFFileSystem.cpp +4 -1
- package/svf/lib/SVFIR/SVFIR.cpp +3 -3
- package/svf/lib/Util/Options.cpp +8 -0
- package/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +39 -3
- package/svf-llvm/lib/LLVMModule.cpp +21 -2
- package/svf-llvm/lib/SVFIRBuilder.cpp +7 -7
- package/svf-llvm/lib/SVFIRExtAPI.cpp +3 -3
|
@@ -118,120 +118,128 @@ $(function() {
|
|
|
118
118
|
<div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e"> 47</a></span> <span class="keyword">typedef</span> <span class="keywordtype">signed</span> <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>;</div>
|
|
119
119
|
<div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14"> 48</a></span> <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <span class="keywordtype">long</span> <a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a>;</div>
|
|
120
120
|
<div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3"> 49</a></span> <span class="keyword">typedef</span> <span class="keywordtype">signed</span> <span class="keywordtype">long</span> <span class="keywordtype">long</span> <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>;</div>
|
|
121
|
-
<div class="line"><a name="l00050"></a><span class="lineno"> 50</span> 
|
|
122
|
-
<div class="line"><a name="l00051"></a><span class="lineno"> 51</span> <span class="keyword">typedef</span> <
|
|
123
|
-
<div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
124
|
-
<div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
125
|
-
<div class="line"><a name="l00054"></a><span class="lineno"
|
|
126
|
-
<div class="line"><a name="l00055"></a><span class="lineno"
|
|
127
|
-
<div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
128
|
-
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span> 
|
|
129
|
-
<div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
130
|
-
<div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
131
|
-
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span> 
|
|
132
|
-
<div class="line"><a name="
|
|
133
|
-
<div class="line"><a name="
|
|
134
|
-
<div class="line"><a name="
|
|
135
|
-
<div class="line"><a name="
|
|
136
|
-
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span> 
|
|
137
|
-
<div class="line"><a name="l00067"></a><span class="lineno"
|
|
138
|
-
<div class="line"><a name="l00068"></a><span class="lineno"> 68</span> 
|
|
139
|
-
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span> 
|
|
140
|
-
<div class="line"><a name="l00070"></a><span class="lineno"> 70</span> 
|
|
141
|
-
<div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  </div>
|
|
142
|
-
<div class="line"><a name="l00072"></a><span class="lineno"
|
|
143
|
-
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span> 
|
|
144
|
-
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span> 
|
|
145
|
-
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span> 
|
|
146
|
-
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span> 
|
|
147
|
-
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span> 
|
|
148
|
-
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span> 
|
|
149
|
-
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  </div>
|
|
150
|
-
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span> 
|
|
151
|
-
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span> 
|
|
152
|
-
<div class="line"><a name="l00082"></a><span class="lineno"
|
|
153
|
-
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span> 
|
|
154
|
-
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span> 
|
|
155
|
-
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span> 
|
|
156
|
-
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span> 
|
|
157
|
-
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span> 
|
|
158
|
-
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span> 
|
|
159
|
-
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span> 
|
|
160
|
-
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span> 
|
|
161
|
-
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span> 
|
|
162
|
-
<div class="line"><a name="l00092"></a><span class="lineno"
|
|
163
|
-
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span> 
|
|
164
|
-
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span> 
|
|
165
|
-
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <span class="keyword">typename</span>
|
|
166
|
-
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span> 
|
|
167
|
-
<div class="line"><a name="l00097"></a><span class="lineno"
|
|
168
|
-
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span> 
|
|
169
|
-
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  <span class="keyword">
|
|
170
|
-
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span> 
|
|
171
|
-
<div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
121
|
+
<div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7"> 50</a></span> <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> <a class="code" href="namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7">u8_t</a>;</div>
|
|
122
|
+
<div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a64e9b1c8c4f095e5b50ba05229c2e1ba"> 51</a></span> <span class="keyword">typedef</span> <span class="keywordtype">signed</span> <span class="keywordtype">char</span> <a class="code" href="namespaceSVF.html#a64e9b1c8c4f095e5b50ba05229c2e1ba">s8_t</a>;</div>
|
|
123
|
+
<div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93"> 52</a></span> <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">short</span> <a class="code" href="namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93">u16_t</a>;</div>
|
|
124
|
+
<div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a6ce4cf67f8622443c888737d7366a3e9"> 53</a></span> <span class="keyword">typedef</span> <span class="keywordtype">signed</span> <span class="keywordtype">short</span> <a class="code" href="namespaceSVF.html#a6ce4cf67f8622443c888737d7366a3e9">s16_t</a>;</div>
|
|
125
|
+
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  </div>
|
|
126
|
+
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>;</div>
|
|
127
|
+
<div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94"> 56</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">EdgeID</a>;</div>
|
|
128
|
+
<div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48"> 57</a></span> <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>;</div>
|
|
129
|
+
<div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64"> 58</a></span> <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a>;</div>
|
|
130
|
+
<div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35"> 59</a></span> <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">ThreadID</a>;</div>
|
|
131
|
+
<div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1"> 60</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a>;</div>
|
|
132
|
+
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  </div>
|
|
133
|
+
<div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564"> 62</a></span> <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1SparseBitVector.html">SparseBitVector<></a> <a class="code" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">NodeBS</a>;</div>
|
|
134
|
+
<div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca"> 63</a></span> <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a>;</div>
|
|
135
|
+
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  </div>
|
|
136
|
+
<div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash.html"> 66</a></span> <span class="keyword">template</span> <<span class="keyword">class</span> T> <span class="keyword">struct </span><a class="code" href="structSVF_1_1Hash.html">Hash</a>;</div>
|
|
137
|
+
<div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  </div>
|
|
138
|
+
<div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html"> 68</a></span> <span class="keyword">template</span> <<span class="keyword">class</span> S, <span class="keyword">class</span> T> <span class="keyword">struct </span><a class="code" href="structSVF_1_1Hash.html">Hash</a><std::pair<S, T>></div>
|
|
139
|
+
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span> {</div>
|
|
140
|
+
<div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  <span class="comment">// Pairing function from: http://szudzik.com/ElegantPairing.pdf</span></div>
|
|
141
|
+
<div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2"> 71</a></span>  <span class="keyword">static</span> <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">szudzik</a>(<span class="keywordtype">size_t</span> <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>, <span class="keywordtype">size_t</span> <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>)</div>
|
|
142
|
+
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  {</div>
|
|
143
|
+
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <span class="keywordflow">return</span> <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> > <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a> ? <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a> * <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a> + <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> : <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> * <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> + <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> + <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>;</div>
|
|
144
|
+
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  }</div>
|
|
145
|
+
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  </div>
|
|
146
|
+
<div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be"> 76</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">operator()</a>(<span class="keyword">const</span> std::pair<S, T>& t)<span class="keyword"> const</span></div>
|
|
147
|
+
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span> <span class="keyword"> </span>{</div>
|
|
148
|
+
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <a class="code" href="structSVF_1_1Hash.html">Hash</a><decltype(t.first)> first;</div>
|
|
149
|
+
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <a class="code" href="structSVF_1_1Hash.html">Hash</a><decltype(t.second)> second;</div>
|
|
150
|
+
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <span class="keywordflow">return</span> szudzik(first(t.first), second(t.second));</div>
|
|
151
|
+
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  }</div>
|
|
152
|
+
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span> };</div>
|
|
153
|
+
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  </div>
|
|
154
|
+
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span> <span class="keyword">template</span> <<span class="keyword">class</span> T> <span class="keyword">struct </span>Hash</div>
|
|
155
|
+
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span> {</div>
|
|
156
|
+
<div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff"> 86</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">operator()</a>(<span class="keyword">const</span> T& t)<span class="keyword"> const</span></div>
|
|
157
|
+
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span> <span class="keyword"> </span>{</div>
|
|
158
|
+
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  std::hash<T> h;</div>
|
|
159
|
+
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keywordflow">return</span> h(t);</div>
|
|
160
|
+
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  }</div>
|
|
161
|
+
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span> };</div>
|
|
162
|
+
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  </div>
|
|
163
|
+
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span> <span class="keyword">template</span> <<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Hash = Hash<Key>,</div>
|
|
164
|
+
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  <span class="keyword">typename</span> KeyEqual = std::equal_to<Key>,</div>
|
|
165
|
+
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <span class="keyword">typename</span> Allocator = std::allocator<Key>></div>
|
|
166
|
+
<div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb"> 96</a></span> <span class="keyword">using</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a> = std::unordered_set<Key, Hash, KeyEqual, Allocator>;</div>
|
|
167
|
+
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  </div>
|
|
168
|
+
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span> <span class="keyword">template</span> <<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Value, <span class="keyword">typename</span> Hash = Hash<Key>,</div>
|
|
169
|
+
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  <span class="keyword">typename</span> KeyEqual = std::equal_to<Key>,</div>
|
|
170
|
+
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  <span class="keyword">typename</span> Allocator = std::allocator<std::pair<const Key, Value>>></div>
|
|
171
|
+
<div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1"> 101</a></span>  <span class="keyword">using</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a> = std::unordered_map<Key, Value, Hash, KeyEqual, Allocator>;</div>
|
|
172
172
|
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  </div>
|
|
173
|
-
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <span class="keyword">template</span> <<span class="keyword">typename</span> Key, <span class="keyword">typename</span>
|
|
174
|
-
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  <span class="keyword">typename</span> Allocator = std::allocator<
|
|
175
|
-
<div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
173
|
+
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <span class="keyword">template</span> <<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Compare = std::less<Key>,</div>
|
|
174
|
+
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  <span class="keyword">typename</span> Allocator = std::allocator<Key>></div>
|
|
175
|
+
<div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7"> 105</a></span>  <span class="keyword">using</span> <a class="code" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a> = std::set<Key, Compare, Allocator>;</div>
|
|
176
176
|
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  </div>
|
|
177
|
-
<div class="line"><a name="l00107"></a><span class="lineno"
|
|
178
|
-
<div class="line"><a name="l00108"></a><span class="lineno"
|
|
179
|
-
<div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
180
|
-
<div class="line"><a name="l00110"></a><span class="lineno"
|
|
181
|
-
<div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
182
|
-
<div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
183
|
-
<div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
184
|
-
<div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
185
|
-
<div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
186
|
-
<div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
187
|
-
<div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
188
|
-
<div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
189
|
-
<div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
190
|
-
<div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
191
|
-
<div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
192
|
-
<div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
193
|
-
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span> 
|
|
177
|
+
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  <span class="keyword">template</span> <<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Value, <span class="keyword">typename</span> Compare = std::less<Key>,</div>
|
|
178
|
+
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="keyword">typename</span> Allocator = std::allocator<std::pair<const Key, Value>>></div>
|
|
179
|
+
<div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6"> 109</a></span>  <span class="keyword">using</span> <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a> = std::map<Key, Value, Compare, Allocator>;</div>
|
|
180
|
+
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  </div>
|
|
181
|
+
<div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b"> 111</a></span>  <span class="keyword">typedef</span> std::pair<NodeID, NodeID> <a class="code" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a>;</div>
|
|
182
|
+
<div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8"> 112</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet<NodeID></a> <a class="code" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">OrderedNodeSet</a>;</div>
|
|
183
|
+
<div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3"> 113</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<NodeID></a> <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a>;</div>
|
|
184
|
+
<div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7"> 114</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<NodePair></a> <a class="code" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">NodePairSet</a>;</div>
|
|
185
|
+
<div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c"> 115</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<NodePair, NodeID></a> <a class="code" href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">NodePairMap</a>;</div>
|
|
186
|
+
<div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676"> 116</a></span>  <span class="keyword">typedef</span> std::vector<NodeID> <a class="code" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">NodeVector</a>;</div>
|
|
187
|
+
<div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e"> 117</a></span>  <span class="keyword">typedef</span> std::vector<EdgeID> <a class="code" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">EdgeVector</a>;</div>
|
|
188
|
+
<div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0"> 118</a></span>  <span class="keyword">typedef</span> std::stack<NodeID> <a class="code" href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">NodeStack</a>;</div>
|
|
189
|
+
<div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5"> 119</a></span>  <span class="keyword">typedef</span> std::list<NodeID> <a class="code" href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">NodeList</a>;</div>
|
|
190
|
+
<div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74"> 120</a></span>  <span class="keyword">typedef</span> std::deque<NodeID> <a class="code" href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">NodeDeque</a>;</div>
|
|
191
|
+
<div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be"> 121</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a> <a class="code" href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">EdgeSet</a>;</div>
|
|
192
|
+
<div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1"> 122</a></span>  <span class="keyword">typedef</span> std::vector<u32_t> <a class="code" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a>;</div>
|
|
193
|
+
<div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c"> 123</a></span>  <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">Version</a>;</div>
|
|
194
|
+
<div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb"> 124</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Version></a> <a class="code" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">VersionSet</a>;</div>
|
|
195
|
+
<div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf"> 125</a></span>  <span class="keyword">typedef</span> std::pair<NodeID, Version> <a class="code" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">VersionedVar</a>;</div>
|
|
196
|
+
<div class="line"><a name="l00126"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385"> 126</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<VersionedVar></a> <a class="code" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">VersionedVarSet</a>;</div>
|
|
197
|
+
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span> }</div>
|
|
194
198
|
</div><!-- fragment --></div><!-- contents -->
|
|
195
|
-
<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
196
|
-
<div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
197
|
-
<div class="ttc" id="anamespaceSVF_html_a35068c3650567d5051416db4aeb48e74"><div class="ttname"><a href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">SVF::NodeDeque</a></div><div class="ttdeci">std::deque< NodeID > NodeDeque</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
198
|
-
<div class="ttc" id="anamespaceSVF_html_a39d27055a14d9d6363c668ee215a4676"><div class="ttname"><a href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">SVF::NodeVector</a></div><div class="ttdeci">std::vector< NodeID > NodeVector</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
199
|
-
<div class="ttc" id="anamespaceSVF_html_a3c2bd95727ec0d9c55c631b6617026c8"><div class="ttname"><a href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">SVF::OrderedNodeSet</a></div><div class="ttdeci">OrderedSet< NodeID > OrderedNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
200
|
-
<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map< Key, Value, Compare, Allocator > OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
201
|
-
<div class="ttc" id="anamespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
202
|
-
<div class="ttc" id="
|
|
199
|
+
<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00060">GeneralType.h:60</a></div></div>
|
|
200
|
+
<div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00062">GeneralType.h:62</a></div></div>
|
|
201
|
+
<div class="ttc" id="anamespaceSVF_html_a35068c3650567d5051416db4aeb48e74"><div class="ttname"><a href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">SVF::NodeDeque</a></div><div class="ttdeci">std::deque< NodeID > NodeDeque</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00120">GeneralType.h:120</a></div></div>
|
|
202
|
+
<div class="ttc" id="anamespaceSVF_html_a39d27055a14d9d6363c668ee215a4676"><div class="ttname"><a href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">SVF::NodeVector</a></div><div class="ttdeci">std::vector< NodeID > NodeVector</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00116">GeneralType.h:116</a></div></div>
|
|
203
|
+
<div class="ttc" id="anamespaceSVF_html_a3c2bd95727ec0d9c55c631b6617026c8"><div class="ttname"><a href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">SVF::OrderedNodeSet</a></div><div class="ttdeci">OrderedSet< NodeID > OrderedNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00112">GeneralType.h:112</a></div></div>
|
|
204
|
+
<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map< Key, Value, Compare, Allocator > OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
|
|
205
|
+
<div class="ttc" id="anamespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00063">GeneralType.h:63</a></div></div>
|
|
206
|
+
<div class="ttc" id="anamespaceSVF_html_a7c3a917e8b1d3253982e0a1a37b74d93"><div class="ttname"><a href="namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93">SVF::u16_t</a></div><div class="ttdeci">unsigned short u16_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00052">GeneralType.h:52</a></div></div>
|
|
207
|
+
<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
|
|
203
208
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
|
|
204
|
-
<div class="ttc" id="astructSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4_html_a8bc94a83d93639b91f9e02dfdd93d8be"><div class="ttname"><a href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">SVF::Hash< std::pair< S, T > >::operator()</a></div><div class="ttdeci">size_t operator()(const std::pair< S, T > &t) const</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
205
|
-
<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
206
|
-
<div class="ttc" id="anamespaceSVF_html_a4831992588252dc51c102e9e3f7d5e2e"><div class="ttname"><a href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">SVF::EdgeVector</a></div><div class="ttdeci">std::vector< EdgeID > EdgeVector</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
209
|
+
<div class="ttc" id="astructSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4_html_a8bc94a83d93639b91f9e02dfdd93d8be"><div class="ttname"><a href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">SVF::Hash< std::pair< S, T > >::operator()</a></div><div class="ttdeci">size_t operator()(const std::pair< S, T > &t) const</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00076">GeneralType.h:76</a></div></div>
|
|
210
|
+
<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00066">GeneralType.h:66</a></div></div>
|
|
211
|
+
<div class="ttc" id="anamespaceSVF_html_a4831992588252dc51c102e9e3f7d5e2e"><div class="ttname"><a href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">SVF::EdgeVector</a></div><div class="ttdeci">std::vector< EdgeID > EdgeVector</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00117">GeneralType.h:117</a></div></div>
|
|
207
212
|
<div class="ttc" id="anamespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00048">GeneralType.h:48</a></div></div>
|
|
208
213
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
|
|
209
|
-
<div class="ttc" id="anamespaceSVF_html_a544021f3075a89ff634b215a0efe3385"><div class="ttname"><a href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF::VersionedVarSet</a></div><div class="ttdeci">Set< VersionedVar > VersionedVarSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
214
|
+
<div class="ttc" id="anamespaceSVF_html_a544021f3075a89ff634b215a0efe3385"><div class="ttname"><a href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF::VersionedVarSet</a></div><div class="ttdeci">Set< VersionedVar > VersionedVarSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00126">GeneralType.h:126</a></div></div>
|
|
215
|
+
<div class="ttc" id="anamespaceSVF_html_a9e83fb2225082782d168f5c7bfc79ba7"><div class="ttname"><a href="namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7">SVF::u8_t</a></div><div class="ttdeci">unsigned char u8_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00050">GeneralType.h:50</a></div></div>
|
|
210
216
|
<div class="ttc" id="aSparseBitVector_8h_html"><div class="ttname"><a href="SparseBitVector_8h.html">SparseBitVector.h</a></div></div>
|
|
211
|
-
<div class="ttc" id="anamespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack< NodeID > NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
212
|
-
<div class="ttc" id="
|
|
213
|
-
<div class="ttc" id="
|
|
214
|
-
<div class="ttc" id="
|
|
215
|
-
<div class="ttc" id="
|
|
216
|
-
<div class="ttc" id="
|
|
217
|
-
<div class="ttc" id="
|
|
217
|
+
<div class="ttc" id="anamespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack< NodeID > NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00118">GeneralType.h:118</a></div></div>
|
|
218
|
+
<div class="ttc" id="anamespaceSVF_html_a6ce4cf67f8622443c888737d7366a3e9"><div class="ttname"><a href="namespaceSVF.html#a6ce4cf67f8622443c888737d7366a3e9">SVF::s16_t</a></div><div class="ttdeci">signed short s16_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00053">GeneralType.h:53</a></div></div>
|
|
219
|
+
<div class="ttc" id="anamespaceSVF_html_a046466b2ed3618072fee227b569da6eb"><div class="ttname"><a href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF::VersionSet</a></div><div class="ttdeci">Set< Version > VersionSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00124">GeneralType.h:124</a></div></div>
|
|
220
|
+
<div class="ttc" id="anamespaceSVF_html_ab80cc7e84367e8c5a6a5a617880890f5"><div class="ttname"><a href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">SVF::NodeList</a></div><div class="ttdeci">std::list< NodeID > NodeList</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00119">GeneralType.h:119</a></div></div>
|
|
221
|
+
<div class="ttc" id="anamespaceSVF_html_ae71551d6a1fc300e0403297aa25ddf94"><div class="ttname"><a href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF::EdgeID</a></div><div class="ttdeci">u32_t EdgeID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00056">GeneralType.h:56</a></div></div>
|
|
222
|
+
<div class="ttc" id="astructSVF_1_1Hash_html_aad49eec16cfdd4d3423f27666d5f28ff"><div class="ttname"><a href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">SVF::Hash::operator()</a></div><div class="ttdeci">size_t operator()(const T &t) const</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00086">GeneralType.h:86</a></div></div>
|
|
223
|
+
<div class="ttc" id="anamespaceSVF_html_a0d2e17d5b07a50ed95e8f407cd6dd0be"><div class="ttname"><a href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">SVF::EdgeSet</a></div><div class="ttdeci">NodeSet EdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00121">GeneralType.h:121</a></div></div>
|
|
224
|
+
<div class="ttc" id="anamespaceSVF_html_a64e9b1c8c4f095e5b50ba05229c2e1ba"><div class="ttname"><a href="namespaceSVF.html#a64e9b1c8c4f095e5b50ba05229c2e1ba">SVF::s8_t</a></div><div class="ttdeci">signed char s8_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00051">GeneralType.h:51</a></div></div>
|
|
225
|
+
<div class="ttc" id="anamespaceSVF_html_a9ec7a8dc63411ee3724a25a59191be0c"><div class="ttname"><a href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF::Version</a></div><div class="ttdeci">unsigned Version</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00123">GeneralType.h:123</a></div></div>
|
|
218
226
|
<div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00047">GeneralType.h:47</a></div></div>
|
|
219
|
-
<div class="ttc" id="anamespaceSVF_html_ac82022f3f81965c3ce9b26c299f537a7"><div class="ttname"><a href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></div><div class="ttdeci">Set< NodePair > NodePairSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
220
|
-
<div class="ttc" id="anamespaceSVF_html_a32489632f53dce062ca2e8bff42c65cf"><div class="ttname"><a href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF::VersionedVar</a></div><div class="ttdeci">std::pair< NodeID, Version > VersionedVar</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
221
|
-
<div class="ttc" id="anamespaceSVF_html_af15e78ec0ab5bf5328d0f8e90c74fe4b"><div class="ttname"><a href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">SVF::NodePair</a></div><div class="ttdeci">std::pair< NodeID, NodeID > NodePair</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
227
|
+
<div class="ttc" id="anamespaceSVF_html_ac82022f3f81965c3ce9b26c299f537a7"><div class="ttname"><a href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></div><div class="ttdeci">Set< NodePair > NodePairSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00114">GeneralType.h:114</a></div></div>
|
|
228
|
+
<div class="ttc" id="anamespaceSVF_html_a32489632f53dce062ca2e8bff42c65cf"><div class="ttname"><a href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF::VersionedVar</a></div><div class="ttdeci">std::pair< NodeID, Version > VersionedVar</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00125">GeneralType.h:125</a></div></div>
|
|
229
|
+
<div class="ttc" id="anamespaceSVF_html_af15e78ec0ab5bf5328d0f8e90c74fe4b"><div class="ttname"><a href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">SVF::NodePair</a></div><div class="ttdeci">std::pair< NodeID, NodeID > NodePair</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00111">GeneralType.h:111</a></div></div>
|
|
222
230
|
<div class="ttc" id="acJSON_8cpp_html_a8a1a0a26c50cc4becfc754bb68d1dc6b"><div class="ttname"><a href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a></div><div class="ttdeci">cJSON * a</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02560">cJSON.cpp:2560</a></div></div>
|
|
223
|
-
<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set< Key, Compare, Allocator > OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
224
|
-
<div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector< u32_t > CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
225
|
-
<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
226
|
-
<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
227
|
-
<div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set< NodeID > NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
228
|
-
<div class="ttc" id="anamespaceSVF_html_a5aaae6def1049304d855101a0d4b0b1c"><div class="ttname"><a href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">SVF::NodePairMap</a></div><div class="ttdeci">Map< NodePair, NodeID > NodePairMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
231
|
+
<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set< Key, Compare, Allocator > OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
|
|
232
|
+
<div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector< u32_t > CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00122">GeneralType.h:122</a></div></div>
|
|
233
|
+
<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00057">GeneralType.h:57</a></div></div>
|
|
234
|
+
<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
|
|
235
|
+
<div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set< NodeID > NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00113">GeneralType.h:113</a></div></div>
|
|
236
|
+
<div class="ttc" id="anamespaceSVF_html_a5aaae6def1049304d855101a0d4b0b1c"><div class="ttname"><a href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">SVF::NodePairMap</a></div><div class="ttdeci">Map< NodePair, NodeID > NodePairMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00115">GeneralType.h:115</a></div></div>
|
|
229
237
|
<div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
|
|
230
|
-
<div class="ttc" id="anamespaceSVF_html_a10cddb090690c82a2aab31a480253d35"><div class="ttname"><a href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">SVF::ThreadID</a></div><div class="ttdeci">unsigned ThreadID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
238
|
+
<div class="ttc" id="anamespaceSVF_html_a10cddb090690c82a2aab31a480253d35"><div class="ttname"><a href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">SVF::ThreadID</a></div><div class="ttdeci">unsigned ThreadID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00059">GeneralType.h:59</a></div></div>
|
|
231
239
|
<div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>
|
|
232
|
-
<div class="ttc" id="astructSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4_html_adf5f19b1b32c117571fe74035cdcdbe2"><div class="ttname"><a href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">SVF::Hash< std::pair< S, T > >::szudzik</a></div><div class="ttdeci">static size_t szudzik(size_t a, size_t b)</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
240
|
+
<div class="ttc" id="astructSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4_html_adf5f19b1b32c117571fe74035cdcdbe2"><div class="ttname"><a href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">SVF::Hash< std::pair< S, T > >::szudzik</a></div><div class="ttdeci">static size_t szudzik(size_t a, size_t b)</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00071">GeneralType.h:71</a></div></div>
|
|
233
241
|
<div class="ttc" id="anamespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00045">GeneralType.h:45</a></div></div>
|
|
234
|
-
<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
242
|
+
<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
|
|
235
243
|
<div class="ttc" id="acJSON_8h_html_a1a175e87536301df98c805ac0636ad7c"><div class="ttname"><a href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a></div><div class="ttdeci">const cJSON *const b</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00255">cJSON.h:255</a></div></div>
|
|
236
244
|
<div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
|
|
237
245
|
<!-- start footer part -->
|
|
@@ -644,7 +644,7 @@ $(function() {
|
|
|
644
644
|
<div class="ttc" id="aclassSVF_1_1GenericNode_html_a0931220d7a38e03f206cbdc6465d32ad"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode::hasOutgoingEdge</a></div><div class="ttdeci">bool hasOutgoingEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00209">GenericGraph.h:209</a></div></div>
|
|
645
645
|
<div class="ttc" id="astructSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_html_a309cc7faf9df46d2c9bfeaa2bdcd4601"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a309cc7faf9df46d2c9bfeaa2bdcd4601">SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::graphSize</a></div><div class="ttdeci">static unsigned graphSize(GenericGraphTy *G)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00614">GenericGraph.h:614</a></div></div>
|
|
646
646
|
<div class="ttc" id="astructSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4_html_a4d5646121961284a0c378143058a5e98"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a4d5646121961284a0c378143058a5e98">SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::child_begin</a></div><div class="ttdeci">static ChildIteratorType child_begin(const NodeType *N)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00567">GenericGraph.h:567</a></div></div>
|
|
647
|
-
<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map< Key, Value, Compare, Allocator > OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
647
|
+
<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map< Key, Value, Compare, Allocator > OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
|
|
648
648
|
<div class="ttc" id="aclassSVF_1_1DCHNode_html"><div class="ttname"><a href="classSVF_1_1DCHNode.html">SVF::DCHNode</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00063">DCHG.h:63</a></div></div>
|
|
649
649
|
<div class="ttc" id="astructSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4_html_a938d240530e9f6d28c32a1445f451626"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a938d240530e9f6d28c32a1445f451626">SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::EdgeType</a></div><div class="ttdeci">EdgeTy EdgeType</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00552">GenericGraph.h:552</a></div></div>
|
|
650
650
|
<div class="ttc" id="aclassSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00186">GenericGraph.h:186</a></div></div>
|
|
@@ -739,7 +739,7 @@ $(function() {
|
|
|
739
739
|
<div class="ttc" id="aclassSVF_1_1iter__adaptor__base_html_a1c80cc24530dbc29b03bf58500e0d636"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">SVF::iter_adaptor_base< mapped_iter< ItTy, FuncTy >, ItTy, std::iterator_traits< ItTy >::iterator_category, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type >::I</a></div><div class="ttdeci">ItTy I</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00242">iterator.h:242</a></div></div>
|
|
740
740
|
<div class="ttc" id="aclassSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
|
|
741
741
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a2fbc96de5f066469c2739229307bcc0c"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">SVF::GenericGraph::edgeNum</a></div><div class="ttdeci">u32_t edgeNum</div><div class="ttdoc">total num of node</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00455">GenericGraph.h:455</a></div></div>
|
|
742
|
-
<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set< Key, Compare, Allocator > OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
742
|
+
<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set< Key, Compare, Allocator > OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
|
|
743
743
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00380">GenericGraph.h:380</a></div></div>
|
|
744
744
|
<div class="ttc" id="aclassSVF_1_1GenericEdge_html_a0e461644bf9a4e50099b38f09222e858"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge::operator==</a></div><div class="ttdeci">virtual bool operator==(const GenericEdge< NodeType > *rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00123">GenericGraph.h:123</a></div></div>
|
|
745
745
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_adf0a205f4f62f33c5fa8f2d544aac633"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633">SVF::GenericGraph::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Release memory.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00373">GenericGraph.h:373</a></div></div>
|
|
@@ -145,7 +145,7 @@ $(function() {
|
|
|
145
145
|
<div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_aa0f5135a232adc1ca42d4f51a3c70704"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">SVF::GrammarBuilder::fileName</a></div><div class="ttdeci">std::string fileName</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00073">GrammarBuilder.h:73</a></div></div>
|
|
146
146
|
<div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00036">CFGrammar.h:36</a></div></div>
|
|
147
147
|
<div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_abad6b574d9f88e2b4ebb6372dc903f62"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">SVF::GrammarBuilder::loadWordProductions</a></div><div class="ttdeci">const std::vector< std::string > loadWordProductions() const</div><div class="ttdoc">Parse whole production string to production vector.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00089">GrammarBuilder.cpp:89</a></div></div>
|
|
148
|
-
<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
148
|
+
<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
|
|
149
149
|
<!-- start footer part -->
|
|
150
150
|
<hr class="footer"/><address class="footer"><small>
|
|
151
151
|
Generated by  <a href="http://www.doxygen.org/index.html">
|
|
@@ -323,7 +323,7 @@ $(function() {
|
|
|
323
323
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
|
|
324
324
|
<div class="ttc" id="aclassSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
|
|
325
325
|
<div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
|
|
326
|
-
<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#
|
|
326
|
+
<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01340">LLVMModule.cpp:1340</a></div></div>
|
|
327
327
|
<div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_af46638008b796fdb491624f32b31d8a3"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#af46638008b796fdb491624f32b31d8a3">SVF::ICFGBuilder::processFunExit</a></div><div class="ttdeci">void processFunExit(const Function *fun)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00156">ICFGBuilder.cpp:156</a></div></div>
|
|
328
328
|
<div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_afbd60d5443c7fa1448813d00bb5d0fa7"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#afbd60d5443c7fa1448813d00bb5d0fa7">SVF::LLVMUtil::getNextInsts</a></div><div class="ttdeci">void getNextInsts(const Instruction *curInst, std::vector< const SVFInstruction * > &instList)</div><div class="ttdoc">Get the next instructions following control flow.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00302">LLVMUtil.cpp:302</a></div></div>
|
|
329
329
|
<div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_ae66565ee32fff4ef5f0157e867333250"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder::build</a></div><div class="ttdeci">void build(SVFModule *svfModule)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00041">ICFGBuilder.cpp:41</a></div></div>
|
|
@@ -172,7 +172,7 @@ $(function() {
|
|
|
172
172
|
<div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_acb5253395384d36767173aa4aa39576b"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#acb5253395384d36767173aa4aa39576b">SVF::ICFGBuilder::processFunEntry</a></div><div class="ttdeci">void processFunEntry(const Function *fun, WorkList &worklist)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00067">ICFGBuilder.cpp:67</a></div></div>
|
|
173
173
|
<div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
|
|
174
174
|
<div class="ttc" id="aclassSVF_1_1ICFGBuilder_html"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html">SVF::ICFGBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8h_source.html#l00040">ICFGBuilder.h:40</a></div></div>
|
|
175
|
-
<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
175
|
+
<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
|
|
176
176
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
|
|
177
177
|
<div class="ttc" id="aclassSVF_1_1InterICFGNode_html"><div class="ttname"><a href="classSVF_1_1InterICFGNode.html">SVF::InterICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00223">ICFGNode.h:223</a></div></div>
|
|
178
178
|
<div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_ae832950bae16346dd25f9e47ee13c34c"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#ae832950bae16346dd25f9e47ee13c34c">SVF::ICFGBuilder::getOrAddBlockICFGNode</a></div><div class="ttdeci">ICFGNode * getOrAddBlockICFGNode(const SVFInstruction *inst)</div><div class="ttdoc">Add/Get a basic block ICFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8h_source.html#l00076">ICFGBuilder.h:76</a></div></div>
|
|
@@ -312,14 +312,14 @@ $(function() {
|
|
|
312
312
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
|
|
313
313
|
<div class="ttc" id="aclassSVF_1_1RetCFGEdge_html_a9a683c1be6cfede369b44bd608693315"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#a9a683c1be6cfede369b44bd608693315">SVF::RetCFGEdge::getCallSite</a></div><div class="ttdeci">const SVFInstruction * getCallSite() const</div><div class="ttdoc">Return callsite ID.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00243">ICFGEdge.h:243</a></div></div>
|
|
314
314
|
<div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a85a07d5b3c293e684a12fafbd4e579a3"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3">SVF::ICFGEdge::ICFGEdgeSetTy</a></div><div class="ttdeci">GenericNode< ICFGNode, ICFGEdge >::GEdgeSetTy ICFGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00090">ICFGEdge.h:90</a></div></div>
|
|
315
|
-
<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
315
|
+
<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00628">SVFStatements.h:628</a></div></div>
|
|
316
316
|
<div class="ttc" id="aclassSVF_1_1GenericEdge_html_a5aceeb48929f54264807b36569019a8a"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">SVF::GenericEdge::GEdgeKind</a></div><div class="ttdeci">s64_t GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00062">GenericGraph.h:62</a></div></div>
|
|
317
317
|
<div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
|
|
318
318
|
<div class="ttc" id="aclassSVF_1_1RetCFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html">SVF::RetCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00227">ICFGEdge.h:227</a></div></div>
|
|
319
319
|
<div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_aea905f535696918ed63cd5ce04b7e0fb"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#aea905f535696918ed63cd5ce04b7e0fb">SVF::IntraCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00130">ICFGEdge.h:130</a></div></div>
|
|
320
320
|
<div class="ttc" id="aclassSVF_1_1GenericEdge_html_aab8892b73370c32b48621cd1d0cce614"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">SVF::GenericEdge::GEdgeFlag</a></div><div class="ttdeci">u64_t GEdgeFlag</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00061">GenericGraph.h:61</a></div></div>
|
|
321
321
|
<div class="ttc" id="aclassSVF_1_1RetCFGEdge_html_ad4bbb9881dff7b715c7a70b92baf376c"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge::retPE</a></div><div class="ttdeci">const RetPE * retPE</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00234">ICFGEdge.h:234</a></div></div>
|
|
322
|
-
<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
322
|
+
<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00568">SVFStatements.h:568</a></div></div>
|
|
323
323
|
<div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a4e6d228dfc678618a423e8293877f04c"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c">SVF::ICFGEdge::isIntraCFGEdge</a></div><div class="ttdeci">bool isIntraCFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00085">ICFGEdge.h:85</a></div></div>
|
|
324
324
|
<div class="ttc" id="aclassSVF_1_1RetCFGEdge_html_a5a461528da9eb46ca190fbd49b41d0d1"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1">SVF::RetCFGEdge::RetCFGEdge</a></div><div class="ttdeci">RetCFGEdge(ICFGNode *s, ICFGNode *d, const SVFInstruction *c)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00238">ICFGEdge.h:238</a></div></div>
|
|
325
325
|
<div class="ttc" id="aclassSVF_1_1CallCFGEdge_html_a2d06b1b7913887fa0b147a5ec3098678"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a2d06b1b7913887fa0b147a5ec3098678">SVF::CallCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00212">ICFGEdge.h:212</a></div></div>
|
|
@@ -348,7 +348,7 @@ $(function() {
|
|
|
348
348
|
<div class="ttc" id="aclassSVF_1_1CallCFGEdge_html_acea0923ca5c08f455af8ba3bcd738dd2"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#acea0923ca5c08f455af8ba3bcd738dd2">SVF::CallCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const GenericICFGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00216">ICFGEdge.h:216</a></div></div>
|
|
349
349
|
<div class="ttc" id="aclassSVF_1_1CallCFGEdge_html_a3f576a9648945907859dd5922f55bcb3"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a3f576a9648945907859dd5922f55bcb3">SVF::CallCFGEdge::cs</a></div><div class="ttdeci">const SVFInstruction * cs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00182">ICFGEdge.h:182</a></div></div>
|
|
350
350
|
<div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_a8ba42f12f31c5f7ff633f60856f973b3"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">SVF::IntraCFGEdge::branchCondVal</a></div><div class="ttdeci">s64_t branchCondVal</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00170">ICFGEdge.h:170</a></div></div>
|
|
351
|
-
<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#
|
|
351
|
+
<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
|
|
352
352
|
<div class="ttc" id="aclassSVF_1_1CallCFGEdge_html_a38b56212fb58934ee50079b1e69ad5ff"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">SVF::CallCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const CallCFGEdge *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00208">ICFGEdge.h:208</a></div></div>
|
|
353
353
|
<div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a3d3813be0b873335b17bb590e130d173"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173">SVF::ICFGEdge::isCFGEdge</a></div><div class="ttdeci">bool isCFGEdge() const</div><div class="ttdoc">Get methods of the components.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00072">ICFGEdge.h:72</a></div></div>
|
|
354
354
|
<div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_a106513578790247f9d96e34c8385b3d8"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a106513578790247f9d96e34c8385b3d8">SVF::IntraCFGEdge::getSuccessorCondValue</a></div><div class="ttdeci">s64_t getSuccessorCondValue() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00145">ICFGEdge.h:145</a></div></div>
|