svf-tools 1.0.461 → 1.0.464
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/html/AndersenSCD_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
- package/SVF-doxygen/html/html/Annotator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/BreakConstantExpr_8cpp.html +1 -1
- package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +16 -16
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
- package/SVF-doxygen/html/html/CHG_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +17 -17
- package/SVF-doxygen/html/html/CPPUtil_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ConsG_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CxtStmt_8h_source.html +3 -3
- package/SVF-doxygen/html/html/DCHG_8cpp_source.html +23 -23
- package/SVF-doxygen/html/html/DCHG_8h_source.html +11 -11
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +3 -3
- package/SVF-doxygen/html/html/DPItem_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +7 -7
- package/SVF-doxygen/html/html/ExeState_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -3
- package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp.html +7 -6
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +51 -50
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +28 -28
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ICFGNode_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +6 -6
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +5 -5
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +16 -16
- package/SVF-doxygen/html/html/LLVMUtil_8h.html +1 -1
- package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +12 -12
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MHP_8cpp.html +2 -2
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/MHP_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +12 -12
- package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +4 -4
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MTA_8h_source.html +4 -4
- package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +3 -3
- package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Options_8cpp_source.html +11 -12
- package/SVF-doxygen/html/html/Options_8h_source.html +11 -12
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +4 -4
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +6 -6
- package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +157 -67
- package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +72 -67
- package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +50 -43
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +43 -42
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +20 -22
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +45 -46
- package/SVF-doxygen/html/html/SVFModule_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +5 -5
- package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFVariables_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +28 -28
- package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/TCT_8h_source.html +8 -8
- package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +4 -4
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +2 -2
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp.html +3 -2
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +45 -44
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +33 -33
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +0 -12
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +71 -76
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -1
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/WPAPass_8h_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1Annotator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +41 -41
- package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CondStdSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CondVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +152 -152
- package/SVF-doxygen/html/html/classSVF_1_1DCHNode.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +117 -117
- package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IteratedDominanceFrontier.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1MemSSADF.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +79 -80
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +11 -37
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTACFInfoBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +94 -95
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +119 -160
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +56 -55
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +125 -81
- package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +129 -129
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +11 -11
- package/SVF-doxygen/html/html/functions_func_g.html +1 -1
- package/SVF-doxygen/html/html/functions_g.html +12 -15
- package/SVF-doxygen/html/html/functions_i.html +3 -3
- package/SVF-doxygen/html/html/functions_l.html +6 -6
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +18 -14
- package/SVF-doxygen/html/html/functions_s.html +13 -15
- package/SVF-doxygen/html/html/functions_t.html +1 -3
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_g.html +0 -3
- package/SVF-doxygen/html/html/functions_w.html +10 -6
- package/SVF-doxygen/html/html/globals_d.html +12 -0
- package/SVF-doxygen/html/html/globals_g.html +5 -2
- package/SVF-doxygen/html/html/globals_s.html +3 -3
- package/SVF-doxygen/html/html/globals_type.html +15 -0
- package/SVF-doxygen/html/html/namespaceSVF.html +35 -131
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +42 -42
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +29 -29
- package/SVF-doxygen/html/html/namespacemembers_d.html +2 -14
- package/SVF-doxygen/html/html/namespacemembers_g.html +2 -5
- package/SVF-doxygen/html/html/namespacemembers_type.html +0 -15
- package/SVF-doxygen/html/html/search/all_10.js +6 -6
- package/SVF-doxygen/html/html/search/all_13.js +12 -12
- package/SVF-doxygen/html/html/search/all_14.js +3 -3
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_4.js +4 -4
- package/SVF-doxygen/html/html/search/all_7.js +2 -3
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +2 -2
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +3 -3
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_3.js +4 -4
- package/SVF-doxygen/html/html/search/typedefs_6.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_7.js +0 -1
- package/SVF-doxygen/html/html/search/variables_e.js +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +3 -3
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +4 -4
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +4 -4
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
- package/include/MemoryModel/SVFIR.h +0 -1
- package/include/SVF-FE/BasicTypes.h +6 -1
- package/include/SVF-FE/SVFIRBuilder.h +1 -0
- package/include/Util/BasicTypes.h +1 -9
- package/include/Util/Options.h +0 -3
- package/lib/MemoryModel/SVFIR.cpp +4 -28
- package/lib/SVF-FE/SVFIRBuilder.cpp +25 -2
- package/lib/Util/Options.cpp +0 -8
- package/lib/WPA/FlowSensitiveTBHC.cpp +1 -0
- package/lib/WPA/TypeAnalysis.cpp +1 -1
- package/lib/WPA/TypeBasedHeapCloning.cpp +1 -0
- package/package.json +1 -1
|
@@ -188,102 +188,101 @@ $(function() {
|
|
|
188
188
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0">getIndirectCallsites</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
189
189
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6f41676ae91ba7fad38cc7387dd1c255">getIntraPAGEdge</a>(NodeID src, NodeID dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
190
190
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac1dbd64071f9822b0404f4ed9c8bd2cd">getIntraPAGEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
191
|
-
<tr><td class="entry"><a class="el" href="
|
|
192
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
193
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
194
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
195
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
196
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
197
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
198
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
199
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
200
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
201
|
-
<tr><td class="entry"><a class="el" href="
|
|
202
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
203
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
204
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
205
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
206
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
207
|
-
<tr><td class="entry"><a class="el" href="
|
|
208
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
209
|
-
<tr><td class="entry"><a class="el" href="
|
|
210
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
211
|
-
<tr><td class="entry"><a class="el" href="
|
|
212
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
213
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
214
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
215
|
-
<tr><td class="entry"><a class="el" href="
|
|
216
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
217
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
218
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
219
|
-
<tr><td class="entry"><a class="el" href="
|
|
220
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
221
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
222
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
223
|
-
<tr><td class="entry"><a class="el" href="
|
|
224
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
225
|
-
<tr><td class="entry"><a class="el" href="
|
|
226
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
227
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
228
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
229
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
230
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
231
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
232
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
233
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
234
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
235
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
236
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
237
|
-
<tr><td class="entry"><a class="el" href="
|
|
238
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
239
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
240
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
241
|
-
<tr><td class="entry"><a class="el" href="
|
|
242
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
243
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
244
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
245
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
246
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
247
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
248
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
249
|
-
<tr><td class="entry"><a class="el" href="
|
|
250
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
251
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
252
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
253
|
-
<tr><td class="entry"><a class="el" href="
|
|
254
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
255
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
256
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
257
|
-
<tr><td class="entry"><a class="el" href="
|
|
258
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
259
|
-
<tr><td class="entry"><a class="el" href="
|
|
260
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
261
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
262
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
263
|
-
<tr><td class="entry"><a class="el" href="
|
|
264
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
265
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
266
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827">PAGBuilderFromFile</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
267
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">phiNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
191
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a4f5792216c6f38c32dac5074862ffc50">getMemObj</a>(const Value *val) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
192
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c">getMemToFieldsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
193
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701">getModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
194
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257">getNodeNumAfterPAGBuild</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
195
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
196
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">getObject</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
197
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">getObject</a>(const ObjVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
198
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1">getObjectNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
199
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a82528aff779ccf8f723f57507dd2d991">getObjectNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
200
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">getPAG</a>(bool buildFromFile=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
201
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a821df0fcb66e4f0a5b10c295c24b7c2c">getPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
202
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#afa015e79aa68b102db44b5a0fd653dc6">getPAGNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
203
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a51485004eb28aab6620801205d13ef1b">getPTAPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
204
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988">getPTASVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
205
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">getPTASVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
206
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910">getReturnNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
207
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">getSVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
208
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">getSVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
209
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
210
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
211
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8">getValueEdges</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
212
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
213
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668">getValueNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
214
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">getVarargNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
215
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323">globSVFStmtSet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
216
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f">handleBlackHole</a>(bool b)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
217
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138">hasCallSiteArgsMap</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
218
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410">hasFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
219
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
220
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">hasLabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
221
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">hasLabeledEdge</a>(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
222
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407">hasNonlabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
223
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0">hasPTASVFStmtList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
224
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654">hasSVFStmtList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
225
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aceb17dfbe137658625e16291127267d1">hasValueNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
226
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
227
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2">icfgNode2PTASVFStmtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
228
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">icfgNode2SVFStmtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
229
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">ICFGNode2SVFStmtsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
230
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
231
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"></td></tr>
|
|
232
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
233
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
234
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc">indCallSiteToFunPtrMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
235
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5">initialiseCandidatePointers</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
236
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28">IRGraph</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
237
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad">isBlkObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
238
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001">isBlkObjOrConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
239
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997">isBlkPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
240
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">isBuiltFromFile</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
241
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">isConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
242
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97">isFunPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
243
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23">isIndirectCallSites</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
244
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507">isNonPointerObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
245
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30">isNullPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
246
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff">isPhiNode</a>(const SVFVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
247
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3">isValidPointer</a>(NodeID nodeId) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
248
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">isValidTopLevelPtr</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
249
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"></td></tr>
|
|
250
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d">KindToPTASVFStmtSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
251
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
252
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aefe3143b33cee00c3c2611fea577c1ac">mapValueToEdge</a>(const Value *V, SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
253
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940">MemObjToFieldsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
254
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252">memToFieldsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
255
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a323e459ca43e239ddcdc8d00c6a8db6d">NodeLocationSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
256
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa5b08d987b37d35e73de88da10a97bc4">NodeLocationSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
257
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"></td></tr>
|
|
258
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">nodeNumAfterPAGBuild</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
259
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7e908658e66155313c3fbf5a52612b6a">NodeOffset</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
260
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d">NodeOffsetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
261
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a">NodePairSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
262
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d">NodeToNodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
263
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"></td></tr>
|
|
264
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aaf86146b5e765d1f278b6d812bf913f5">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
|
|
265
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827">PAGBuilderFromFile</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
268
266
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">PHINodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
269
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
270
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
271
|
-
<tr><td class="entry"><a class="el" href="
|
|
272
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
273
|
-
<tr><td class="entry"><a class="el" href="
|
|
274
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
275
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
276
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
277
|
-
<tr><td class="entry"><a class="el" href="
|
|
278
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
279
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
280
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
281
|
-
<tr><td class="entry"><a class="el" href="
|
|
282
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
283
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
284
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
285
|
-
<tr><td class="entry"><a class="el" href="
|
|
286
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
267
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">phiNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
268
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a236b4fefd16e9c793c5bd6d576290841">print</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
269
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e">releaseSVFIR</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
270
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
271
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0">setNodeNumAfterPAGBuild</a>(u32_t num)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
272
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636">SVFIR</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
273
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b">SVFIRBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
274
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVFStmtList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
275
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
|
|
276
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
277
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
278
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
279
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446">TypeBasedHeapCloning</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
280
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">ValueToEdgeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
|
|
281
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
282
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
|
|
283
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
284
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a2085d6895363c2ff7b757eb58f3f4cea">~IRGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
285
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3d62b2a06fe1ec531cbde12131fa31df">~SVFIR</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
287
286
|
</table></div><!-- contents -->
|
|
288
287
|
<!-- start footer part -->
|
|
289
288
|
<hr class="footer"/><address class="footer"><small>
|