svf-tools 1.0.342 → 1.0.346
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 +2 -2
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +7 -7
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/DDAClient_8h_source.html +3 -3
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +7 -7
- package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FSMPTA_8h_source.html +3 -3
- package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +7 -7
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +2 -2
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +15 -15
- package/SVF-doxygen/html/html/ICFGNode_8h.html +7 -7
- package/SVF-doxygen/html/html/ICFGNode_8h_source.html +69 -69
- package/SVF-doxygen/html/html/ICFGStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +45 -44
- package/SVF-doxygen/html/html/ICFG_8h_source.html +34 -34
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/LeakChecker_8h_source.html +6 -6
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +5 -5
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/MHP_8h_source.html +6 -6
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +9 -9
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +26 -26
- package/SVF-doxygen/html/html/MemRegion_8h_source.html +18 -18
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +12 -12
- package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +41 -41
- package/SVF-doxygen/html/html/NodeIDAllocator_8h_source.html +47 -46
- package/SVF-doxygen/html/html/Options_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PCG_8h_source.html +4 -4
- package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +17 -17
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +16 -16
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +17 -17
- package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/ProgSlice_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +17 -17
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +9 -9
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +31 -31
- package/SVF-doxygen/html/html/SVFG_8h_source.html +27 -27
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +13 -13
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +31 -31
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +14 -14
- package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +7 -7
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/TCT_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +15 -15
- package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +20 -20
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +2 -2
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +11 -11
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +19 -19
- package/SVF-doxygen/html/html/VFG_8h_source.html +19 -19
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/annotated.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +51 -51
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +34 -34
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +38 -38
- package/SVF-doxygen/html/html/classSVF_1_1CallCHI-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode-members.html +158 -0
- package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +852 -0
- package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CallMU-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +31 -31
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +60 -60
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG-members.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +51 -51
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +33 -33
- package/SVF-doxygen/html/html/classSVF_1_1FileChecker-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +52 -52
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +45 -45
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +33 -33
- package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +19 -19
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode-members.html +150 -0
- package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +618 -0
- package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode-members.html +149 -0
- package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +624 -0
- package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode-members.html +144 -0
- package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +413 -0
- package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1HareParForEdge-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1HareParForEdge.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +191 -184
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +69 -66
- package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter-members.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG-members.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +51 -51
- package/SVF-doxygen/html/html/classSVF_1_1InterICFGNode-members.html +144 -0
- package/SVF-doxygen/html/html/classSVF_1_1InterICFGNode.html +399 -0
- package/SVF-doxygen/html/html/classSVF_1_1InterICFGNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG-members.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +51 -51
- package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode-members.html +146 -0
- package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +494 -0
- package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +61 -61
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1MHP-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator-members.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +196 -196
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA-members.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +77 -77
- package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator-members.html +5 -4
- package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator.html +43 -39
- package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +90 -90
- package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PCG-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph-members.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +118 -118
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +107 -107
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode-members.html +153 -0
- package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +696 -0
- package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +159 -159
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +76 -76
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +19 -19
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +132 -132
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +58 -58
- package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1TCT-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph-members.html +40 -40
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +220 -220
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +41 -41
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1VFG-members.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +96 -96
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +39 -39
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +12 -12
- package/SVF-doxygen/html/html/classes.html +16 -16
- package/SVF-doxygen/html/html/functions_a.html +59 -59
- package/SVF-doxygen/html/html/functions_c.html +65 -67
- package/SVF-doxygen/html/html/functions_eval_r.html +3 -0
- package/SVF-doxygen/html/html/functions_f.html +14 -14
- package/SVF-doxygen/html/html/functions_func.html +56 -56
- package/SVF-doxygen/html/html/functions_func_c.html +28 -28
- package/SVF-doxygen/html/html/functions_func_f.html +6 -6
- package/SVF-doxygen/html/html/functions_func_g.html +86 -86
- package/SVF-doxygen/html/html/functions_func_h.html +17 -17
- package/SVF-doxygen/html/html/functions_func_i.html +12 -12
- package/SVF-doxygen/html/html/functions_func_m.html +1 -1
- package/SVF-doxygen/html/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/html/functions_func_r.html +6 -6
- package/SVF-doxygen/html/html/functions_func_s.html +2 -2
- package/SVF-doxygen/html/html/functions_func_t.html +7 -7
- package/SVF-doxygen/html/html/functions_func_u.html +3 -3
- package/SVF-doxygen/html/html/functions_g.html +88 -88
- package/SVF-doxygen/html/html/functions_h.html +16 -16
- package/SVF-doxygen/html/html/functions_i.html +22 -22
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_m.html +2 -2
- package/SVF-doxygen/html/html/functions_o.html +13 -13
- package/SVF-doxygen/html/html/functions_p.html +14 -14
- package/SVF-doxygen/html/html/functions_r.html +13 -12
- package/SVF-doxygen/html/html/functions_s.html +13 -13
- package/SVF-doxygen/html/html/functions_t.html +12 -14
- package/SVF-doxygen/html/html/functions_type.html +1 -1
- package/SVF-doxygen/html/html/functions_type_c.html +24 -24
- package/SVF-doxygen/html/html/functions_type_f.html +3 -3
- package/SVF-doxygen/html/html/functions_type_i.html +2 -2
- package/SVF-doxygen/html/html/functions_type_p.html +1 -1
- package/SVF-doxygen/html/html/functions_type_s.html +1 -1
- package/SVF-doxygen/html/html/functions_type_v.html +2 -2
- package/SVF-doxygen/html/html/functions_u.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +8 -8
- package/SVF-doxygen/html/html/functions_vars_a.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_c.html +11 -11
- package/SVF-doxygen/html/html/functions_vars_f.html +5 -5
- package/SVF-doxygen/html/html/functions_vars_g.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_i.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_r.html +1 -1
- package/SVF-doxygen/html/html/functions_w.html +9 -5
- package/SVF-doxygen/html/html/hierarchy.html +7 -7
- package/SVF-doxygen/html/html/namespaceSVF.html +11 -11
- package/SVF-doxygen/html/html/search/all_1.js +58 -58
- package/SVF-doxygen/html/html/search/all_10.js +8 -8
- package/SVF-doxygen/html/html/search/all_12.js +8 -7
- package/SVF-doxygen/html/html/search/all_13.js +11 -11
- package/SVF-doxygen/html/html/search/all_14.js +8 -8
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +4 -4
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +35 -34
- package/SVF-doxygen/html/html/search/all_6.js +12 -12
- package/SVF-doxygen/html/html/search/all_7.js +62 -61
- package/SVF-doxygen/html/html/search/all_8.js +17 -17
- package/SVF-doxygen/html/html/search/all_9.js +16 -16
- package/SVF-doxygen/html/html/search/all_c.js +2 -2
- package/SVF-doxygen/html/html/search/all_d.js +5 -5
- package/SVF-doxygen/html/html/search/all_e.js +3 -3
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/classes_2.js +1 -1
- package/SVF-doxygen/html/html/search/classes_5.js +2 -2
- package/SVF-doxygen/html/html/search/classes_6.js +1 -1
- package/SVF-doxygen/html/html/search/classes_8.js +2 -2
- package/SVF-doxygen/html/html/search/classes_e.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_e.js +2 -1
- package/SVF-doxygen/html/html/search/functions_0.js +55 -55
- package/SVF-doxygen/html/html/search/functions_10.js +3 -3
- package/SVF-doxygen/html/html/search/functions_11.js +4 -4
- package/SVF-doxygen/html/html/search/functions_12.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +10 -10
- package/SVF-doxygen/html/html/search/functions_5.js +4 -4
- package/SVF-doxygen/html/html/search/functions_6.js +61 -61
- package/SVF-doxygen/html/html/search/functions_7.js +17 -17
- package/SVF-doxygen/html/html/search/functions_8.js +12 -12
- package/SVF-doxygen/html/html/search/functions_b.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/functions_f.js +4 -4
- package/SVF-doxygen/html/html/search/typedefs_0.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_11.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_14.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_2.js +21 -21
- package/SVF-doxygen/html/html/search/typedefs_5.js +3 -3
- package/SVF-doxygen/html/html/search/typedefs_8.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
- package/SVF-doxygen/html/html/search/variables_1.js +2 -2
- package/SVF-doxygen/html/html/search/variables_12.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +4 -4
- package/SVF-doxygen/html/html/search/variables_6.js +5 -5
- package/SVF-doxygen/html/html/search/variables_7.js +1 -1
- package/SVF-doxygen/html/html/search/variables_9.js +1 -1
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +22 -22
- package/include/DDA/ContextDDA.h +3 -3
- package/include/DDA/DDAClient.h +2 -2
- package/include/DDA/DDAVFSolver.h +2 -2
- package/include/DDA/FlowDDA.h +2 -2
- package/include/Graphs/ICFG.h +33 -33
- package/include/Graphs/ICFGNode.h +33 -33
- package/include/Graphs/ICFGStat.h +11 -11
- package/include/Graphs/PTACallGraph.h +19 -19
- package/include/Graphs/SVFG.h +16 -16
- package/include/Graphs/SVFGNode.h +14 -14
- package/include/Graphs/SVFGOPT.h +1 -1
- package/include/Graphs/ThreadCallGraph.h +25 -25
- package/include/Graphs/VFG.h +10 -10
- package/include/Graphs/VFGNode.h +8 -8
- package/include/MSSA/MSSAMuChi.h +6 -6
- package/include/MSSA/MemRegion.h +24 -24
- package/include/MSSA/MemSSA.h +10 -10
- package/include/MTA/LockResultValidator.h +2 -2
- package/include/MTA/MHP.h +4 -4
- package/include/MTA/PCG.h +1 -1
- package/include/MTA/TCT.h +2 -2
- package/include/MemoryModel/PointerAnalysis.h +12 -12
- package/include/MemoryModel/SVFIR.h +21 -21
- package/include/MemoryModel/SVFStatements.h +11 -11
- package/include/SABER/LeakChecker.h +4 -4
- package/include/SABER/ProgSlice.h +2 -2
- package/include/SABER/SaberCheckerAPI.h +4 -4
- package/include/SABER/SaberSVFGBuilder.h +1 -1
- package/include/SABER/SrcSnkDDA.h +1 -1
- package/include/SVF-FE/ICFGBuilder.h +4 -4
- package/include/SVF-FE/SVFIRBuilder.h +5 -5
- package/include/Util/NodeIDAllocator.h +3 -0
- package/lib/DDA/ContextDDA.cpp +3 -3
- package/lib/DDA/DDAClient.cpp +1 -1
- package/lib/DDA/FlowDDA.cpp +1 -1
- package/lib/Graphs/ICFG.cpp +55 -50
- package/lib/Graphs/PTACallGraph.cpp +5 -5
- package/lib/Graphs/SVFG.cpp +7 -7
- package/lib/Graphs/ThreadCallGraph.cpp +6 -6
- package/lib/Graphs/VFG.cpp +6 -6
- package/lib/MSSA/MemRegion.cpp +17 -17
- package/lib/MSSA/MemSSA.cpp +3 -3
- package/lib/MTA/LockAnalysis.cpp +4 -4
- package/lib/MTA/MHP.cpp +5 -5
- package/lib/MTA/MTAResultValidator.cpp +1 -1
- package/lib/MTA/PCG.cpp +1 -1
- package/lib/MemoryModel/PointerAnalysis.cpp +10 -10
- package/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -1
- package/lib/MemoryModel/SVFIR.cpp +5 -5
- package/lib/SABER/DoubleFreeChecker.cpp +1 -1
- package/lib/SABER/FileChecker.cpp +2 -2
- package/lib/SABER/LeakChecker.cpp +8 -8
- package/lib/SABER/ProgSlice.cpp +2 -2
- package/lib/SVF-FE/CallGraphBuilder.cpp +4 -4
- package/lib/SVF-FE/Graph2Json.cpp +5 -5
- package/lib/SVF-FE/ICFGBuilder.cpp +31 -25
- package/lib/SVF-FE/SVFIRBuilder.cpp +8 -8
- package/lib/Util/NodeIDAllocator.cpp +12 -0
- package/lib/Util/Options.cpp +2 -1
- package/lib/Util/TypeBasedHeapCloning.cpp +1 -1
- package/lib/WPA/Andersen.cpp +3 -3
- package/lib/WPA/FlowSensitive.cpp +2 -2
- package/lib/WPA/TypeAnalysis.cpp +1 -1
- package/lib/WPA/VersionedFlowSensitive.cpp +4 -4
- package/lib/WPA/WPAPass.cpp +4 -4
- package/package.json +1 -1
|
@@ -123,15 +123,15 @@ Public Member Functions</h2></td></tr>
|
|
|
123
123
|
<tr class="memitem:a1b9d1ad76785ae0eb07979aa75325640 inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">hasSVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
|
|
124
124
|
<tr class="memdesc:a1b9d1ad76785ae0eb07979aa75325640 inherit pub_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Whether has the SVFGNode. <a href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">More...</a><br /></td></tr>
|
|
125
125
|
<tr class="separator:a1b9d1ad76785ae0eb07979aa75325640 inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
126
|
-
<tr class="memitem:
|
|
127
|
-
<tr class="memdesc:
|
|
128
|
-
<tr class="separator:
|
|
126
|
+
<tr class="memitem:a49fc2c505720d5cfa57231529d1c7534 inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534">getInterVFEdgesForIndirectCallSite</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *callee, <a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFGEdgeSetTy</a> &edges)</td></tr>
|
|
127
|
+
<tr class="memdesc:a49fc2c505720d5cfa57231529d1c7534 inherit pub_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Get all inter value flow edges of a indirect call site. <a href="classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534">More...</a><br /></td></tr>
|
|
128
|
+
<tr class="separator:a49fc2c505720d5cfa57231529d1c7534 inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
129
129
|
<tr class="memitem:a5fdaddc52e7342b834d76d64c1a1e498 inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498">dump</a> (const std::string &file, bool simple=false)</td></tr>
|
|
130
130
|
<tr class="memdesc:a5fdaddc52e7342b834d76d64c1a1e498 inherit pub_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Dump graph into dot file. <a href="classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498">More...</a><br /></td></tr>
|
|
131
131
|
<tr class="separator:a5fdaddc52e7342b834d76d64c1a1e498 inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
132
|
-
<tr class="memitem:
|
|
133
|
-
<tr class="memdesc:
|
|
134
|
-
<tr class="separator:
|
|
132
|
+
<tr class="memitem:aefca97f043b3e220ef6012a049b83fdf inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#aefca97f043b3e220ef6012a049b83fdf">connectCallerAndCallee</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *callee, <a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFGEdgeSetTy</a> &edges)</td></tr>
|
|
133
|
+
<tr class="memdesc:aefca97f043b3e220ef6012a049b83fdf inherit pub_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Connect <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> nodes between caller and callee for indirect call site. <a href="classSVF_1_1SVFG.html#aefca97f043b3e220ef6012a049b83fdf">More...</a><br /></td></tr>
|
|
134
|
+
<tr class="separator:aefca97f043b3e220ef6012a049b83fdf inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
135
135
|
<tr class="memitem:a8e7a945f4266e8dc7dcfff2ad6494bfb inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">getDefSVFGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *pagNode) const</td></tr>
|
|
136
136
|
<tr class="memdesc:a8e7a945f4266e8dc7dcfff2ad6494bfb inherit pub_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Given a pagNode, return its definition site. <a href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">More...</a><br /></td></tr>
|
|
137
137
|
<tr class="separator:a8e7a945f4266e8dc7dcfff2ad6494bfb inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -143,9 +143,9 @@ Public Member Functions</h2></td></tr>
|
|
|
143
143
|
<tr class="memitem:ae2cff3c963136f474fac0a66aa8cff7b inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b">isFunEntrySVFGNode</a> (const <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> *node) const</td></tr>
|
|
144
144
|
<tr class="memdesc:ae2cff3c963136f474fac0a66aa8cff7b inherit pub_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Whether a node is function entry SVFGNode. <a href="classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b">More...</a><br /></td></tr>
|
|
145
145
|
<tr class="separator:ae2cff3c963136f474fac0a66aa8cff7b inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
146
|
-
<tr class="memitem:
|
|
147
|
-
<tr class="memdesc:
|
|
148
|
-
<tr class="separator:
|
|
146
|
+
<tr class="memitem:ad189e45b0c810e68566ccc3bdb3f2e59 inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59">isCallSiteRetSVFGNode</a> (const <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> *node) const</td></tr>
|
|
147
|
+
<tr class="memdesc:ad189e45b0c810e68566ccc3bdb3f2e59 inherit pub_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Whether a node is callsite return SVFGNode. <a href="classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59">More...</a><br /></td></tr>
|
|
148
|
+
<tr class="separator:ad189e45b0c810e68566ccc3bdb3f2e59 inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
149
149
|
<tr class="memitem:a931d8b82e10a54d68c68cf6bd80264be inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be">removeSVFGEdge</a> (<a class="el" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a> *edge)</td></tr>
|
|
150
150
|
<tr class="memdesc:a931d8b82e10a54d68c68cf6bd80264be inherit pub_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Remove a <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> edge. <a href="classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be">More...</a><br /></td></tr>
|
|
151
151
|
<tr class="separator:a931d8b82e10a54d68c68cf6bd80264be inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -160,20 +160,20 @@ Public Member Functions</h2></td></tr>
|
|
|
160
160
|
<tr class="separator:ac965abfbe9bdc872f98b36a171a7b5aa inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
161
161
|
<tr class="memitem:a8dd513e8e5343beeb5d117c1ff4e45ea inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html">DummyVersionPropSVFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea">addDummyVersionPropSVFGNode</a> (const <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> object, const <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> version)</td></tr>
|
|
162
162
|
<tr class="separator:a8dd513e8e5343beeb5d117c1ff4e45ea inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
163
|
-
<tr class="memitem:
|
|
164
|
-
<tr class="memdesc:
|
|
165
|
-
<tr class="separator:
|
|
166
|
-
<tr class="memitem:
|
|
167
|
-
<tr class="separator:
|
|
163
|
+
<tr class="memitem:a21577bc4b4e55b23aa55083f5321b399 inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399">hasActualINSVFGNodes</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs) const</td></tr>
|
|
164
|
+
<tr class="memdesc:a21577bc4b4e55b23aa55083f5321b399 inherit pub_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Has a SVFGNode. <a href="classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399">More...</a><br /></td></tr>
|
|
165
|
+
<tr class="separator:a21577bc4b4e55b23aa55083f5321b399 inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
166
|
+
<tr class="memitem:ab1fde654cc464c5b4d1bafff83d346ed inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed">hasActualOUTSVFGNodes</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs) const</td></tr>
|
|
167
|
+
<tr class="separator:ab1fde654cc464c5b4d1bafff83d346ed inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
168
168
|
<tr class="memitem:a65f28035e0fa5bebf76d28612b2f8ba8 inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8">hasFormalINSVFGNodes</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun) const</td></tr>
|
|
169
169
|
<tr class="separator:a65f28035e0fa5bebf76d28612b2f8ba8 inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
170
170
|
<tr class="memitem:a1f8c60ad57bf473e0186b794d666b5c2 inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2">hasFormalOUTSVFGNodes</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun) const</td></tr>
|
|
171
171
|
<tr class="separator:a1f8c60ad57bf473e0186b794d666b5c2 inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
172
|
-
<tr class="memitem:
|
|
173
|
-
<tr class="memdesc:
|
|
174
|
-
<tr class="separator:
|
|
175
|
-
<tr class="memitem:
|
|
176
|
-
<tr class="separator:
|
|
172
|
+
<tr class="memitem:a475205e221890204c7770c414ee63975 inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a">ActualINSVFGNodeSet</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975">getActualINSVFGNodes</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
|
|
173
|
+
<tr class="memdesc:a475205e221890204c7770c414ee63975 inherit pub_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Get SVFGNode set. <a href="classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975">More...</a><br /></td></tr>
|
|
174
|
+
<tr class="separator:a475205e221890204c7770c414ee63975 inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
175
|
+
<tr class="memitem:a5b7ae610bee28acc2905ca82928e714f inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99">ActualOUTSVFGNodeSet</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f">getActualOUTSVFGNodes</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
|
|
176
|
+
<tr class="separator:a5b7ae610bee28acc2905ca82928e714f inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
177
177
|
<tr class="memitem:a9d0714075d6071c26d26cf16c4dec7c5 inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5">FormalINSVFGNodeSet</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a9d0714075d6071c26d26cf16c4dec7c5">getFormalINSVFGNodes</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
|
|
178
178
|
<tr class="separator:a9d0714075d6071c26d26cf16c4dec7c5 inherit pub_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
179
179
|
<tr class="memitem:a287c337697eed7d92889bca0a0e370d7 inherit pub_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0">FormalOUTSVFGNodeSet</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a287c337697eed7d92889bca0a0e370d7">getFormalOUTSVFGNodes</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
|
|
@@ -238,11 +238,11 @@ Public Member Functions</h2></td></tr>
|
|
|
238
238
|
<tr class="memitem:a84cf5facb15e1d598c2527fba0c7634d inherit pub_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d">addVFGEdge</a> (<a class="el" href="classSVF_1_1VFGEdge.html">VFGEdge</a> *edge)</td></tr>
|
|
239
239
|
<tr class="memdesc:a84cf5facb15e1d598c2527fba0c7634d inherit pub_methods_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">Add <a class="el" href="classSVF_1_1VFG.html">VFG</a> edge. <a href="classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d">More...</a><br /></td></tr>
|
|
240
240
|
<tr class="separator:a84cf5facb15e1d598c2527fba0c7634d inherit pub_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
241
|
-
<tr class="memitem:
|
|
242
|
-
<tr class="memdesc:
|
|
243
|
-
<tr class="separator:
|
|
244
|
-
<tr class="memitem:
|
|
245
|
-
<tr class="separator:
|
|
241
|
+
<tr class="memitem:a5f82b3c2e8e6412e2781b960ffa98387 inherit pub_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387">getCallSiteID</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *func) const</td></tr>
|
|
242
|
+
<tr class="memdesc:a5f82b3c2e8e6412e2781b960ffa98387 inherit pub_methods_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">Get callsite given a callsiteID. <a href="classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387">More...</a><br /></td></tr>
|
|
243
|
+
<tr class="separator:a5f82b3c2e8e6412e2781b960ffa98387 inherit pub_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
244
|
+
<tr class="memitem:a246cce511b8e9164a7c1760d1983f492 inherit pub_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a246cce511b8e9164a7c1760d1983f492">getCallSite</a> (<a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> id) const</td></tr>
|
|
245
|
+
<tr class="separator:a246cce511b8e9164a7c1760d1983f492 inherit pub_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
246
246
|
<tr class="memitem:a32b1586d326fbe47080bd1fa2d3270e6 inherit pub_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1StmtVFGNode.html">StmtVFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6">getStmtVFGNode</a> (const <a class="el" href="namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152">PAGEdge</a> *pagEdge) const</td></tr>
|
|
247
247
|
<tr class="memdesc:a32b1586d326fbe47080bd1fa2d3270e6 inherit pub_methods_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">Get an <a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a>. <a href="classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6">More...</a><br /></td></tr>
|
|
248
248
|
<tr class="separator:a32b1586d326fbe47080bd1fa2d3270e6 inherit pub_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -256,8 +256,8 @@ Public Member Functions</h2></td></tr>
|
|
|
256
256
|
<tr class="separator:a47609382fcd9ef36706e1d0f0531a843 inherit pub_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
257
257
|
<tr class="memitem:a9215c1d7f1152967f0731057a085e793 inherit pub_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CmpVFGNode.html">CmpVFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793">getCmpVFGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *pagNode) const</td></tr>
|
|
258
258
|
<tr class="separator:a9215c1d7f1152967f0731057a085e793 inherit pub_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
259
|
-
<tr class="memitem:
|
|
260
|
-
<tr class="separator:
|
|
259
|
+
<tr class="memitem:a6bbfe457dcc7104e6928323499ea964e inherit pub_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">ActualParmVFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a6bbfe457dcc7104e6928323499ea964e">getActualParmVFGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *aparm, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs) const</td></tr>
|
|
260
|
+
<tr class="separator:a6bbfe457dcc7104e6928323499ea964e inherit pub_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
261
261
|
<tr class="memitem:a0b072e8e45899b89da0a466140563c38 inherit pub_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">ActualRetVFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a0b072e8e45899b89da0a466140563c38">getActualRetVFGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *aret) const</td></tr>
|
|
262
262
|
<tr class="separator:a0b072e8e45899b89da0a466140563c38 inherit pub_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
263
263
|
<tr class="memitem:a75eb519e4f89a116db98fccb263af4d6 inherit pub_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1FormalParmVFGNode.html">FormalParmVFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a75eb519e4f89a116db98fccb263af4d6">getFormalParmVFGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *fparm) const</td></tr>
|
|
@@ -335,9 +335,9 @@ Protected Member Functions</h2></td></tr>
|
|
|
335
335
|
<tr class="memdesc:af4d2c6d2e3b316b256f860801fe3b178"><td class="mdescLeft"> </td><td class="mdescRight">Start building <a class="el" href="classSVF_1_1SVFG.html">SVFG</a>. <a href="#af4d2c6d2e3b316b256f860801fe3b178">More...</a><br /></td></tr>
|
|
336
336
|
<tr class="separator:af4d2c6d2e3b316b256f860801fe3b178"><td class="memSeparator" colspan="2"> </td></tr>
|
|
337
337
|
<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
|
|
338
|
-
<tr class="memitem:
|
|
339
|
-
<tr class="memdesc:
|
|
340
|
-
<tr class="separator:
|
|
338
|
+
<tr class="memitem:a5e65ac95b96fb87a11a765c51f366ec1"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGOPT.html#a5e65ac95b96fb87a11a765c51f366ec1">connectAParamAndFParam</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *cs_arg, const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *fun_arg, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *, <a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> csId, <a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFGEdgeSetTy</a> &edges)</td></tr>
|
|
339
|
+
<tr class="memdesc:a5e65ac95b96fb87a11a765c51f366ec1"><td class="mdescLeft"> </td><td class="mdescRight">Connect <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> nodes between caller and callee for indirect call sites. <a href="#a5e65ac95b96fb87a11a765c51f366ec1">More...</a><br /></td></tr>
|
|
340
|
+
<tr class="separator:a5e65ac95b96fb87a11a765c51f366ec1"><td class="memSeparator" colspan="2"> </td></tr>
|
|
341
341
|
<tr class="memitem:aad3217fa932738ab8ba09e1e9f48ac56"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGOPT.html#aad3217fa932738ab8ba09e1e9f48ac56">connectFRetAndARet</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *fun_ret, const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *cs_ret, <a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> csId, <a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFGEdgeSetTy</a> &edges)</td></tr>
|
|
342
342
|
<tr class="memdesc:aad3217fa932738ab8ba09e1e9f48ac56"><td class="mdescLeft"> </td><td class="mdescRight">Connect formal-ret and actual ret. <a href="#aad3217fa932738ab8ba09e1e9f48ac56">More...</a><br /></td></tr>
|
|
343
343
|
<tr class="separator:aad3217fa932738ab8ba09e1e9f48ac56"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -378,18 +378,18 @@ Protected Member Functions</h2></td></tr>
|
|
|
378
378
|
<tr class="memitem:a88e1f6f77421c5274ceeb14928bdcb43 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">addSVFGNode</a> (<a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> *node, <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *icfgNode)</td></tr>
|
|
379
379
|
<tr class="memdesc:a88e1f6f77421c5274ceeb14928bdcb43 inherit pro_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Add <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. <a href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">More...</a><br /></td></tr>
|
|
380
380
|
<tr class="separator:a88e1f6f77421c5274ceeb14928bdcb43 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
381
|
-
<tr class="memitem:
|
|
382
|
-
<tr class="memdesc:
|
|
383
|
-
<tr class="separator:
|
|
384
|
-
<tr class="memitem:
|
|
385
|
-
<tr class="memdesc:
|
|
386
|
-
<tr class="separator:
|
|
387
|
-
<tr class="memitem:
|
|
388
|
-
<tr class="memdesc:
|
|
389
|
-
<tr class="separator:
|
|
390
|
-
<tr class="memitem:
|
|
391
|
-
<tr class="memdesc:
|
|
392
|
-
<tr class="separator:
|
|
381
|
+
<tr class="memitem:ab4690114393820f580e805d2e0d6a41d inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d">addFormalINSVFGNode</a> (const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *funEntry, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *resVer, const <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId)</td></tr>
|
|
382
|
+
<tr class="memdesc:ab4690114393820f580e805d2e0d6a41d inherit pro_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Add memory Function entry chi <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. <a href="classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d">More...</a><br /></td></tr>
|
|
383
|
+
<tr class="separator:ab4690114393820f580e805d2e0d6a41d inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
384
|
+
<tr class="memitem:a804824faa3a042cb1b63edd9e9eb7207 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207">addFormalOUTSVFGNode</a> (const <a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a> *funExit, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *ver, const <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId)</td></tr>
|
|
385
|
+
<tr class="memdesc:a804824faa3a042cb1b63edd9e9eb7207 inherit pro_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Add memory Function return mu <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. <a href="classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207">More...</a><br /></td></tr>
|
|
386
|
+
<tr class="separator:a804824faa3a042cb1b63edd9e9eb7207 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
387
|
+
<tr class="memitem:a923924d3887c668b355f4029502a3754 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754">addActualINSVFGNode</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *callsite, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *ver, const <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId)</td></tr>
|
|
388
|
+
<tr class="memdesc:a923924d3887c668b355f4029502a3754 inherit pro_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Add memory callsite mu <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. <a href="classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754">More...</a><br /></td></tr>
|
|
389
|
+
<tr class="separator:a923924d3887c668b355f4029502a3754 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
390
|
+
<tr class="memitem:a74aa824a68f99756ac3e65231c7bc2e9 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9">addActualOUTSVFGNode</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *callsite, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *resVer, const <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId)</td></tr>
|
|
391
|
+
<tr class="memdesc:a74aa824a68f99756ac3e65231c7bc2e9 inherit pro_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Add memory callsite chi <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. <a href="classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9">More...</a><br /></td></tr>
|
|
392
|
+
<tr class="separator:a74aa824a68f99756ac3e65231c7bc2e9 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
393
393
|
<tr class="memitem:a0554abe7c072b66ab24a900284646572 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572">addIntraMSSAPHISVFGNode</a> (<a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *BlockICFGNode, const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *>::<a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a> opVerBegin, const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *>::<a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a> opVerEnd, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *resVer, const <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId)</td></tr>
|
|
394
394
|
<tr class="memdesc:a0554abe7c072b66ab24a900284646572 inherit pro_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Add memory SSA PHI <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. <a href="classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572">More...</a><br /></td></tr>
|
|
395
395
|
<tr class="separator:a0554abe7c072b66ab24a900284646572 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -402,9 +402,9 @@ Protected Member Functions</h2></td></tr>
|
|
|
402
402
|
<tr class="separator:a8ebf0e285c69db8332a1f8914d6190f6 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
403
403
|
<tr class="memitem:a1aba3845bad017f81cd5f938db03a161 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161">addThreadMHPIndirectVFEdge</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> srcId, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dstId, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &cpts)</td></tr>
|
|
404
404
|
<tr class="separator:a1aba3845bad017f81cd5f938db03a161 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
405
|
-
<tr class="memitem:
|
|
406
|
-
<tr class="memdesc:
|
|
407
|
-
<tr class="separator:
|
|
405
|
+
<tr class="memitem:ac1acdf7bc468d7734359591e45f485fe inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#ac1acdf7bc468d7734359591e45f485fe">getInterVFEdgeAtIndCSFromAPToFP</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *cs_arg, const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *fun_arg, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *, <a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> csId, <a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFGEdgeSetTy</a> &edges)</td></tr>
|
|
406
|
+
<tr class="memdesc:ac1acdf7bc468d7734359591e45f485fe inherit pro_methods_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">Get inter value flow edges between indirect call site and callee. <a href="classSVF_1_1SVFG.html#ac1acdf7bc468d7734359591e45f485fe">More...</a><br /></td></tr>
|
|
407
|
+
<tr class="separator:ac1acdf7bc468d7734359591e45f485fe inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
408
408
|
<tr class="memitem:ab2b969b7d5922427622dd875e6b8fe14 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#ab2b969b7d5922427622dd875e6b8fe14">getInterVFEdgeAtIndCSFromFRToAR</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *fun_ret, const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *cs_ret, <a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> csId, <a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFGEdgeSetTy</a> &edges)</td></tr>
|
|
409
409
|
<tr class="separator:ab2b969b7d5922427622dd875e6b8fe14 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
410
410
|
<tr class="memitem:afbaf925e1e165f75161999229fa5f782 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782">getInterVFEdgeAtIndCSFromAInToFIn</a> (<a class="el" href="classSVF_1_1ActualINSVFGNode.html">ActualINSVFGNode</a> *actualIn, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *callee, <a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFGEdgeSetTy</a> &edges)</td></tr>
|
|
@@ -428,10 +428,10 @@ Protected Member Functions</h2></td></tr>
|
|
|
428
428
|
<tr class="separator:a23ca21b90feca5e7d00c9ba9f489374a inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
429
429
|
<tr class="memitem:a32378226c18a0b1e22271a2338a635f6 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6">hasFuncRetMu</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *func) const</td></tr>
|
|
430
430
|
<tr class="separator:a32378226c18a0b1e22271a2338a635f6 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
431
|
-
<tr class="memitem:
|
|
432
|
-
<tr class="separator:
|
|
433
|
-
<tr class="memitem:
|
|
434
|
-
<tr class="separator:
|
|
431
|
+
<tr class="memitem:ad9cc1581261182b56ae232d9a9b13296 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296">hasCallSiteChi</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs) const</td></tr>
|
|
432
|
+
<tr class="separator:ad9cc1581261182b56ae232d9a9b13296 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
433
|
+
<tr class="memitem:a842f6f2325c9e93ea96367e9cf624ee8 inherit pro_methods_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8">hasCallSiteMu</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs) const</td></tr>
|
|
434
|
+
<tr class="separator:a842f6f2325c9e93ea96367e9cf624ee8 inherit pro_methods_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
435
435
|
<tr class="inherit_header pro_methods_classSVF_1_1VFG"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1VFG')"><img src="closed.png" alt="-"/> Protected Member Functions inherited from <a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td></tr>
|
|
436
436
|
<tr class="memitem:af5005136743913d760d7402bbd308c69 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69">destroy</a> ()</td></tr>
|
|
437
437
|
<tr class="memdesc:af5005136743913d760d7402bbd308c69 inherit pro_methods_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">Clean up memory. <a href="classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69">More...</a><br /></td></tr>
|
|
@@ -462,9 +462,9 @@ Protected Member Functions</h2></td></tr>
|
|
|
462
462
|
<tr class="memitem:adedaba0713164e10ce6273b2947535e0 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0">connectDirectVFGEdges</a> ()</td></tr>
|
|
463
463
|
<tr class="memdesc:adedaba0713164e10ce6273b2947535e0 inherit pro_methods_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">Create edges between <a class="el" href="classSVF_1_1VFG.html">VFG</a> nodes within a function. <a href="classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0">More...</a><br /></td></tr>
|
|
464
464
|
<tr class="separator:adedaba0713164e10ce6273b2947535e0 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
465
|
-
<tr class="memitem:
|
|
466
|
-
<tr class="memdesc:
|
|
467
|
-
<tr class="separator:
|
|
465
|
+
<tr class="memitem:aff0c7fcfe42752388f34d16d3d91b0b6 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6">addVFGInterEdges</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *callee)</td></tr>
|
|
466
|
+
<tr class="memdesc:aff0c7fcfe42752388f34d16d3d91b0b6 inherit pro_methods_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">Create edges between <a class="el" href="classSVF_1_1VFG.html">VFG</a> nodes across functions. <a href="classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6">More...</a><br /></td></tr>
|
|
467
|
+
<tr class="separator:aff0c7fcfe42752388f34d16d3d91b0b6 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
468
468
|
<tr class="memitem:a8ddf15d89a1b11a7f7720b671f4f0295 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295">isPhiCopyEdge</a> (const <a class="el" href="namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152">PAGEdge</a> *copy) const</td></tr>
|
|
469
469
|
<tr class="separator:a8ddf15d89a1b11a7f7720b671f4f0295 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
470
470
|
<tr class="memitem:ad8c76cdb73541eed5aa1c2ba9de60383 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383">addVFGNode</a> (<a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> *vfgNode, <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *icfgNode)</td></tr>
|
|
@@ -489,16 +489,16 @@ Protected Member Functions</h2></td></tr>
|
|
|
489
489
|
<tr class="separator:a373e7066630719ffb7c62681f2c2a74e inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
490
490
|
<tr class="memitem:a13f7caf44741db3b0e8a44b13d8931f5 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5">addStoreVFGNode</a> (const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *store)</td></tr>
|
|
491
491
|
<tr class="separator:a13f7caf44741db3b0e8a44b13d8931f5 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
492
|
-
<tr class="memitem:
|
|
493
|
-
<tr class="separator:
|
|
492
|
+
<tr class="memitem:a6b373385fa30c83c24844c41c2f05e53 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53">addActualParmVFGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *aparm, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
|
|
493
|
+
<tr class="separator:a6b373385fa30c83c24844c41c2f05e53 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
494
494
|
<tr class="memitem:afdb1560eecf692fb646d412dc760088d inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d">addFormalParmVFGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *fparm, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun, <a class="el" href="classSVF_1_1VFG.html#ade3f735b3c7b1a53cab3d67cd9f7b874">CallPESet</a> &callPEs)</td></tr>
|
|
495
495
|
<tr class="memdesc:afdb1560eecf692fb646d412dc760088d inherit pro_methods_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">Add a formal parameter <a class="el" href="classSVF_1_1VFG.html">VFG</a> node. <a href="classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d">More...</a><br /></td></tr>
|
|
496
496
|
<tr class="separator:afdb1560eecf692fb646d412dc760088d inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
497
497
|
<tr class="memitem:aae3bddc73e39d96fcc97d56ea3dec373 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373">addFormalRetVFGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *uniqueFunRet, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun, <a class="el" href="classSVF_1_1VFG.html#abf966182c28f0521dcd161aa299e453d">RetPESet</a> &retPEs)</td></tr>
|
|
498
498
|
<tr class="separator:aae3bddc73e39d96fcc97d56ea3dec373 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
499
|
-
<tr class="memitem:
|
|
500
|
-
<tr class="memdesc:
|
|
501
|
-
<tr class="separator:
|
|
499
|
+
<tr class="memitem:a63994c100593efda25dbd50646dfe0dc inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc">addActualRetVFGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *ret, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
|
|
500
|
+
<tr class="memdesc:a63994c100593efda25dbd50646dfe0dc inherit pro_methods_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">Add a callsite Receive <a class="el" href="classSVF_1_1VFG.html">VFG</a> node. <a href="classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc">More...</a><br /></td></tr>
|
|
501
|
+
<tr class="separator:a63994c100593efda25dbd50646dfe0dc inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
502
502
|
<tr class="memitem:a6a1435f8ac7f74cc81608839fa3da3df inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a6a1435f8ac7f74cc81608839fa3da3df">addIntraPHIVFGNode</a> (const <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> *edge)</td></tr>
|
|
503
503
|
<tr class="memdesc:a6a1435f8ac7f74cc81608839fa3da3df inherit pro_methods_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">Add an llvm PHI <a class="el" href="classSVF_1_1VFG.html">VFG</a> node. <a href="classSVF_1_1VFG.html#a6a1435f8ac7f74cc81608839fa3da3df">More...</a><br /></td></tr>
|
|
504
504
|
<tr class="separator:a6a1435f8ac7f74cc81608839fa3da3df inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -656,10 +656,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
656
656
|
<tr class="separator:a8859409373454b6b3d1252776e169cf5 inherit pub_types_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
657
657
|
<tr class="memitem:acb7262c3b9161c77eb1b491048152fb0 inherit pub_types_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0">FormalOUTSVFGNodeSet</a></td></tr>
|
|
658
658
|
<tr class="separator:acb7262c3b9161c77eb1b491048152fb0 inherit pub_types_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
659
|
-
<tr class="memitem:
|
|
660
|
-
<tr class="separator:
|
|
661
|
-
<tr class="memitem:
|
|
662
|
-
<tr class="separator:
|
|
659
|
+
<tr class="memitem:a727af89a305e48f399ad33cc7149dbcb inherit pub_types_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *, <a class="el" href="classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a">ActualINSVFGNodeSet</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb">CallSiteToActualINsMapTy</a></td></tr>
|
|
660
|
+
<tr class="separator:a727af89a305e48f399ad33cc7149dbcb inherit pub_types_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
661
|
+
<tr class="memitem:a7c4e9c0fad457a2dc81a85f96fcec9ec inherit pub_types_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *, <a class="el" href="classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99">ActualOUTSVFGNodeSet</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec">CallSiteToActualOUTsMapTy</a></td></tr>
|
|
662
|
+
<tr class="separator:a7c4e9c0fad457a2dc81a85f96fcec9ec inherit pub_types_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
663
663
|
<tr class="memitem:a2b4850c833564916c7fce46d55672038 inherit pub_types_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5">FormalINSVFGNodeSet</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038">FunctionToFormalINsMapTy</a></td></tr>
|
|
664
664
|
<tr class="separator:a2b4850c833564916c7fce46d55672038 inherit pub_types_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
665
665
|
<tr class="memitem:ac4c65501e9beba5495a57dd469f78e5b inherit pub_types_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0">FormalOUTSVFGNodeSet</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b">FunctionToFormalOUTsMapTy</a></td></tr>
|
|
@@ -700,8 +700,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
700
700
|
<tr class="separator:a03d388eec513f713f5e0d06f920168db inherit pub_types_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
701
701
|
<tr class="memitem:ab9381c54f2339b3738348ae8b0d6659f inherit pub_types_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#ab9381c54f2339b3738348ae8b0d6659f">PAGNodeToDefMapTy</a></td></tr>
|
|
702
702
|
<tr class="separator:ab9381c54f2339b3738348ae8b0d6659f inherit pub_types_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
703
|
-
<tr class="memitem:
|
|
704
|
-
<tr class="separator:
|
|
703
|
+
<tr class="memitem:a6d0a91e8c2cd18d846870c7e062a1bb4 inherit pub_types_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< std::pair< <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * >, <a class="el" href="classSVF_1_1ActualParmVFGNode.html">ActualParmVFGNode</a> * > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a6d0a91e8c2cd18d846870c7e062a1bb4">PAGNodeToActualParmMapTy</a></td></tr>
|
|
704
|
+
<tr class="separator:a6d0a91e8c2cd18d846870c7e062a1bb4 inherit pub_types_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
705
705
|
<tr class="memitem:a999654aa377639db5c1e40f603e655a7 inherit pub_types_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *, <a class="el" href="classSVF_1_1ActualRetVFGNode.html">ActualRetVFGNode</a> * > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7">PAGNodeToActualRetMapTy</a></td></tr>
|
|
706
706
|
<tr class="separator:a999654aa377639db5c1e40f603e655a7 inherit pub_types_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
707
707
|
<tr class="memitem:a6eb72d2fe080def018d09604fe3affcf inherit pub_types_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *, <a class="el" href="classSVF_1_1FormalParmVFGNode.html">FormalParmVFGNode</a> * > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a6eb72d2fe080def018d09604fe3affcf">PAGNodeToFormalParmMapTy</a></td></tr>
|
|
@@ -766,9 +766,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
766
766
|
<tr class="memitem:aafa1b445bd3578daaba8f82e517745f1 inherit pro_attribs_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3">MSSAVarToDefMapTy</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">MSSAVarToDefMap</a></td></tr>
|
|
767
767
|
<tr class="memdesc:aafa1b445bd3578daaba8f82e517745f1 inherit pro_attribs_classSVF_1_1SVFG"><td class="mdescLeft"> </td><td class="mdescRight">map a memory SSA operator to its definition <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node <a href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">More...</a><br /></td></tr>
|
|
768
768
|
<tr class="separator:aafa1b445bd3578daaba8f82e517745f1 inherit pro_attribs_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
769
|
-
<tr class="memitem:af9313ebec4a52fd887169b7c6373a7d4 inherit pro_attribs_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html#
|
|
769
|
+
<tr class="memitem:af9313ebec4a52fd887169b7c6373a7d4 inherit pro_attribs_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb">CallSiteToActualINsMapTy</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">callSiteToActualINMap</a></td></tr>
|
|
770
770
|
<tr class="separator:af9313ebec4a52fd887169b7c6373a7d4 inherit pro_attribs_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
771
|
-
<tr class="memitem:a39873b954b6e0eb0641f56ca4cd06ef9 inherit pro_attribs_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html#
|
|
771
|
+
<tr class="memitem:a39873b954b6e0eb0641f56ca4cd06ef9 inherit pro_attribs_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec">CallSiteToActualOUTsMapTy</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">callSiteToActualOUTMap</a></td></tr>
|
|
772
772
|
<tr class="separator:a39873b954b6e0eb0641f56ca4cd06ef9 inherit pro_attribs_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
773
773
|
<tr class="memitem:ae51cd0493e4e767848b96b69045762fd inherit pro_attribs_classSVF_1_1SVFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038">FunctionToFormalINsMapTy</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">funToFormalINMap</a></td></tr>
|
|
774
774
|
<tr class="separator:ae51cd0493e4e767848b96b69045762fd inherit pro_attribs_classSVF_1_1SVFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -786,7 +786,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
786
786
|
<tr class="memitem:ac89b3917ed73ac70aac6205af8f7a4fe inherit pro_attribs_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1VFG.html#ab9381c54f2339b3738348ae8b0d6659f">PAGNodeToDefMapTy</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe">PAGNodeToDefMap</a></td></tr>
|
|
787
787
|
<tr class="memdesc:ac89b3917ed73ac70aac6205af8f7a4fe inherit pro_attribs_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">map a pag node to its definition SVG node <a href="classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe">More...</a><br /></td></tr>
|
|
788
788
|
<tr class="separator:ac89b3917ed73ac70aac6205af8f7a4fe inherit pro_attribs_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
789
|
-
<tr class="memitem:a8b256a40e690f31b7a56308d55bad45a inherit pro_attribs_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1VFG.html#
|
|
789
|
+
<tr class="memitem:a8b256a40e690f31b7a56308d55bad45a inherit pro_attribs_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1VFG.html#a6d0a91e8c2cd18d846870c7e062a1bb4">PAGNodeToActualParmMapTy</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a">PAGNodeToActualParmMap</a></td></tr>
|
|
790
790
|
<tr class="memdesc:a8b256a40e690f31b7a56308d55bad45a inherit pro_attribs_classSVF_1_1VFG"><td class="mdescLeft"> </td><td class="mdescRight">map a PAGNode to an actual parameter <a href="classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a">More...</a><br /></td></tr>
|
|
791
791
|
<tr class="separator:a8b256a40e690f31b7a56308d55bad45a inherit pro_attribs_classSVF_1_1VFG"><td class="memSeparator" colspan="2"> </td></tr>
|
|
792
792
|
<tr class="memitem:a28c5f7e331a437e09682b972769acf66 inherit pro_attribs_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7">PAGNodeToActualRetMapTy</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66">PAGNodeToActualRetMap</a></td></tr>
|
|
@@ -1134,10 +1134,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1134
1134
|
<p>Add inter PHI <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node for actual return. </p>
|
|
1135
1135
|
|
|
1136
1136
|
<p class="definition">Definition at line <a class="el" href="SVFGOPT_8h_source.html#l00252">252</a> of file <a class="el" href="SVFGOPT_8h_source.html">SVFGOPT.h</a>.</p>
|
|
1137
|
-
<div class="fragment"><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  {</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  <a class="code" href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">InterPHISVFGNode</a>* sNode = <span class="keyword">new</span> <a class="code" href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">InterPHISVFGNode</a>(<a class="code" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">totalVFGNode</a>++,ar);</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  <a class="code" href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">addSVFGNode</a>(sNode, <a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-><a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>()-><a class="code" href="classSVF_1_1ICFG.html#
|
|
1137
|
+
<div class="fragment"><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  {</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  <a class="code" href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">InterPHISVFGNode</a>* sNode = <span class="keyword">new</span> <a class="code" href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">InterPHISVFGNode</a>(<a class="code" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">totalVFGNode</a>++,ar);</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  <a class="code" href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">addSVFGNode</a>(sNode, <a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-><a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>()-><a class="code" href="classSVF_1_1ICFG.html#a392e5ea7c356763a988407f91343f034">getRetBlockNode</a>(ar->getCallSite()->getCallSite()));</div><div class="line"><a name="l00256"></a><span class="lineno"> 256</span>  <a class="code" href="classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40">resetDef</a>(ar->getRev(),sNode);</div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  <span class="keywordflow">return</span> sNode;</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  }</div><div class="ttc" id="classSVF_1_1ICFG_html_a392e5ea7c356763a988407f91343f034"><div class="ttname"><a href="classSVF_1_1ICFG.html#a392e5ea7c356763a988407f91343f034">SVF::ICFG::getRetBlockNode</a></div><div class="ttdeci">RetICFGNode * getRetBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00222">ICFG.cpp:222</a></div></div>
|
|
1138
|
+
<div class="ttc" id="namespaceSVF_html_a0f7ff1d9a479df87241b45bb9c81d3ca"><div class="ttname"><a href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">SVF::InterPHISVFGNode</a></div><div class="ttdeci">InterPHIVFGNode InterPHISVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00058">SVFG.h:58</a></div></div>
|
|
1138
1139
|
<div class="ttc" id="classSVF_1_1VFG_html_a25c2bbbc2e966e2aaa59a5b83363557a"><div class="ttname"><a href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">SVF::VFG::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00104">VFG.h:104</a></div></div>
|
|
1139
1140
|
<div class="ttc" id="classSVF_1_1VFG_html_acb181d4f9faa40578c80e2018e2742b8"><div class="ttname"><a href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">SVF::VFG::totalVFGNode</a></div><div class="ttdeci">NodeID totalVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00088">VFG.h:88</a></div></div>
|
|
1140
|
-
<div class="ttc" id="classSVF_1_1ICFG_html_a6d66c83cb1656d0f8ec8b8b65a9e9c41"><div class="ttname"><a href="classSVF_1_1ICFG.html#a6d66c83cb1656d0f8ec8b8b65a9e9c41">SVF::ICFG::getRetBlockNode</a></div><div class="ttdeci">RetBlockNode * getRetBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00222">ICFG.cpp:222</a></div></div>
|
|
1141
1141
|
<div class="ttc" id="classSVF_1_1SVFGOPT_html_af504407e6cd42cfe2ea27165ff15df40"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40">SVF::SVFGOPT::resetDef</a></div><div class="ttdeci">void resetDef(const PAGNode *pagNode, const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00260">SVFGOPT.h:260</a></div></div>
|
|
1142
1142
|
<div class="ttc" id="classSVF_1_1SVFG_html_a88e1f6f77421c5274ceeb14928bdcb43"><div class="ttname"><a href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">SVF::SVFG::addSVFGNode</a></div><div class="ttdeci">virtual void addSVFGNode(SVFGNode *node, ICFGNode *icfgNode)</div><div class="ttdoc">Add SVFG node. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00391">SVFG.h:391</a></div></div>
|
|
1143
1143
|
<div class="ttc" id="classSVF_1_1SVFIR_html_aa1943d53e75aef9b014953143c6894da"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG()</div><div class="ttdoc">Return ICFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00132">SVFIR.h:132</a></div></div>
|
|
@@ -1171,10 +1171,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1171
1171
|
<p>Add inter PHI <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node for formal parameter. </p>
|
|
1172
1172
|
|
|
1173
1173
|
<p class="definition">Definition at line <a class="el" href="SVFGOPT_8h_source.html#l00244">244</a> of file <a class="el" href="SVFGOPT_8h_source.html">SVFGOPT.h</a>.</p>
|
|
1174
|
-
<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  {</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  <a class="code" href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">InterPHISVFGNode</a>* sNode = <span class="keyword">new</span> <a class="code" href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">InterPHISVFGNode</a>(<a class="code" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">totalVFGNode</a>++,fp);</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  <a class="code" href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">addSVFGNode</a>(sNode, <a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-><a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>()-><a class="code" href="classSVF_1_1ICFG.html#
|
|
1174
|
+
<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  {</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  <a class="code" href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">InterPHISVFGNode</a>* sNode = <span class="keyword">new</span> <a class="code" href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">InterPHISVFGNode</a>(<a class="code" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">totalVFGNode</a>++,fp);</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  <a class="code" href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">addSVFGNode</a>(sNode, <a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-><a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>()-><a class="code" href="classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025">getFunEntryBlockNode</a>(fp->getFun()));</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <a class="code" href="classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40">resetDef</a>(fp->getParam(),sNode);</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  <span class="keywordflow">return</span> sNode;</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  }</div><div class="ttc" id="namespaceSVF_html_a0f7ff1d9a479df87241b45bb9c81d3ca"><div class="ttname"><a href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">SVF::InterPHISVFGNode</a></div><div class="ttdeci">InterPHIVFGNode InterPHISVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00058">SVFG.h:58</a></div></div>
|
|
1175
1175
|
<div class="ttc" id="classSVF_1_1VFG_html_a25c2bbbc2e966e2aaa59a5b83363557a"><div class="ttname"><a href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">SVF::VFG::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00104">VFG.h:104</a></div></div>
|
|
1176
|
+
<div class="ttc" id="classSVF_1_1ICFG_html_a2b32cfb0b4b3e420aa8e67fc6d4f1025"><div class="ttname"><a href="classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025">SVF::ICFG::getFunEntryBlockNode</a></div><div class="ttdeci">FunEntryICFGNode * getFunEntryBlockNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function entry node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00242">ICFG.cpp:242</a></div></div>
|
|
1176
1177
|
<div class="ttc" id="classSVF_1_1VFG_html_acb181d4f9faa40578c80e2018e2742b8"><div class="ttname"><a href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">SVF::VFG::totalVFGNode</a></div><div class="ttdeci">NodeID totalVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00088">VFG.h:88</a></div></div>
|
|
1177
|
-
<div class="ttc" id="classSVF_1_1ICFG_html_ae1ef14cdda27a2062c4c454750444108"><div class="ttname"><a href="classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108">SVF::ICFG::getFunEntryBlockNode</a></div><div class="ttdeci">FunEntryBlockNode * getFunEntryBlockNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function entry node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00242">ICFG.cpp:242</a></div></div>
|
|
1178
1178
|
<div class="ttc" id="classSVF_1_1SVFGOPT_html_af504407e6cd42cfe2ea27165ff15df40"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40">SVF::SVFGOPT::resetDef</a></div><div class="ttdeci">void resetDef(const PAGNode *pagNode, const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00260">SVFGOPT.h:260</a></div></div>
|
|
1179
1179
|
<div class="ttc" id="classSVF_1_1SVFG_html_a88e1f6f77421c5274ceeb14928bdcb43"><div class="ttname"><a href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">SVF::SVFG::addSVFGNode</a></div><div class="ttdeci">virtual void addSVFGNode(SVFGNode *node, ICFGNode *icfgNode)</div><div class="ttdoc">Add SVFG node. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00391">SVFG.h:391</a></div></div>
|
|
1180
1180
|
<div class="ttc" id="classSVF_1_1SVFIR_html_aa1943d53e75aef9b014953143c6894da"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG()</div><div class="ttdoc">Return ICFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00132">SVFIR.h:132</a></div></div>
|
|
@@ -1657,8 +1657,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1657
1657
|
</div><!-- fragment -->
|
|
1658
1658
|
</div>
|
|
1659
1659
|
</div>
|
|
1660
|
-
<a id="
|
|
1661
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
1660
|
+
<a id="a5e65ac95b96fb87a11a765c51f366ec1"></a>
|
|
1661
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a5e65ac95b96fb87a11a765c51f366ec1">◆ </a></span>connectAParamAndFParam()</h2>
|
|
1662
1662
|
|
|
1663
1663
|
<div class="memitem">
|
|
1664
1664
|
<div class="memproto">
|
|
@@ -1681,7 +1681,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1681
1681
|
<tr>
|
|
1682
1682
|
<td class="paramkey"></td>
|
|
1683
1683
|
<td></td>
|
|
1684
|
-
<td class="paramtype">const <a class="el" href="
|
|
1684
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * </td>
|
|
1685
1685
|
<td class="paramname">, </td>
|
|
1686
1686
|
</tr>
|
|
1687
1687
|
<tr>
|
|
@@ -1711,7 +1711,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1711
1711
|
|
|
1712
1712
|
<p>Connect <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> nodes between caller and callee for indirect call sites. </p>
|
|
1713
1713
|
|
|
1714
|
-
<p>Reimplemented from <a class="el" href="classSVF_1_1VFG.html#
|
|
1714
|
+
<p>Reimplemented from <a class="el" href="classSVF_1_1VFG.html#a2c508fbf07bad33d5b56d2acc6e012d3">SVF::VFG</a>.</p>
|
|
1715
1715
|
|
|
1716
1716
|
<p class="definition">Definition at line <a class="el" href="SVFGOPT_8h_source.html#l00089">89</a> of file <a class="el" href="SVFGOPT_8h_source.html">SVFGOPT.h</a>.</p>
|
|
1717
1717
|
<div class="fragment"><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  {</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> phiId = <a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(fun_arg);</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <a class="code" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a>* edge = <a class="code" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">addCallEdge</a>(<a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(cs_arg), phiId, csId);</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="keywordflow">if</span> (edge != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  {</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <a class="code" href="namespaceSVF.html#a71d4e214e049f02bf26537cba6328673">PHISVFGNode</a>* phi = SVFUtil::cast<PHISVFGNode>(<a class="code" href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">getSVFGNode</a>(phiId));</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <a class="code" href="classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943">addInterPHIOperands</a>(phi, cs_arg);</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  edges.insert(edge);</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  }</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  }</div><div class="ttc" id="namespaceSVF_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="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
|
|
@@ -2333,9 +2333,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2333
2333
|
<p>add actual-param/formal-ret into phi's operand list </p>
|
|
2334
2334
|
|
|
2335
2335
|
<p class="definition">Definition at line <a class="el" href="SVFGOPT_8cpp_source.html#l00152">152</a> of file <a class="el" href="SVFGOPT_8cpp_source.html">SVFGOPT.cpp</a>.</p>
|
|
2336
|
-
<div class="fragment"><div class="line"><a name="l00153"></a><span class="lineno"> 153</span> {</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((SVFUtil::isa<FormalParmSVFGNode>(svfgNode) || SVFUtil::isa<ActualRetSVFGNode>(svfgNode))</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  && <span class="stringliteral">"expecting a formal param or actual ret svfg node"</span>);</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span> </div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> phiId = phi-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVFGNode::const_iterator</a> it = svfgNode-><a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit = svfgNode-><a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>();</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  it != eit; ++it)</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  {</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGEdge.html">SVFGEdge</a>* outEdge = *it;</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* dstNode = outEdge-><a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dstId = dstNode-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallDirSVFGEdge.html">CallDirSVFGEdge</a>* callEdge = SVFUtil::dyn_cast<CallDirSVFGEdge>(outEdge))</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <a class="code" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">addCallEdge</a>(phiId, dstId, callEdge->getCallSiteId());</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetDirSVFGEdge.html">RetDirSVFGEdge</a>* retEdge = SVFUtil::dyn_cast<RetDirSVFGEdge>(outEdge))</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  <a class="code" href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">addRetEdge</a>(phiId, dstId, retEdge->getCallSiteId());</div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  <a class="code" href="classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2">addIntraDirectVFEdge</a>(phiId, dstId);</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  }</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span> </div><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1FormalParmVFGNode.html">FormalParmSVFGNode</a>* fp = SVFUtil::dyn_cast<FormalParmSVFGNode>(svfgNode))</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  {</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">SVFGNode::iterator</a> it = svfgNode-><a class="code" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>(), eit = svfgNode-><a class="code" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>();</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  it != eit; ++it)</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  {</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  <a class="code" href="classSVF_1_1ActualParmVFGNode.html">ActualParmSVFGNode</a>* ap = SVFUtil::cast<ActualParmSVFGNode>((*it)->getSrcNode());</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <a class="code" href="classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943">addInterPHIOperands</a>(phi, ap-><a class="code" href="classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32">getParam</a>());</div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <span class="comment">// connect actual param's def node to phi node</span></div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <a class="code" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">addCallEdge</a>(<a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(ap-><a class="code" href="classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32">getParam</a>()), phiId, <a class="code" href="classSVF_1_1VFG.html#
|
|
2336
|
+
<div class="fragment"><div class="line"><a name="l00153"></a><span class="lineno"> 153</span> {</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((SVFUtil::isa<FormalParmSVFGNode>(svfgNode) || SVFUtil::isa<ActualRetSVFGNode>(svfgNode))</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  && <span class="stringliteral">"expecting a formal param or actual ret svfg node"</span>);</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span> </div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> phiId = phi-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVFGNode::const_iterator</a> it = svfgNode-><a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit = svfgNode-><a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>();</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  it != eit; ++it)</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  {</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGEdge.html">SVFGEdge</a>* outEdge = *it;</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* dstNode = outEdge-><a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dstId = dstNode-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallDirSVFGEdge.html">CallDirSVFGEdge</a>* callEdge = SVFUtil::dyn_cast<CallDirSVFGEdge>(outEdge))</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <a class="code" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">addCallEdge</a>(phiId, dstId, callEdge->getCallSiteId());</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetDirSVFGEdge.html">RetDirSVFGEdge</a>* retEdge = SVFUtil::dyn_cast<RetDirSVFGEdge>(outEdge))</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  <a class="code" href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">addRetEdge</a>(phiId, dstId, retEdge->getCallSiteId());</div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  <a class="code" href="classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2">addIntraDirectVFEdge</a>(phiId, dstId);</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  }</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span> </div><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1FormalParmVFGNode.html">FormalParmSVFGNode</a>* fp = SVFUtil::dyn_cast<FormalParmSVFGNode>(svfgNode))</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  {</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">SVFGNode::iterator</a> it = svfgNode-><a class="code" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>(), eit = svfgNode-><a class="code" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>();</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  it != eit; ++it)</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  {</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  <a class="code" href="classSVF_1_1ActualParmVFGNode.html">ActualParmSVFGNode</a>* ap = SVFUtil::cast<ActualParmSVFGNode>((*it)->getSrcNode());</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <a class="code" href="classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943">addInterPHIOperands</a>(phi, ap-><a class="code" href="classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32">getParam</a>());</div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <span class="comment">// connect actual param's def node to phi node</span></div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <a class="code" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">addCallEdge</a>(<a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(ap-><a class="code" href="classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32">getParam</a>()), phiId, <a class="code" href="classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387">getCallSiteID</a>(ap-><a class="code" href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">getCallSite</a>(), fp-><a class="code" href="classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da">getFun</a>()));</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  }</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  }</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ActualRetVFGNode.html">ActualRetSVFGNode</a>* ar = SVFUtil::dyn_cast<ActualRetSVFGNode>(svfgNode))</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  {</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">SVFGNode::iterator</a> it = svfgNode-><a class="code" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>(), eit = svfgNode-><a class="code" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>();</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  it != eit; ++it)</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  {</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  <a class="code" href="classSVF_1_1FormalRetVFGNode.html">FormalRetSVFGNode</a>* fr = SVFUtil::cast<FormalRetSVFGNode>((*it)->getSrcNode());</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <a class="code" href="classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943">addInterPHIOperands</a>(phi, fr-><a class="code" href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">getRet</a>());</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <span class="comment">// connect formal return's def node to phi node</span></div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <a class="code" href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">addRetEdge</a>(<a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(fr-><a class="code" href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">getRet</a>()), phiId, <a class="code" href="classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387">getCallSiteID</a>(ar->getCallSite(), fr-><a class="code" href="classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93">getFun</a>()));</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  }</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  }</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span> </div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  <a class="code" href="classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40">removeAllEdges</a>(svfgNode);</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span> }</div><div class="ttc" id="classSVF_1_1ActualParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00831">VFGNode.h:831</a></div></div>
|
|
2337
2337
|
<div class="ttc" id="namespaceSVF_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="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
|
|
2338
2338
|
<div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00202">GenericGraph.h:202</a></div></div>
|
|
2339
|
+
<div class="ttc" id="classSVF_1_1VFG_html_a5f82b3c2e8e6412e2781b960ffa98387"><div class="ttname"><a href="classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387">SVF::VFG::getCallSiteID</a></div><div class="ttdeci">CallSiteID getCallSiteID(const CallICFGNode *cs, const SVFFunction *func) const</div><div class="ttdoc">Get callsite given a callsiteID. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00178">VFG.h:178</a></div></div>
|
|
2339
2340
|
<div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
2340
2341
|
<div class="ttc" id="classSVF_1_1VFG_html_a27ac8d60de7be75e831b4a28f8f8f1d2"><div class="ttname"><a href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG::addRetEdge</a></div><div class="ttdeci">VFGEdge * addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00583">VFG.cpp:583</a></div></div>
|
|
2341
2342
|
<div class="ttc" id="classSVF_1_1ICFGNode_html_ae526280cca2d6cbb2868c80461bc16da"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da">SVF::ICFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Return the function of this ICFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00080">ICFGNode.h:80</a></div></div>
|
|
@@ -2347,12 +2348,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2347
2348
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a8b320525e5a0ed93030d578030761124"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">SVF::VFGNode::iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00059">VFGNode.h:59</a></div></div>
|
|
2348
2349
|
<div class="ttc" id="classSVF_1_1GenericNode_html_afe6a7b286d9af4992f41b59612fd2900"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode::InEdgeEnd</a></div><div class="ttdeci">iterator InEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00214">GenericGraph.h:214</a></div></div>
|
|
2349
2350
|
<div class="ttc" id="classSVF_1_1VFG_html_a3c97d77bc0348471d6c098d5655f15b2"><div class="ttname"><a href="classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2">SVF::VFG::addIntraDirectVFEdge</a></div><div class="ttdeci">VFGEdge * addIntraDirectVFEdge(NodeID srcId, NodeID dstId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00540">VFG.cpp:540</a></div></div>
|
|
2350
|
-
<div class="ttc" id="classSVF_1_1VFG_html_a9bc8e7ee74b652ed7708e95c16a63728"><div class="ttname"><a href="classSVF_1_1VFG.html#a9bc8e7ee74b652ed7708e95c16a63728">SVF::VFG::getCallSiteID</a></div><div class="ttdeci">CallSiteID getCallSiteID(const CallBlockNode *cs, const SVFFunction *func) const</div><div class="ttdoc">Get callsite given a callsiteID. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00178">VFG.h:178</a></div></div>
|
|
2351
2351
|
<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a62a894e71fcf7a3db19c0488d96a7262"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">SVF::FormalRetVFGNode::getRet</a></div><div class="ttdeci">const PAGNode * getRet() const</div><div class="ttdoc">Return value at callee. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01019">VFGNode.h:1019</a></div></div>
|
|
2352
2352
|
<div class="ttc" id="classSVF_1_1SVFGOPT_html_ac15b3c2cb127b17ebad3a30fc04b6f40"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40">SVF::SVFGOPT::removeAllEdges</a></div><div class="ttdeci">void removeAllEdges(const SVFGNode *node)</div><div class="ttdoc">Remove edges of a SVFG node. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00330">SVFGOPT.h:330</a></div></div>
|
|
2353
2353
|
<div class="ttc" id="classSVF_1_1ActualRetVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00948">VFGNode.h:948</a></div></div>
|
|
2354
2354
|
<div class="ttc" id="classSVF_1_1SVFG_html_abd917826bf50ed409a307ce00562c97d"><div class="ttname"><a href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">SVF::SVFG::getDef</a></div><div class="ttdeci">NodeID getDef(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00350">SVFG.h:350</a></div></div>
|
|
2355
2355
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a3c558955f60c237c558d8faafed781e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode::const_iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00060">VFGNode.h:60</a></div></div>
|
|
2356
|
+
<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_ab153944a366488c5f7e91d61561e9c0e"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">SVF::ActualParmVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00843">VFGNode.h:843</a></div></div>
|
|
2356
2357
|
<div class="ttc" id="classSVF_1_1SVFGOPT_html_a30a4165300d0b7ac9b31d9f9c496d943"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943">SVF::SVFGOPT::addInterPHIOperands</a></div><div class="ttdeci">void addInterPHIOperands(PHISVFGNode *phi, const PAGNode *operand)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00238">SVFGOPT.h:238</a></div></div>
|
|
2357
2358
|
<div class="ttc" id="classSVF_1_1VFG_html_aa01f63b17acdd52122a7f1ade329ccea"><div class="ttname"><a href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG::addCallEdge</a></div><div class="ttdeci">VFGEdge * addCallEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00564">VFG.cpp:564</a></div></div>
|
|
2358
2359
|
<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
|
|
@@ -2360,7 +2361,6 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2360
2361
|
<div class="ttc" id="classSVF_1_1FormalParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html">SVF::FormalParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00881">VFGNode.h:881</a></div></div>
|
|
2361
2362
|
<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00206">GenericGraph.h:206</a></div></div>
|
|
2362
2363
|
<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html">SVF::FormalRetVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01004">VFGNode.h:1004</a></div></div>
|
|
2363
|
-
<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_afe9b8911c6e79dd13e0df19b158a3179"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179">SVF::ActualParmVFGNode::getCallSite</a></div><div class="ttdeci">const CallBlockNode * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00843">VFGNode.h:843</a></div></div>
|
|
2364
2364
|
<div class="ttc" id="classSVF_1_1RetDirSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetDirSVFGEdge.html">SVF::RetDirSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00254">VFGEdge.h:254</a></div></div>
|
|
2365
2365
|
<div class="ttc" id="classSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>
|
|
2366
2366
|
</div><!-- fragment -->
|