svf-tools 1.0.340 → 1.0.344
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 +6 -6
- package/SVF-doxygen/html/html/BasicTypes_8h_source.html +2 -2
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
- 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 +6 -6
- 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/ICFGEdge_8h_source.html +1 -1
- 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 +64 -61
- package/SVF-doxygen/html/html/ICFG_8h_source.html +46 -46
- 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/LocationSet_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
- 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 +27 -27
- 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 +1 -1
- package/SVF-doxygen/html/html/Options_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/Options_8h_source.html +2 -2
- 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/PTAStat_8cpp_source.html +5 -5
- 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 +18 -18
- 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 +32 -32
- 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 +32 -32
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +20 -20
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +14 -14
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +5 -5
- package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +3 -3
- 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 +16 -15
- package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +30 -28
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +44 -42
- 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 +5 -5
- 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 +20 -20
- package/SVF-doxygen/html/html/VFG_8h_source.html +19 -19
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +4 -4
- 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_1AddrStmt.html +3 -3
- 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 +47 -47
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +34 -34
- 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_1BinaryOPStmt.html +6 -5
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +15 -12
- package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +5 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
- 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 +31 -31
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +6 -5
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
- 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 +3 -3
- 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_1CopyStmt.html +3 -3
- 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_1FIObjVar.html +3 -3
- 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 +43 -43
- 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_1FunEntryBlockNode.html +4 -2
- 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_1FunExitBlockNode.html +4 -2
- 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_1GepObjVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +3 -1
- 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 +224 -217
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +74 -71
- package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +10 -10
- 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 +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +7 -3
- package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
- 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_1IntraPHIVFGNode.html +1 -1
- 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_1LoadStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
- 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 +11 -11
- 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 +198 -198
- 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_1MemObj-members.html +23 -22
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +70 -47
- 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_1MultiOpndStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo-members.html +17 -15
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +141 -106
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +26 -26
- 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_1PHIVFGNode.html +1 -1
- 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_1PTAStat.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +109 -109
- 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_1RetBlockNode.html +5 -3
- package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
- 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 +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +160 -160
- 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 +133 -133
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +62 -62
- package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +1 -1
- 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_1StInfo.html +24 -24
- 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 +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +17 -16
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +16 -16
- 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 +19 -19
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +19 -19
- 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 +42 -42
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +10 -9
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
- 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_1ValVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +37 -37
- 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 +74 -71
- package/SVF-doxygen/html/html/functions_eval_c.html +5 -2
- 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 +88 -88
- package/SVF-doxygen/html/html/functions_func_h.html +17 -17
- package/SVF-doxygen/html/html/functions_func_i.html +31 -29
- 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 +1 -1
- 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 +37 -35
- package/SVF-doxygen/html/html/functions_m.html +2 -2
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +10 -10
- package/SVF-doxygen/html/html/functions_p.html +21 -30
- package/SVF-doxygen/html/html/functions_r.html +6 -6
- package/SVF-doxygen/html/html/functions_s.html +15 -14
- package/SVF-doxygen/html/html/functions_t.html +13 -15
- 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 +5 -5
- 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_p.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_r.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_s.html +3 -0
- package/SVF-doxygen/html/html/functions_w.html +5 -9
- package/SVF-doxygen/html/html/hierarchy.html +7 -7
- package/SVF-doxygen/html/html/namespaceSVF.html +11 -11
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +11 -11
- package/SVF-doxygen/html/html/search/all_1.js +58 -58
- package/SVF-doxygen/html/html/search/all_10.js +13 -14
- package/SVF-doxygen/html/html/search/all_12.js +5 -5
- package/SVF-doxygen/html/html/search/all_13.js +9 -8
- package/SVF-doxygen/html/html/search/all_14.js +6 -6
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +3 -3
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +37 -35
- 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 +19 -19
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_d.js +2 -2
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +2 -2
- 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_2.js +2 -1
- package/SVF-doxygen/html/html/search/functions_0.js +55 -55
- package/SVF-doxygen/html/html/search/functions_10.js +2 -2
- 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 +16 -16
- package/SVF-doxygen/html/html/search/functions_b.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +2 -2
- 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_10.js +0 -1
- package/SVF-doxygen/html/html/search/variables_12.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +1 -0
- 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/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +23 -23
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
- package/include/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 +32 -32
- 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 +22 -22
- package/include/MemoryModel/SVFStatements.h +11 -11
- package/include/MemoryModel/SymbolTableInfo.h +15 -9
- 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/Options.h +1 -1
- 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 +88 -71
- 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/MemoryModel/SVFStatements.cpp +53 -49
- package/lib/MemoryModel/SVFVariables.cpp +10 -10
- package/lib/MemoryModel/SymbolTableInfo.cpp +12 -7
- 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/SVF-FE/SymbolTableBuilder.cpp +2 -2
- package/lib/Util/Options.cpp +3 -3
- package/lib/Util/PTAStat.cpp +3 -3
- package/lib/Util/SVFUtil.cpp +2 -0
- 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
|
@@ -79,16 +79,16 @@ var searchData=
|
|
|
79
79
|
['forksitesbegin',['forksitesBegin',['../classSVF_1_1ThreadCallGraph.html#a37f2e076713a9aeb0e4313fb05dfb92e',1,'SVF::ThreadCallGraph']]],
|
|
80
80
|
['forksitesend',['forksitesEnd',['../classSVF_1_1ThreadCallGraph.html#a1ebbd26c17cff1c1a1bee9caa9a8f825',1,'SVF::ThreadCallGraph']]],
|
|
81
81
|
['formalinofaddresstakenfunc',['formalInOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a6eeec9fa475316f52689728a1af7bd05',1,'SVF::SVFGOPT']]],
|
|
82
|
-
['formalinsvfgnode',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF::FormalINSVFGNode'],['../classSVF_1_1FormalINSVFGNode.html#
|
|
82
|
+
['formalinsvfgnode',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF::FormalINSVFGNode'],['../classSVF_1_1FormalINSVFGNode.html#a199d0b978417c694a2200f22737904df',1,'SVF::FormalINSVFGNode::FormalINSVFGNode()']]],
|
|
83
83
|
['formalinsvfgnodeset',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
|
|
84
84
|
['formaloutofaddresstakenfunc',['formalOutOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a86cb63258b49077587d44ba45d023f02',1,'SVF::SVFGOPT']]],
|
|
85
|
-
['formaloutsvfgnode',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF::FormalOUTSVFGNode'],['../classSVF_1_1FormalOUTSVFGNode.html#
|
|
85
|
+
['formaloutsvfgnode',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF::FormalOUTSVFGNode'],['../classSVF_1_1FormalOUTSVFGNode.html#a87832feaa312a4aff2de2ca0209dfe72',1,'SVF::FormalOUTSVFGNode::FormalOUTSVFGNode()']]],
|
|
86
86
|
['formaloutsvfgnodeset',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
|
|
87
87
|
['formalouttodefmap',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
|
|
88
|
-
['formalparmnodevec',['FormalParmNodeVec',['../
|
|
88
|
+
['formalparmnodevec',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
|
|
89
89
|
['formalparmsvfgnode',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
|
|
90
90
|
['formalparmvfgnode',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF::FormalParmVFGNode'],['../classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272',1,'SVF::FormalParmVFGNode::FormalParmVFGNode()']]],
|
|
91
|
-
['formalret',['formalRet',['../
|
|
91
|
+
['formalret',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
|
|
92
92
|
['formalretsvfgnode',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
|
|
93
93
|
['formalretvfgnode',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html',1,'SVF::FormalRetVFGNode'],['../classSVF_1_1FormalRetVFGNode.html#a0155a71f08dfb1fb43f054084b2380c6',1,'SVF::FormalRetVFGNode::FormalRetVFGNode()'],['../classSVF_1_1FormalRetVFGNode.html#a527e3cac2e32f29d57b58db61c801cf3',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(const FormalRetVFGNode &)'],['../classSVF_1_1FormalRetVFGNode.html#a732fe0036d307a1dace2631219de38ef',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(NodeID id, const PAGNode *n, const SVFFunction *f)']]],
|
|
94
94
|
['forwardslice',['forwardslice',['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()'],['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()']]],
|
|
@@ -98,7 +98,7 @@ var searchData=
|
|
|
98
98
|
['forwardvisited',['forwardVisited',['../classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae',1,'SVF::SrcSnkDDA']]],
|
|
99
99
|
['fparm',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
|
|
100
100
|
['fpin',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
|
|
101
|
-
['fpnodes',['FPNodes',['../
|
|
101
|
+
['fpnodes',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
|
|
102
102
|
['fpout',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
|
|
103
103
|
['free',['FREE',['../util_8h.html#aa279a8302d25fa9dfeb3e00161aee784',1,'FREE(): util.h'],['../util_8h.html#a3110dcad20c2a6616d360901b94e06a1',1,'free(void *): util.h']]],
|
|
104
104
|
['freelist',['freelist',['../structDdLevelQueue.html#aa70e5645d52749160c718d38ea0c06ba',1,'DdLevelQueue']]],
|
|
@@ -124,7 +124,7 @@ var searchData=
|
|
|
124
124
|
['fullreachable',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
|
|
125
125
|
['fullsvfg',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
|
|
126
126
|
['fullsvfg_5fopt',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
|
|
127
|
-
['fun',['fun',['../classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be',1,'SVF::ICFGNode::fun()'],['../
|
|
127
|
+
['fun',['fun',['../classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be',1,'SVF::ICFGNode::fun()'],['../classSVF_1_1FunExitICFGNode.html#adfcebc33f3c36b8145074d370dfa1cb9',1,'SVF::FunExitICFGNode::fun()'],['../classSVF_1_1PTACallGraphNode.html#a1453299fc45dc51d2c9842ff4de1b860',1,'SVF::PTACallGraphNode::fun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978',1,'SVF::InterMSSAPHISVFGNode::fun()'],['../classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c',1,'SVF::FormalParmVFGNode::fun()'],['../classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3',1,'SVF::FormalRetVFGNode::fun()'],['../classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740',1,'SVF::InterPHIVFGNode::fun()'],['../classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c',1,'SVF::RetMU::fun()'],['../classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c',1,'SVF::EntryCHI::fun()'],['../classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623',1,'SVF::SVFFunction::fun()'],['../classSVF_1_1CxtProc.html#a70b6a2ae40bd7e4b08ddcb6d6b0289df',1,'SVF::CxtProc::fun()']]],
|
|
128
128
|
['funargslistmap',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
|
|
129
129
|
['func2loopinfomap',['func2LoopInfoMap',['../classSVF_1_1MTA.html#a427ebcf1f00b601087e5b098c18cc29a',1,'SVF::MTA']]],
|
|
130
130
|
['func2scevmap',['func2ScevMap',['../classSVF_1_1MTA.html#a7a879943a817d0283971b5588cfa83d5',1,'SVF::MTA']]],
|
|
@@ -149,11 +149,11 @@ var searchData=
|
|
|
149
149
|
['fundeftodeclsmap',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
|
|
150
150
|
['fundeftodeclsmapty',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#a69310319ea60cec5c8f3dea128a3f7c3',1,'SVF::LLVMModuleSet']]],
|
|
151
151
|
['funentryblock',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
|
|
152
|
-
['
|
|
153
|
-
['funentrynode',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#
|
|
152
|
+
['funentryicfgnode',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html',1,'SVF::FunEntryICFGNode'],['../classSVF_1_1FunEntryICFGNode.html#a15fd95468e2200d92d650625d4fa2f31',1,'SVF::FunEntryICFGNode::FunEntryICFGNode()']]],
|
|
153
|
+
['funentrynode',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
|
|
154
154
|
['funexitblock',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
|
|
155
|
-
['
|
|
156
|
-
['funexitnode',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#
|
|
155
|
+
['funexiticfgnode',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html',1,'SVF::FunExitICFGNode'],['../classSVF_1_1FunExitICFGNode.html#a84f43a81c2b6df125f32ddcb47b8858b',1,'SVF::FunExitICFGNode::FunExitICFGNode()']]],
|
|
156
|
+
['funexitnode',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
|
|
157
157
|
['funhasret',['funHasRet',['../classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046',1,'SVF::SVFIR']]],
|
|
158
158
|
['funptrddaclient',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF::FunptrDDAClient'],['../classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5',1,'SVF::FunptrDDAClient::FunptrDDAClient()']]],
|
|
159
159
|
['funptrtocallsitesmap',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR::funPtrToCallSitesMap()'],['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR::FunPtrToCallSitesMap()']]],
|
|
@@ -169,9 +169,9 @@ var searchData=
|
|
|
169
169
|
['funtoformalinmap',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
|
|
170
170
|
['funtoformaloutmap',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
|
|
171
171
|
['funtofunentrynodemap',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
|
|
172
|
-
['funtofunentrynodemapty',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#
|
|
172
|
+
['funtofunentrynodemapty',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
|
|
173
173
|
['funtofunexitnodemap',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
|
|
174
|
-
['funtofunexitnodemapty',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#
|
|
174
|
+
['funtofunexitnodemapty',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
|
|
175
175
|
['funtoidmapty',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ada2191cb0e3798ba29aa442dca762290',1,'SVF::SymbolTableInfo']]],
|
|
176
176
|
['funtointermap',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
|
|
177
177
|
['funtoloopinfomap',['FunToLoopInfoMap',['../classSVF_1_1MTA.html#a2473be56f2861ad101f65a65e02dff8d',1,'SVF::MTA::FunToLoopInfoMap()'],['../classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7',1,'SVF::PTACFInfoBuilder::FunToLoopInfoMap()'],['../classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89',1,'SVF::PTACFInfoBuilder::funToLoopInfoMap()']]],
|
|
@@ -74,13 +74,13 @@ var searchData=
|
|
|
74
74
|
['get_5fid',['get_id',['../classSVF_1_1CondVar.html#a5d64fa2be89051cd03301e3b07bffd6a',1,'SVF::CondVar']]],
|
|
75
75
|
['get_5ftype',['get_type',['../classSVF_1_1ExtAPI.html#a90b433cf855adcf34c6ef7f7e5be62b1',1,'SVF::ExtAPI']]],
|
|
76
76
|
['getactualindef',['getActualINDef',['../classSVF_1_1SVFGOPT.html#a550f93b640a6fd68773fbafd2944d7df',1,'SVF::SVFGOPT']]],
|
|
77
|
-
['getactualinsvfgnodes',['getActualINSVFGNodes',['../classSVF_1_1SVFG.html#
|
|
78
|
-
['getactualoutsvfgnodes',['getActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#
|
|
77
|
+
['getactualinsvfgnodes',['getActualINSVFGNodes',['../classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975',1,'SVF::SVFG']]],
|
|
78
|
+
['getactualoutsvfgnodes',['getActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f',1,'SVF::SVFG']]],
|
|
79
79
|
['getactualparmatforksite',['getActualParmAtForkSite',['../classSVF_1_1ThreadAPI.html#a6bc40bc0b35c23e9d1874c844511449d',1,'SVF::ThreadAPI::getActualParmAtForkSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ae8224e28db2323874fb9da8b05d3ab80',1,'SVF::ThreadAPI::getActualParmAtForkSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#aaeeb386d80b51d729322317065606454',1,'SVF::SVFUtil::getActualParmAtForkSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a01119ea4e3a10ebecdef4d390a1c4c88',1,'SVF::SVFUtil::getActualParmAtForkSite(const Instruction *inst)']]],
|
|
80
|
-
['getactualparms',['getActualParms',['../
|
|
81
|
-
['getactualparmvfgnode',['getActualParmVFGNode',['../classSVF_1_1VFG.html#
|
|
80
|
+
['getactualparms',['getActualParms',['../classSVF_1_1CallICFGNode.html#ab43c000436d0f6d978f4fff831671d5c',1,'SVF::CallICFGNode']]],
|
|
81
|
+
['getactualparmvfgnode',['getActualParmVFGNode',['../classSVF_1_1VFG.html#a6bbfe457dcc7104e6928323499ea964e',1,'SVF::VFG']]],
|
|
82
82
|
['getactualpts',['getActualPts',['../classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa',1,'SVF::PersistentPointsToCache']]],
|
|
83
|
-
['getactualret',['getActualRet',['../
|
|
83
|
+
['getactualret',['getActualRet',['../classSVF_1_1RetICFGNode.html#a9815b38f376af31b14ea2e0f3afd3427',1,'SVF::RetICFGNode']]],
|
|
84
84
|
['getactualretvfgnode',['getActualRetVFGNode',['../classSVF_1_1VFG.html#a0b072e8e45899b89da0a466140563c38',1,'SVF::VFG']]],
|
|
85
85
|
['getaddrcgedges',['getAddrCGEdges',['../classSVF_1_1ConstraintGraph.html#adee52f15f5ff58dd455e419c2643f89b',1,'SVF::ConstraintGraph']]],
|
|
86
86
|
['getaddrinedges',['getAddrInEdges',['../classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077',1,'SVF::ConstraintNode']]],
|
|
@@ -131,36 +131,36 @@ var searchData=
|
|
|
131
131
|
['getcachedadpointsto',['getCachedADPointsTo',['../classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704',1,'SVF::DDAVFSolver']]],
|
|
132
132
|
['getcachedpointsto',['getCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf',1,'SVF::DDAVFSolver']]],
|
|
133
133
|
['getcachedtlpointsto',['getCachedTLPointsTo',['../classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f',1,'SVF::DDAVFSolver::getCachedTLPointsTo()'],['../classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b',1,'SVF::FlowDDA::getCachedTLPointsTo()']]],
|
|
134
|
-
['getcallblocknode',['getCallBlockNode',['../classSVF_1_1ICFG.html#
|
|
134
|
+
['getcallblocknode',['getCallBlockNode',['../classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723',1,'SVF::ICFG::getCallBlockNode()'],['../classSVF_1_1RetICFGNode.html#afd2a06f0749c359c544048ae40085695',1,'SVF::RetICFGNode::getCallBlockNode()'],['../classSVF_1_1PCG.html#ab0ab4b42b42b16dd75fc7db16a3df5a8',1,'SVF::PCG::getCallBlockNode()'],['../classSVF_1_1TCT.html#afea9de8f27e501fdc2723cc14a8dc93f',1,'SVF::TCT::getCallBlockNode()']]],
|
|
135
135
|
['getcalledfunction',['getCalledFunction',['../classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf',1,'SVF::CallSite']]],
|
|
136
|
-
['getcalledgebegin',['getCallEdgeBegin',['../classSVF_1_1PTACallGraph.html#
|
|
137
|
-
['getcalledgeend',['getCallEdgeEnd',['../classSVF_1_1PTACallGraph.html#
|
|
136
|
+
['getcalledgebegin',['getCallEdgeBegin',['../classSVF_1_1PTACallGraph.html#a4ed2fd37007de9c873d5e197a0b3bd4e',1,'SVF::PTACallGraph']]],
|
|
137
|
+
['getcalledgeend',['getCallEdgeEnd',['../classSVF_1_1PTACallGraph.html#a170a33ac22673dfd363c3e3b96987737',1,'SVF::PTACallGraph']]],
|
|
138
138
|
['getcalledvalue',['getCalledValue',['../classSVF_1_1CallSite.html#a9526f6c3829f8897d1ca617feda8451a',1,'SVF::CallSite']]],
|
|
139
139
|
['getcallee',['getCallee',['../classSVF_1_1MHP.html#a71183ff98500d1ce49170bab61fe664e',1,'SVF::MHP::getCallee()'],['../classSVF_1_1ForkJoinAnalysis.html#afcf119c89e93a24923dd0d97ddec7ee1',1,'SVF::ForkJoinAnalysis::getCallee()'],['../classSVF_1_1ThreadAPI.html#a08c83946d87ab935bd8bf6fea20792ba',1,'SVF::ThreadAPI::getCallee(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ab2c517ddae02fbb80f56ddc609b2f5ef',1,'SVF::ThreadAPI::getCallee(const CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d',1,'SVF::SVFUtil::getCallee(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#af26c7636bfef7ab2a36cccdcf12c3538',1,'SVF::SVFUtil::getCallee(const Instruction *inst)']]],
|
|
140
140
|
['getcalleeofcallsite',['getCalleeOfCallSite',['../classSVF_1_1PTACallGraph.html#aacd5f35171717cb4d758c17bef828a0f',1,'SVF::PTACallGraph']]],
|
|
141
|
-
['getcallees',['getCallees',['../classSVF_1_1PTACallGraph.html#
|
|
142
|
-
['getcaller',['getCaller',['../
|
|
141
|
+
['getcallees',['getCallees',['../classSVF_1_1PTACallGraph.html#a317e09edb29b110cf4273009551d31ec',1,'SVF::PTACallGraph']]],
|
|
142
|
+
['getcaller',['getCaller',['../classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e',1,'SVF::CallICFGNode::getCaller()'],['../classSVF_1_1ActualRetVFGNode.html#ac8b9a7d905022c57699b7ba1ad5e3e51',1,'SVF::ActualRetVFGNode::getCaller()'],['../classSVF_1_1CallSite.html#afd501405e1d3cc673fced6dc56f3b759',1,'SVF::CallSite::getCaller()']]],
|
|
143
143
|
['getcallerofcallsite',['getCallerOfCallSite',['../classSVF_1_1PTACallGraph.html#a42035e9669204ddd5d38583db21af3d7',1,'SVF::PTACallGraph']]],
|
|
144
144
|
['getcallgraph',['getCallGraph',['../classSVF_1_1VFG.html#a1693ccdb6c1b57418316c29cde05cad2',1,'SVF::VFG::getCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#ad445032e9b2027b3c990ce2a250257f8',1,'SVF::SrcSnkDDA::getCallgraph()']]],
|
|
145
145
|
['getcallgraphnode',['getCallGraphNode',['../classSVF_1_1PTACallGraph.html#aaab54c670518d9d6790707f76ea76aa1',1,'SVF::PTACallGraph::getCallGraphNode(NodeID id) const'],['../classSVF_1_1PTACallGraph.html#ae3ee76be0e959a736c868dc7e0128077',1,'SVF::PTACallGraph::getCallGraphNode(const SVFFunction *fun) const']]],
|
|
146
146
|
['getcallgraphscc',['getCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#a0bddf297a2d8cd59ce9a232f0229f248',1,'SVF::PointerAnalysis']]],
|
|
147
147
|
['getcallgraphsccrepnode',['getCallGraphSCCRepNode',['../classSVF_1_1PointerAnalysis.html#ae8190ce12fb0c6360953f4b05047fbe8',1,'SVF::PointerAnalysis']]],
|
|
148
148
|
['getcallgraphsccrevtopoorder',['getCallGraphSCCRevTopoOrder',['../classSVF_1_1MRGenerator.html#ab3d3ca72d2cddf5336d00dc623f33401',1,'SVF::MRGenerator']]],
|
|
149
|
-
['getcallicfgnode',['getCallICFGNode',['../classSVF_1_1ICFG.html#
|
|
150
|
-
['getcallinst',['getCallInst',['../classSVF_1_1CallPE.html#
|
|
149
|
+
['getcallicfgnode',['getCallICFGNode',['../classSVF_1_1ICFG.html#ab10620eaac6b74f7cb18ba0c1211b4f1',1,'SVF::ICFG']]],
|
|
150
|
+
['getcallinst',['getCallInst',['../classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f',1,'SVF::CallPE::getCallInst()'],['../classSVF_1_1RetPE.html#a9bbf558ffc8e3c1136e20d18d4c95f42',1,'SVF::RetPE::getCallInst()']]],
|
|
151
151
|
['getcallinsttocallgraphedgesmap',['getCallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629',1,'SVF::PTACallGraph']]],
|
|
152
|
-
['getcallsite',['getCallSite',['../classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714',1,'SVF::RetCFGEdge::getCallSite()'],['../
|
|
153
|
-
['getcallsiteargslist',['getCallSiteArgsList',['../classSVF_1_1SVFIR.html#
|
|
152
|
+
['getcallsite',['getCallSite',['../classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714',1,'SVF::RetCFGEdge::getCallSite()'],['../classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf',1,'SVF::CallICFGNode::getCallSite()'],['../classSVF_1_1RetICFGNode.html#a8f0490ea9491afdf81641e9928f5a5f7',1,'SVF::RetICFGNode::getCallSite()'],['../classSVF_1_1PTACallGraph.html#a16e0017ad3a2d36d7efbc4383e394154',1,'SVF::PTACallGraph::getCallSite()'],['../classSVF_1_1ActualINSVFGNode.html#aab3b2931f60adeb9fd8c87087074d834',1,'SVF::ActualINSVFGNode::getCallSite()'],['../classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f',1,'SVF::ActualOUTSVFGNode::getCallSite()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce',1,'SVF::InterMSSAPHISVFGNode::getCallSite()'],['../classSVF_1_1VFG.html#a246cce511b8e9164a7c1760d1983f492',1,'SVF::VFG::getCallSite()'],['../classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e',1,'SVF::ActualParmVFGNode::getCallSite()'],['../classSVF_1_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18',1,'SVF::ActualRetVFGNode::getCallSite()'],['../classSVF_1_1InterPHIVFGNode.html#a0b35e0c57fc0261d67e7080fa50fd581',1,'SVF::InterPHIVFGNode::getCallSite()'],['../classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09',1,'SVF::CallPE::getCallSite()'],['../classSVF_1_1RetPE.html#ab03f10c0375846a733f3257736a84f9d',1,'SVF::RetPE::getCallSite()'],['../classSVF_1_1CallMU.html#a57616dc30fb97c6dc64c9210b42bbeb7',1,'SVF::CallMU::getCallSite()'],['../classSVF_1_1CallCHI.html#af7f9fb3c01c487686453e25104a5bfc7',1,'SVF::CallCHI::getCallSite()'],['../classSVF_1_1ProgSlice.html#a8ae327bc7bf72f892d87730edfc67d0d',1,'SVF::ProgSlice::getCallSite()']]],
|
|
153
|
+
['getcallsiteargslist',['getCallSiteArgsList',['../classSVF_1_1SVFIR.html#a2a1e8ce39bf8deace3c344d5f05fe6ac',1,'SVF::SVFIR']]],
|
|
154
154
|
['getcallsiteargsmap',['getCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7',1,'SVF::SVFIR']]],
|
|
155
|
-
['getcallsiteargspts',['getCallSiteArgsPts',['../classSVF_1_1MRGenerator.html#
|
|
155
|
+
['getcallsiteargspts',['getCallSiteArgsPts',['../classSVF_1_1MRGenerator.html#ad402506c2938d4b5440119e6091e4057',1,'SVF::MRGenerator']]],
|
|
156
156
|
['getcallsitechinum',['getCallSiteChiNum',['../classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc',1,'SVF::MemSSA']]],
|
|
157
|
-
['getcallsiteid',['getCallSiteID',['../classSVF_1_1PTACallGraphEdge.html#af9ca9cfffbba3b68838d41be62c914ac',1,'SVF::PTACallGraphEdge::getCallSiteID()'],['../classSVF_1_1PTACallGraph.html#
|
|
158
|
-
['getcallsitemodmrset',['getCallSiteModMRSet',['../classSVF_1_1MRGenerator.html#
|
|
157
|
+
['getcallsiteid',['getCallSiteID',['../classSVF_1_1PTACallGraphEdge.html#af9ca9cfffbba3b68838d41be62c914ac',1,'SVF::PTACallGraphEdge::getCallSiteID()'],['../classSVF_1_1PTACallGraph.html#a711bd8ad385f8454fbfcd20f134efe1b',1,'SVF::PTACallGraph::getCallSiteID()'],['../classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387',1,'SVF::VFG::getCallSiteID()'],['../classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa',1,'SVF::CallIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452',1,'SVF::RetIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1CallDirSVFGEdge.html#ae6051f47731b62c456216554f7b7dba6',1,'SVF::CallDirSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetDirSVFGEdge.html#a86ef0a34735096e86d3731cd6ecf769a',1,'SVF::RetDirSVFGEdge::getCallSiteId()']]],
|
|
158
|
+
['getcallsitemodmrset',['getCallSiteModMRSet',['../classSVF_1_1MRGenerator.html#a4ee12b940608c34ee81b07cdc8d35538',1,'SVF::MRGenerator']]],
|
|
159
159
|
['getcallsitemunum',['getCallSiteMuNum',['../classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5',1,'SVF::MemSSA']]],
|
|
160
160
|
['getcallsitepair',['getCallSitePair',['../classSVF_1_1PTACallGraph.html#a9155629ddc58f71c6a6f2aec978e4610',1,'SVF::PTACallGraph']]],
|
|
161
|
-
['getcallsiterefmrset',['getCallSiteRefMRSet',['../classSVF_1_1MRGenerator.html#
|
|
162
|
-
['getcallsiteret',['getCallSiteRet',['../classSVF_1_1SVFIR.html#
|
|
163
|
-
['getcallsiteretpts',['getCallSiteRetPts',['../classSVF_1_1MRGenerator.html#
|
|
161
|
+
['getcallsiterefmrset',['getCallSiteRefMRSet',['../classSVF_1_1MRGenerator.html#acd4694a030755b7491a6ef55d9ba2682',1,'SVF::MRGenerator']]],
|
|
162
|
+
['getcallsiteret',['getCallSiteRet',['../classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6',1,'SVF::SVFIR']]],
|
|
163
|
+
['getcallsiteretpts',['getCallSiteRetPts',['../classSVF_1_1MRGenerator.html#ab19c541dd4c3a0e691287da5dd43540d',1,'SVF::MRGenerator']]],
|
|
164
164
|
['getcallsiterets',['getCallSiteRets',['../classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22',1,'SVF::SVFIR']]],
|
|
165
165
|
['getcallsiteset',['getCallSiteSet',['../classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb',1,'SVF::SVFIR::getCallSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#adc8e9a6cd5d27391beb1a88706e77a77',1,'SVF::SymbolTableInfo::getCallSiteSet()']]],
|
|
166
166
|
['getcallsitetochisetmap',['getCallSiteToChiSetMap',['../classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d',1,'SVF::MemSSA']]],
|
|
@@ -168,13 +168,13 @@ var searchData=
|
|
|
168
168
|
['getcandidatequeries',['getCandidateQueries',['../classSVF_1_1DDAClient.html#a6f50b9a26f66e716acf163cc77030e5f',1,'SVF::DDAClient::getCandidateQueries()'],['../classSVF_1_1DDAVFSolver.html#a73bbf4f763316e8d5db62d163da35a18',1,'SVF::DDAVFSolver::getCandidateQueries()']]],
|
|
169
169
|
['getcandidates',['getCandidates',['../classSVF_1_1WPAMinimumSolver.html#a2dc1f9588dd3ac376f8bb17a144c6fb2',1,'SVF::WPAMinimumSolver']]],
|
|
170
170
|
['getcanonicaltype',['getCanonicalType',['../classSVF_1_1DCHGraph.html#a079feacdcc3783f4a9108a3b2d2aed2c',1,'SVF::DCHGraph']]],
|
|
171
|
-
['getcbn',['getCBN',['../classSVF_1_1LockResultValidator.html#
|
|
171
|
+
['getcbn',['getCBN',['../classSVF_1_1LockResultValidator.html#a97eef42fa816256818b44382604b53c8',1,'SVF::LockResultValidator::getCBN()'],['../classSVF_1_1MHP.html#aca4903cf3e3ef5b2ed5959e5e6181d55',1,'SVF::MHP::getCBN()'],['../classSVF_1_1ForkJoinAnalysis.html#a94d65f9e22a13772042b2af652cf5538',1,'SVF::ForkJoinAnalysis::getCBN()']]],
|
|
172
172
|
['getcfcond',['getCFCond',['../classSVF_1_1PathCondAllocator.html#a8c926057571ca14743e106a5a6ce7ae9',1,'SVF::PathCondAllocator']]],
|
|
173
173
|
['getcheckerapi',['getCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036',1,'SVF::SaberCheckerAPI']]],
|
|
174
174
|
['getchgraph',['getCHGraph',['../classSVF_1_1PointerAnalysis.html#ae2cc7cd0803dbd90639140e71b06b1b5',1,'SVF::PointerAnalysis']]],
|
|
175
175
|
['getchildrenbegin',['getChildrenBegin',['../classSVF_1_1TCT.html#a511c2ee4cfdc01a720135b2cd493fe3b',1,'SVF::TCT']]],
|
|
176
176
|
['getchildrenend',['getChildrenEnd',['../classSVF_1_1TCT.html#af47837e30a80e8d6684f3ee6001afb7a',1,'SVF::TCT']]],
|
|
177
|
-
['getchiset',['getCHISet',['../classSVF_1_1MemSSA.html#a2e656a50f8964fc3e99d1d436de64418',1,'SVF::MemSSA::getCHISet(const StoreStmt *st)'],['../classSVF_1_1MemSSA.html#
|
|
177
|
+
['getchiset',['getCHISet',['../classSVF_1_1MemSSA.html#a2e656a50f8964fc3e99d1d436de64418',1,'SVF::MemSSA::getCHISet(const StoreStmt *st)'],['../classSVF_1_1MemSSA.html#a959e932912b924ec91e1526947493204',1,'SVF::MemSSA::getCHISet(const CallICFGNode *cs)']]],
|
|
178
178
|
['getclassnamefromtype',['getClassNameFromType',['../namespaceSVF_1_1cppUtil.html#a891719bac36ebb6c001f073dfa5a9e7b',1,'SVF::cppUtil']]],
|
|
179
179
|
['getclassnamefromvtblobj',['getClassNameFromVtblObj',['../namespaceSVF_1_1cppUtil.html#ad83c097f1c77cdf52fc219ef07ee0b1a',1,'SVF::cppUtil']]],
|
|
180
180
|
['getclassnameofthisptr',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a3bed7bc0a0ae580841ca049f91690ff7',1,'SVF::cppUtil']]],
|
|
@@ -298,34 +298,34 @@ var searchData=
|
|
|
298
298
|
['getflatternedfieldtype',['getFlatternedFieldType',['../classSVF_1_1SymbolTableInfo.html#a666d1dff7a629bd34abbd2031c1037a4',1,'SVF::SymbolTableInfo::getFlatternedFieldType()'],['../classSVF_1_1StInfo.html#a102181a3ac3c634e3c25a566756ec764',1,'SVF::StInfo::getFlatternedFieldType()']]],
|
|
299
299
|
['getfollowers',['getFollowers',['../classSVF_1_1PCG.html#a1312d734609f82230d3c00a99b189db9',1,'SVF::PCG']]],
|
|
300
300
|
['getforkedfun',['getForkedFun',['../classSVF_1_1ThreadAPI.html#a7ddc0c71aeae315af21972a4905b3456',1,'SVF::ThreadAPI::getForkedFun(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#aff38fda045d0016660710ab9124da13c',1,'SVF::ThreadAPI::getForkedFun(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac',1,'SVF::SVFUtil::getForkedFun(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a4cc8c549625712e006079642c656ec83',1,'SVF::SVFUtil::getForkedFun(const Instruction *inst)']]],
|
|
301
|
-
['getforkedgebegin',['getForkEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#
|
|
302
|
-
['getforkedgeend',['getForkEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#
|
|
301
|
+
['getforkedgebegin',['getForkEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#a8721610a39212613ad55bbd46a35c576',1,'SVF::ThreadCallGraph']]],
|
|
302
|
+
['getforkedgeend',['getForkEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#a8351e7ab445cb7faf0209d1fbc63fce1',1,'SVF::ThreadCallGraph']]],
|
|
303
303
|
['getforkedthread',['getForkedThread',['../classSVF_1_1ForkJoinAnalysis.html#acd4308b99446c277ccb3407103fe21d0',1,'SVF::ForkJoinAnalysis::getForkedThread()'],['../classSVF_1_1ThreadAPI.html#a11dc55f35c18bd1f46d00c21c7dc695e',1,'SVF::ThreadAPI::getForkedThread(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a25a4bc5f173773340b430324a4d3bbdd',1,'SVF::ThreadAPI::getForkedThread(CallSite cs) const']]],
|
|
304
304
|
['getformalinsvfgnodes',['getFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a9d0714075d6071c26d26cf16c4dec7c5',1,'SVF::SVFG']]],
|
|
305
305
|
['getformaloutdef',['getFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a8d0b44ba9f3e6f9344a10d085d7be2b4',1,'SVF::SVFGOPT']]],
|
|
306
306
|
['getformaloutsvfgnodes',['getFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a287c337697eed7d92889bca0a0e370d7',1,'SVF::SVFG']]],
|
|
307
|
-
['getformalparms',['getFormalParms',['../
|
|
307
|
+
['getformalparms',['getFormalParms',['../classSVF_1_1FunEntryICFGNode.html#a0807f2ce6c0949cafa9c5a1817fbca6c',1,'SVF::FunEntryICFGNode']]],
|
|
308
308
|
['getformalparmvfgnode',['getFormalParmVFGNode',['../classSVF_1_1VFG.html#a75eb519e4f89a116db98fccb263af4d6',1,'SVF::VFG']]],
|
|
309
|
-
['getformalret',['getFormalRet',['../
|
|
309
|
+
['getformalret',['getFormalRet',['../classSVF_1_1FunExitICFGNode.html#a03a1b6551377b4a85fdecf36ec247767',1,'SVF::FunExitICFGNode']]],
|
|
310
310
|
['getformalretvfgnode',['getFormalRetVFGNode',['../classSVF_1_1VFG.html#ab7ba9d179504165f277d347a7cb9f5d8',1,'SVF::VFG']]],
|
|
311
311
|
['getforwardslicesize',['getForwardSliceSize',['../classSVF_1_1ProgSlice.html#aae54f4e8a827f55abe08762b69d9f84b',1,'SVF::ProgSlice']]],
|
|
312
|
-
['getfun',['getFun',['../classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da',1,'SVF::ICFGNode::getFun()'],['../
|
|
312
|
+
['getfun',['getFun',['../classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da',1,'SVF::ICFGNode::getFun()'],['../classSVF_1_1FunEntryICFGNode.html#ac2451fdc53f319bc92528af7edc94b2d',1,'SVF::FunEntryICFGNode::getFun()'],['../classSVF_1_1FunExitICFGNode.html#a54dfbbebbfe18a8a493656d6ad8663be',1,'SVF::FunExitICFGNode::getFun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01',1,'SVF::InterMSSAPHISVFGNode::getFun()'],['../classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27',1,'SVF::VFGNode::getFun()'],['../classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8',1,'SVF::FormalParmVFGNode::getFun()'],['../classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93',1,'SVF::FormalRetVFGNode::getFun()'],['../classSVF_1_1InterPHIVFGNode.html#a875ffe4fcc25af08ba9be4a568da8b4f',1,'SVF::InterPHIVFGNode::getFun()']]],
|
|
313
313
|
['getfunargslist',['getFunArgsList',['../classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a',1,'SVF::SVFIR']]],
|
|
314
314
|
['getfunargsmap',['getFunArgsMap',['../classSVF_1_1SVFIR.html#a615c056c876b59d1fd174a2ac9ade27c',1,'SVF::SVFIR']]],
|
|
315
315
|
['getfuncentrychiset',['getFuncEntryChiSet',['../classSVF_1_1MemSSA.html#a10743fe9c116ee624387c0473815b800',1,'SVF::MemSSA']]],
|
|
316
316
|
['getfunction',['getFunction',['../classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09',1,'SVF::PTACallGraphNode::getFunction()'],['../classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e',1,'SVF::SVFVar::getFunction()'],['../classSVF_1_1MRGenerator.html#a3121380139c7ae96d2045d66203253b6',1,'SVF::MRGenerator::getFunction()'],['../classSVF_1_1RetMU.html#a8ad6bf3d517e20089dac516742ee4b8f',1,'SVF::RetMU::getFunction()'],['../classSVF_1_1EntryCHI.html#ae021640611362449382668665710154c',1,'SVF::EntryCHI::getFunction()'],['../namespaceSVF_1_1SVFUtil.html#a4f457db1cfa0d4f94762a306c0ac3757',1,'SVF::SVFUtil::getFunction()']]],
|
|
317
317
|
['getfunctiontype',['getFunctionType',['../classSVF_1_1CallSite.html#ad0040f4b7953b509059223d1d52c203f',1,'SVF::CallSite']]],
|
|
318
|
-
['getfunentryblocknode',['getFunEntryBlockNode',['../classSVF_1_1ICFG.html#
|
|
318
|
+
['getfunentryblocknode',['getFunEntryBlockNode',['../classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025',1,'SVF::ICFG']]],
|
|
319
319
|
['getfunentrychinum',['getFunEntryChiNum',['../classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f',1,'SVF::MemSSA']]],
|
|
320
|
-
['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#
|
|
321
|
-
['getfunentrynode',['getFunEntryNode',['../classSVF_1_1FormalINSVFGNode.html#
|
|
320
|
+
['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#a11a2c1f54747069b924ee2870163dc05',1,'SVF::ICFG']]],
|
|
321
|
+
['getfunentrynode',['getFunEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a765f45d67d8b99dc85eb92676ca1be4e',1,'SVF::FormalINSVFGNode']]],
|
|
322
322
|
['getfunexitbb',['getFunExitBB',['../namespaceSVF_1_1SVFUtil.html#a3cb226930eeaf558575e09e5b65e0223',1,'SVF::SVFUtil']]],
|
|
323
|
-
['getfunexitblocknode',['getFunExitBlockNode',['../classSVF_1_1ICFG.html#
|
|
324
|
-
['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#
|
|
325
|
-
['getfunexitnode',['getFunExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#
|
|
323
|
+
['getfunexitblocknode',['getFunExitBlockNode',['../classSVF_1_1ICFG.html#a8f131fd585f6fa0c93023ee193500b26',1,'SVF::ICFG']]],
|
|
324
|
+
['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#a12f78e9ce71a904975932e1784060050',1,'SVF::ICFG']]],
|
|
325
|
+
['getfunexitnode',['getFunExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#ae23aa8ff8585c31071726f2b2fb1499d',1,'SVF::FormalOUTSVFGNode']]],
|
|
326
326
|
['getfunmrset',['getFunMRSet',['../classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879',1,'SVF::MRGenerator']]],
|
|
327
327
|
['getfunnameofvcallsite',['getFunNameOfVCallSite',['../namespaceSVF_1_1cppUtil.html#a0a67c31dcc44784b09dca54b4b7c624a',1,'SVF::cppUtil']]],
|
|
328
|
-
['getfunptr',['getFunPtr',['../classSVF_1_1PointerAnalysis.html#
|
|
328
|
+
['getfunptr',['getFunPtr',['../classSVF_1_1PointerAnalysis.html#adbceaf90526e44192c2fa4aac5468f5f',1,'SVF::PointerAnalysis::getFunPtr()'],['../classSVF_1_1SVFIR.html#a17c5d9fa7c0bd3cd03c06b5ff0906eb6',1,'SVF::SVFIR::getFunPtr()']]],
|
|
329
329
|
['getfunreachablebbs',['getFunReachableBBs',['../namespaceSVF_1_1SVFUtil.html#a61b29238f1f32978c7b6aded4b73244d',1,'SVF::SVFUtil']]],
|
|
330
330
|
['getfunret',['getFunRet',['../classSVF_1_1SVFIR.html#a34e27b8bcfeaafda190dcdb9169a346f',1,'SVF::SVFIR']]],
|
|
331
331
|
['getfunretmunum',['getFunRetMuNum',['../classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f',1,'SVF::MemSSA']]],
|
|
@@ -341,7 +341,7 @@ var searchData=
|
|
|
341
341
|
['getgepobjvar',['getGepObjVar',['../classSVF_1_1ConstraintGraph.html#a3f727a2822fb18a14ce9e10c6534cf5a',1,'SVF::ConstraintGraph::getGepObjVar()'],['../classSVF_1_1PointerAnalysis.html#acbbc0934af9bc0145389dc41430c6d8b',1,'SVF::PointerAnalysis::getGepObjVar()'],['../classSVF_1_1SVFIR.html#a20c0c65af266ac876cb722aee6e87101',1,'SVF::SVFIR::getGepObjVar(const MemObj *obj, const LocationSet &ls)'],['../classSVF_1_1SVFIR.html#ab3e37eab61e7899f950be7de5f4d7916',1,'SVF::SVFIR::getGepObjVar(NodeID id, const LocationSet &ls)']]],
|
|
342
342
|
['getgepoutedges',['getGepOutEdges',['../classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8',1,'SVF::ConstraintNode']]],
|
|
343
343
|
['getgepvalvar',['getGepValVar',['../classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02',1,'SVF::SVFIR::getGepValVar()'],['../classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58',1,'SVF::SVFIRBuilder::getGepValVar()']]],
|
|
344
|
-
['getglobalblocknode',['getGlobalBlockNode',['../classSVF_1_1ICFG.html#
|
|
344
|
+
['getglobalblocknode',['getGlobalBlockNode',['../classSVF_1_1ICFG.html#a51917fa4244cdb46f06ab647b5c2656f',1,'SVF::ICFG']]],
|
|
345
345
|
['getglobalrep',['getGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12',1,'SVF::LLVMModuleSet::getGlobalRep()'],['../namespaceSVF_1_1SVFUtil.html#a4b55d5252da1f316f505cf6ce2078b28',1,'SVF::SVFUtil::getGlobalRep()']]],
|
|
346
346
|
['getglobalsvfstmtset',['getGlobalSVFStmtSet',['../classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687',1,'SVF::SVFIR']]],
|
|
347
347
|
['getglobalvarfield',['getGlobalVarField',['../classSVF_1_1SVFIRBuilder.html#a8e2440b87147a9d1380876d6beb410ae',1,'SVF::SVFIRBuilder']]],
|
|
@@ -363,13 +363,13 @@ var searchData=
|
|
|
363
363
|
['getindcallmap',['getIndCallMap',['../classSVF_1_1PTACallGraph.html#ad49fa2a288945f6910deb11acdf6a42d',1,'SVF::PTACallGraph::getIndCallMap()'],['../classSVF_1_1PointerAnalysis.html#a1ca30dfa42702071b65d363c76d25cbe',1,'SVF::PointerAnalysis::getIndCallMap()']]],
|
|
364
364
|
['getindcallsites',['getIndCallSites',['../classSVF_1_1SVFIR.html#abf209739a97b96ae0d1c8451fdc684e8',1,'SVF::SVFIR']]],
|
|
365
365
|
['getindcallsitesinvokingcallee',['getIndCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a9a4b0c6672288b9201ab254b4c49548d',1,'SVF::PTACallGraph']]],
|
|
366
|
-
['getindcscallees',['getIndCSCallees',['../classSVF_1_1PTACallGraph.html#
|
|
366
|
+
['getindcscallees',['getIndCSCallees',['../classSVF_1_1PTACallGraph.html#ac106536778c829d6925d6ed2149aeb44',1,'SVF::PTACallGraph::getIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#ae0efd57376195eacded85d58abee5b46',1,'SVF::PointerAnalysis::getIndCSCallees()']]],
|
|
367
367
|
['getindexedtype',['getIndexedType',['../classllvm_1_1generic__bridge__gep__type__iterator.html#acc10ad7ecc64270225cb5e8f52689673',1,'llvm::generic_bridge_gep_type_iterator']]],
|
|
368
368
|
['getindirectcalls',['getIndirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a76aa19edf03a4cacfa3e27a21abfcd07',1,'SVF::PTACallGraphEdge::getIndirectCalls()'],['../classSVF_1_1PTACallGraphEdge.html#a51dbd8a7b9d0a4602215f71e3fdfee5f',1,'SVF::PTACallGraphEdge::getIndirectCalls() const']]],
|
|
369
369
|
['getindirectcallsites',['getIndirectCallsites',['../classSVF_1_1ConstraintGraph.html#a48a71f212e368769218a6f332822c976',1,'SVF::ConstraintGraph::getIndirectCallsites()'],['../classSVF_1_1PointerAnalysis.html#a9d3e7753643166465b0d647a75bc145a',1,'SVF::PointerAnalysis::getIndirectCallsites()'],['../classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0',1,'SVF::SVFIR::getIndirectCallsites()']]],
|
|
370
370
|
['getinedges',['getInEdges',['../classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b',1,'SVF::GenericNode']]],
|
|
371
371
|
['getinsensitiveedgeset',['getInsensitiveEdgeSet',['../classSVF_1_1ContextDDA.html#a0d407903c4b0d976da30538ff0c5fc41',1,'SVF::ContextDDA']]],
|
|
372
|
-
['getinst',['getInst',['../
|
|
372
|
+
['getinst',['getInst',['../classSVF_1_1IntraICFGNode.html#a6f9112d3a9d423bbcd391fbbdea3e785',1,'SVF::IntraICFGNode::getInst()'],['../classSVF_1_1StmtVFGNode.html#aae94dd9031a6662d509627e602aef532',1,'SVF::StmtVFGNode::getInst()'],['../classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db',1,'SVF::SVFStmt::getInst()']]],
|
|
373
373
|
['getinstances',['getInstances',['../classSVF_1_1CHGraph.html#a894a69fa143d3f460d433646a0521b6f',1,'SVF::CHGraph']]],
|
|
374
374
|
['getinstancesanddescendants',['getInstancesAndDescendants',['../classSVF_1_1CHGBuilder.html#a444dba7f18bee07a6cad51f88bb63e30',1,'SVF::CHGBuilder']]],
|
|
375
375
|
['getinstruction',['getInstruction',['../classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1',1,'SVF::CallSite']]],
|
|
@@ -380,18 +380,18 @@ var searchData=
|
|
|
380
380
|
['getinternalnode',['getInternalNode',['../classSVF_1_1PointsTo.html#aeda7466cdd9f77978981e2a518baa863',1,'SVF::PointsTo']]],
|
|
381
381
|
['getinterslist',['getIntersList',['../classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652',1,'SVF::IntraDisjointMRG']]],
|
|
382
382
|
['getintervfedgeatindcsfromaintofin',['getInterVFEdgeAtIndCSFromAInToFIn',['../classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782',1,'SVF::SVFG']]],
|
|
383
|
-
['getintervfedgeatindcsfromaptofp',['getInterVFEdgeAtIndCSFromAPToFP',['../classSVF_1_1SVFG.html#
|
|
383
|
+
['getintervfedgeatindcsfromaptofp',['getInterVFEdgeAtIndCSFromAPToFP',['../classSVF_1_1SVFG.html#ac1acdf7bc468d7734359591e45f485fe',1,'SVF::SVFG']]],
|
|
384
384
|
['getintervfedgeatindcsfromfouttoaout',['getInterVFEdgeAtIndCSFromFOutToAOut',['../classSVF_1_1SVFG.html#a7a88391e0c2cf8a57238dec32c2474a3',1,'SVF::SVFG']]],
|
|
385
385
|
['getintervfedgeatindcsfromfrtoar',['getInterVFEdgeAtIndCSFromFRToAR',['../classSVF_1_1SVFG.html#ab2b969b7d5922427622dd875e6b8fe14',1,'SVF::SVFG']]],
|
|
386
|
-
['getintervfedgesforindirectcallsite',['getInterVFEdgesForIndirectCallSite',['../classSVF_1_1SVFG.html#
|
|
387
|
-
['getintrablockicfgnode',['getIntraBlockICFGNode',['../classSVF_1_1ICFG.html#
|
|
388
|
-
['getintrablocknode',['getIntraBlockNode',['../classSVF_1_1ICFG.html#
|
|
386
|
+
['getintervfedgesforindirectcallsite',['getInterVFEdgesForIndirectCallSite',['../classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534',1,'SVF::SVFG']]],
|
|
387
|
+
['getintrablockicfgnode',['getIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a5f29490c8c18873fa80fc6b1c40b68bd',1,'SVF::ICFG']]],
|
|
388
|
+
['getintrablocknode',['getIntraBlockNode',['../classSVF_1_1ICFG.html#ad0ad7f96fe2b8f772e7d667d5ba3e9a3',1,'SVF::ICFG']]],
|
|
389
389
|
['getintralockset',['getIntraLockSet',['../classSVF_1_1LockAnalysis.html#ad8e7c32cb1163f4917124fed5cf6c3ab',1,'SVF::LockAnalysis']]],
|
|
390
390
|
['getintrapagedge',['getIntraPAGEdge',['../classSVF_1_1SVFIR.html#a6f41676ae91ba7fad38cc7387dd1c255',1,'SVF::SVFIR::getIntraPAGEdge(NodeID src, NodeID dst, SVFStmt::PEDGEK kind)'],['../classSVF_1_1SVFIR.html#ac1dbd64071f9822b0404f4ed9c8bd2cd',1,'SVF::SVFIR::getIntraPAGEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)']]],
|
|
391
391
|
['getintraphivfgnode',['getIntraPHIVFGNode',['../classSVF_1_1VFG.html#a688c0cc4a67c7cd9afbef2f0c264c85b',1,'SVF::VFG']]],
|
|
392
392
|
['getintravfgedge',['getIntraVFGEdge',['../classSVF_1_1VFG.html#ae1348fd6d196ee8a6bd8d98022464d50',1,'SVF::VFG']]],
|
|
393
|
-
['getjoinedgebegin',['getJoinEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#
|
|
394
|
-
['getjoinedgeend',['getJoinEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#
|
|
393
|
+
['getjoinedgebegin',['getJoinEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#af848d7cb8a9f756ff45cca45adbf3b84',1,'SVF::ThreadCallGraph']]],
|
|
394
|
+
['getjoinedgeend',['getJoinEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#a811d7d13c05c71bd816621a9a8765365',1,'SVF::ThreadCallGraph']]],
|
|
395
395
|
['getjoinedthread',['getJoinedThread',['../classSVF_1_1ForkJoinAnalysis.html#ada1e56dfe2d64ea6310142a346c86ed4',1,'SVF::ForkJoinAnalysis::getJoinedThread()'],['../classSVF_1_1ThreadAPI.html#ac9f3cc080275ce7d76dd2f56fc7c6434',1,'SVF::ThreadAPI::getJoinedThread(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#adf4350f4ef5a8d845806ab99591efa93',1,'SVF::ThreadAPI::getJoinedThread(CallSite cs) const']]],
|
|
396
396
|
['getjoinloop',['getJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a3449439792a54c847c67b3041094db49',1,'SVF::ForkJoinAnalysis::getJoinLoop()'],['../classSVF_1_1TCT.html#a52a707bf6f278e810f440c279f5261dc',1,'SVF::TCT::getJoinLoop()']]],
|
|
397
397
|
['getjoinsites',['getJoinSites',['../classSVF_1_1ThreadCallGraph.html#aa8be8d48d680b3f2e61b2d8af5e9eddc',1,'SVF::ThreadCallGraph']]],
|
|
@@ -442,9 +442,9 @@ var searchData=
|
|
|
442
442
|
['getmhp',['getMHP',['../classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2',1,'SVF::FSMPTA']]],
|
|
443
443
|
['getmhpfunctions',['getMHPFunctions',['../classSVF_1_1PCG.html#a3106e03b7df8b34f50c769e1417f341c',1,'SVF::PCG']]],
|
|
444
444
|
['getmodelconstants',['getModelConstants',['../classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5',1,'SVF::SymbolTableInfo']]],
|
|
445
|
-
['getmodinfoforcall',['getModInfoForCall',['../classSVF_1_1MRGenerator.html#
|
|
446
|
-
['getmodrefinfo',['getModRefInfo',['../classSVF_1_1MRGenerator.html#
|
|
447
|
-
['getmodsideeffectofcallsite',['getModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#
|
|
445
|
+
['getmodinfoforcall',['getModInfoForCall',['../classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80',1,'SVF::MRGenerator']]],
|
|
446
|
+
['getmodrefinfo',['getModRefInfo',['../classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs)'],['../classSVF_1_1MRGenerator.html#a3a6c0f60c861b6d744225a40aea638d7',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs, const Value *V)'],['../classSVF_1_1MRGenerator.html#a7e1c258e120d89d7b9d6e414f91c6e4a',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs1, const CallICFGNode *cs2)'],['../classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst)'],['../classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const MemoryLocation &Loc)'],['../classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const Value *V)'],['../classSVF_1_1WPAPass.html#a148cd86101e402e7ed8d3b3dae151d79',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst1, const CallInst *callInst2)']]],
|
|
447
|
+
['getmodsideeffectofcallsite',['getModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99',1,'SVF::MRGenerator']]],
|
|
448
448
|
['getmodsideeffectoffunction',['getModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a7d47fbc3dbe8fd19ca5e4210bdecf914',1,'SVF::MRGenerator']]],
|
|
449
449
|
['getmodule',['getModule',['../classSVF_1_1DDAClient.html#ad9484fac56de8beaf120b1611d23dddc',1,'SVF::DDAClient::getModule()'],['../classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433',1,'SVF::PointerAnalysis::getModule()'],['../classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701',1,'SVF::SVFIR::getModule()'],['../classSVF_1_1SymbolTableInfo.html#a40387a4893ae5caf58d6f786533d2f44',1,'SVF::SymbolTableInfo::getModule()'],['../classSVF_1_1LockResultValidator.html#a7b8a2bf9962bd57e103039ead85821d2',1,'SVF::LockResultValidator::getModule()'],['../classSVF_1_1MTAResultValidator.html#aecaf875c6c88f7ba6fa45540e8436f57',1,'SVF::MTAResultValidator::getModule()'],['../classSVF_1_1LLVMModuleSet.html#a8afb7ab3ee4632e78d546e549110e74c',1,'SVF::LLVMModuleSet::getModule()']]],
|
|
450
450
|
['getmoduleidentifier',['getModuleIdentifier',['../classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344',1,'SVF::SVFModule']]],
|
|
@@ -461,7 +461,7 @@ var searchData=
|
|
|
461
461
|
['getmrsforloadfrominterlist',['getMRsForLoadFromInterList',['../classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a',1,'SVF::IntraDisjointMRG']]],
|
|
462
462
|
['getmrver',['getMRVer',['../classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace',1,'SVF::IndirectSVFGEdge::getMRVer()'],['../classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735',1,'SVF::FormalINSVFGNode::getMRVer()'],['../classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168',1,'SVF::FormalOUTSVFGNode::getMRVer()'],['../classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c',1,'SVF::ActualINSVFGNode::getMRVer()'],['../classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5',1,'SVF::ActualOUTSVFGNode::getMRVer()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18',1,'SVF::IntraMSSAPHISVFGNode::getMRVer()'],['../classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80',1,'SVF::MSSAMU::getMRVer()']]],
|
|
463
463
|
['getmssa',['getMSSA',['../classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9',1,'SVF::SVFG']]],
|
|
464
|
-
['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847',1,'SVF::MemSSA::getMUSet(const LoadStmt *ld)'],['../classSVF_1_1MemSSA.html#
|
|
464
|
+
['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847',1,'SVF::MemSSA::getMUSet(const LoadStmt *ld)'],['../classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb',1,'SVF::MemSSA::getMUSet(const CallICFGNode *cs)']]],
|
|
465
465
|
['getmutdfptdataty',['getMutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483',1,'SVF::BVDataPTAImpl']]],
|
|
466
466
|
['getmutptdataty',['getMutPTDataTy',['../classSVF_1_1CondPTAImpl.html#ab582d46731c06a7fa022bf301d6008c1',1,'SVF::CondPTAImpl']]],
|
|
467
467
|
['getname',['getName',['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9',1,'SVF::SVFValue::getName()']]],
|
|
@@ -509,10 +509,10 @@ var searchData=
|
|
|
509
509
|
['getopvernum',['getOpVerNum',['../classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f',1,'SVF::MSSAPHISVFGNode::getOpVerNum()'],['../classSVF_1_1CmpVFGNode.html#ad95b04c10a54b38344863e6552fc7775',1,'SVF::CmpVFGNode::getOpVerNum()'],['../classSVF_1_1BinaryOPVFGNode.html#a16511457605363135685cf3cf3a474dd',1,'SVF::BinaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5',1,'SVF::UnaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1PHIVFGNode.html#aa147f43ddf3efac3e0143235ab611cf2',1,'SVF::PHIVFGNode::getOpVerNum()'],['../classSVF_1_1MSSAPHI.html#adbefc58750f87cf1c30dd5d445b50feb',1,'SVF::MSSAPHI::getOpVerNum()']]],
|
|
510
510
|
['getoraddblockicfgnode',['getOrAddBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a42f190f697284e6da7a6211ce7adecfe',1,'SVF::ICFGBuilder']]],
|
|
511
511
|
['getoraddbranchcond',['getOrAddBranchCond',['../classSVF_1_1CondManager.html#a0ca23ef4850f9be8abf303eafd104dab',1,'SVF::CondManager']]],
|
|
512
|
-
['getoraddcallicfgnode',['getOrAddCallICFGNode',['../classSVF_1_1ICFGBuilder.html#
|
|
513
|
-
['getoraddinterblockicfgnode',['getOrAddInterBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#
|
|
514
|
-
['getoraddintrablockicfgnode',['getOrAddIntraBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#
|
|
515
|
-
['getoraddreticfgnode',['getOrAddRetICFGNode',['../classSVF_1_1ICFGBuilder.html#
|
|
512
|
+
['getoraddcallicfgnode',['getOrAddCallICFGNode',['../classSVF_1_1ICFGBuilder.html#af0b1627b91de8d007d95ee90c6bfb8da',1,'SVF::ICFGBuilder']]],
|
|
513
|
+
['getoraddinterblockicfgnode',['getOrAddInterBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a1c07cce4cae9bfc8884b37cbda06d8ac',1,'SVF::ICFGBuilder']]],
|
|
514
|
+
['getoraddintrablockicfgnode',['getOrAddIntraBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a91599e3ddb71462ec61a50fad91288da',1,'SVF::ICFGBuilder']]],
|
|
515
|
+
['getoraddreticfgnode',['getOrAddRetICFGNode',['../classSVF_1_1ICFGBuilder.html#afbf56b40d45f14b3a846d840f44d1681',1,'SVF::ICFGBuilder']]],
|
|
516
516
|
['getorcreatenode',['getOrCreateNode',['../classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538',1,'SVF::DCHGraph']]],
|
|
517
517
|
['getorcreatetctnode',['getOrCreateTCTNode',['../classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9',1,'SVF::TCT']]],
|
|
518
518
|
['getoriginalfieldtype',['getOriginalFieldType',['../classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49',1,'SVF::SymbolTableInfo::getOriginalFieldType()'],['../classSVF_1_1StInfo.html#a353476ac0b11f153555557b932847d85',1,'SVF::StInfo::getOriginalFieldType()']]],
|
|
@@ -537,7 +537,7 @@ var searchData=
|
|
|
537
537
|
['getpagsrcnode',['getPAGSrcNode',['../classSVF_1_1StmtVFGNode.html#a837da5917c31e14aa51c6fa3e2640849',1,'SVF::StmtVFGNode']]],
|
|
538
538
|
['getpagsrcnodeid',['getPAGSrcNodeID',['../classSVF_1_1StmtVFGNode.html#a791a01f5d3528f8a8bf19369b5c61c37',1,'SVF::StmtVFGNode']]],
|
|
539
539
|
['getparam',['getParam',['../classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32',1,'SVF::ActualParmVFGNode::getParam()'],['../classSVF_1_1FormalParmVFGNode.html#ab1a9031c1fc5102e072b5035151c131c',1,'SVF::FormalParmVFGNode::getParam()']]],
|
|
540
|
-
['getparent',['getParent',['../
|
|
540
|
+
['getparent',['getParent',['../classSVF_1_1CallICFGNode.html#afb35b6c191a5a0b8e92019f6f3dbcc54',1,'SVF::CallICFGNode']]],
|
|
541
541
|
['getparentsbegin',['getParentsBegin',['../classSVF_1_1TCT.html#afa5bd475c4dc068a0ecc0ec5caab77a9',1,'SVF::TCT']]],
|
|
542
542
|
['getparentsend',['getParentsEnd',['../classSVF_1_1TCT.html#a5d6a06c7daff36a14fa1f371a477784d',1,'SVF::TCT']]],
|
|
543
543
|
['getparentthread',['getParentThread',['../classSVF_1_1TCT.html#a516578af1f8666ff672e6611e61d7152',1,'SVF::TCT']]],
|
|
@@ -571,8 +571,8 @@ var searchData=
|
|
|
571
571
|
['getptssubsetmap',['getPtsSubSetMap',['../classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func)'],['../classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func) const']]],
|
|
572
572
|
['getrawctirmetadata',['getRawCTirMetadata',['../classSVF_1_1TypeBasedHeapCloning.html#a21d2fd8bbef0c6f6ddddb5387569a7fa',1,'SVF::TypeBasedHeapCloning::getRawCTirMetadata()'],['../classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556',1,'SVF::FlowSensitiveTBHC::getRawCTirMetadata()']]],
|
|
573
573
|
['getref',['getRef',['../classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12',1,'SVF::OfflineConsG']]],
|
|
574
|
-
['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#
|
|
575
|
-
['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#
|
|
574
|
+
['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2',1,'SVF::MRGenerator']]],
|
|
575
|
+
['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d',1,'SVF::MRGenerator']]],
|
|
576
576
|
['getrefsideeffectoffunction',['getRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9',1,'SVF::MRGenerator']]],
|
|
577
577
|
['getreftypeofheapallocorstatic',['getRefTypeOfHeapAllocOrStatic',['../namespaceSVF_1_1SVFUtil.html#a9232d260dc83d3a25cd98195ba76567a',1,'SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a642f8284fbb260dd81fb29d5fadf6822',1,'SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic(const Instruction *inst)']]],
|
|
578
578
|
['getregionsize',['getRegionSize',['../classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9',1,'SVF::MemRegion']]],
|
|
@@ -584,10 +584,10 @@ var searchData=
|
|
|
584
584
|
['getresid',['getResID',['../classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e',1,'SVF::MultiOpndStmt::getResID()'],['../classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856',1,'SVF::UnaryOPStmt::getResID()']]],
|
|
585
585
|
['getresver',['getResVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50',1,'SVF::MSSAPHISVFGNode::getResVer()'],['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF::getResVer()']]],
|
|
586
586
|
['getret',['getRet',['../classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262',1,'SVF::FormalRetVFGNode']]],
|
|
587
|
-
['getretblocknode',['getRetBlockNode',['../classSVF_1_1ICFG.html#
|
|
588
|
-
['getreticfgnode',['getRetICFGNode',['../classSVF_1_1ICFG.html#
|
|
587
|
+
['getretblocknode',['getRetBlockNode',['../classSVF_1_1ICFG.html#a392e5ea7c356763a988407f91343f034',1,'SVF::ICFG::getRetBlockNode()'],['../classSVF_1_1CallICFGNode.html#a5854d1a9c772604c6c12f64753dd0cc4',1,'SVF::CallICFGNode::getRetBlockNode()']]],
|
|
588
|
+
['getreticfgnode',['getRetICFGNode',['../classSVF_1_1ICFG.html#a26ee40d30efc126734b7fb081db5da54',1,'SVF::ICFG']]],
|
|
589
589
|
['getretparmatjoinedsite',['getRetParmAtJoinedSite',['../classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(CallSite cs) const']]],
|
|
590
|
-
['getretsite',['getRetSite',['../classSVF_1_1ProgSlice.html#
|
|
590
|
+
['getretsite',['getRetSite',['../classSVF_1_1ProgSlice.html#a07ce77afbf69d5e2a47afaa39eaea886',1,'SVF::ProgSlice']]],
|
|
591
591
|
['getretsym',['getRetSym',['../classSVF_1_1SymbolTableInfo.html#afc8b0b6aea972f34a0c099b75114b81e',1,'SVF::SymbolTableInfo']]],
|
|
592
592
|
['getreturnmuset',['getReturnMuSet',['../classSVF_1_1MemSSA.html#af8c38a7ff8da4206f19c038024606d93',1,'SVF::MemSSA']]],
|
|
593
593
|
['getreturnnode',['getReturnNode',['../classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68',1,'SVF::ConstraintGraph::getReturnNode()'],['../classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910',1,'SVF::IRGraph::getReturnNode()'],['../classSVF_1_1SVFIRBuilder.html#aff99c8de4acf4eeaf01803dadf459b92',1,'SVF::SVFIRBuilder::getReturnNode()']]],
|
|
@@ -613,7 +613,7 @@ var searchData=
|
|
|
613
613
|
['getspanfromcxtlock',['getSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#ae7942c801e05357bb63f08c24489daf6',1,'SVF::LockAnalysis']]],
|
|
614
614
|
['getspawnees',['getSpawnees',['../classSVF_1_1PCG.html#a4aee985ede8e6ed6dd92574494101df9',1,'SVF::PCG']]],
|
|
615
615
|
['getspawners',['getSpawners',['../classSVF_1_1PCG.html#a6efd56a0a1810cf9036dd9203ea5e71e',1,'SVF::PCG']]],
|
|
616
|
-
['getsrccsid',['getSrcCSID',['../classSVF_1_1LeakChecker.html#
|
|
616
|
+
['getsrccsid',['getSrcCSID',['../classSVF_1_1LeakChecker.html#a8cc561fddf3435b3b40ff4aace23b846',1,'SVF::LeakChecker']]],
|
|
617
617
|
['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1AssignStmt.html#aa9e1367635f51e5fb456ac885406c990',1,'SVF::AssignStmt::getSrcID()'],['../classSVF_1_1MultiOpndStmt.html#acb793282c0abdef799b02658eebe1b79',1,'SVF::MultiOpndStmt::getSrcID()'],['../classSVF_1_1UnaryOPStmt.html#a38d60ea63e064f8a581f72f64642976d',1,'SVF::UnaryOPStmt::getSrcID()'],['../classSVF_1_1BranchStmt.html#a9425d660cc5a51b720463adc71f4c1f5',1,'SVF::BranchStmt::getSrcID()']]],
|
|
618
618
|
['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1AssignStmt.html#af4edf3314705e3b589b856b07049edcd',1,'SVF::AssignStmt::getSrcNode()'],['../classSVF_1_1MultiOpndStmt.html#a09cc241c2cb1c89a7d89ef6c605eaed8',1,'SVF::MultiOpndStmt::getSrcNode()'],['../classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92',1,'SVF::UnaryOPStmt::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
|
|
619
619
|
['getssaversion',['getSSAVersion',['../classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88',1,'SVF::MRVer']]],
|
|
@@ -698,8 +698,8 @@ var searchData=
|
|
|
698
698
|
['getvfgnodebegin',['getVFGNodeBegin',['../classSVF_1_1VFG.html#a5166be2c1231a93c9b9ce5f272797b94',1,'SVF::VFG']]],
|
|
699
699
|
['getvfgnodeend',['getVFGNodeEnd',['../classSVF_1_1VFG.html#a28f2bdcbbc0bab00e93df62ea11647a2',1,'SVF::VFG']]],
|
|
700
700
|
['getvfgnodes',['getVFGNodes',['../classSVF_1_1ICFGNode.html#abcc53637a634f7ec92b9c7861b941601',1,'SVF::ICFGNode::getVFGNodes()'],['../classSVF_1_1VFG.html#a18ec674e8ab0285ec086df87e5c591c9',1,'SVF::VFG::getVFGNodes()']]],
|
|
701
|
-
['getvfnsfromcha',['getVFnsFromCHA',['../classSVF_1_1PointerAnalysis.html#
|
|
702
|
-
['getvfnsfrompts',['getVFnsFromPts',['../classSVF_1_1PointerAnalysis.html#
|
|
701
|
+
['getvfnsfromcha',['getVFnsFromCHA',['../classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437',1,'SVF::PointerAnalysis']]],
|
|
702
|
+
['getvfnsfrompts',['getVFnsFromPts',['../classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2',1,'SVF::PointerAnalysis']]],
|
|
703
703
|
['getvfnsfromvtbls',['getVFnsFromVtbls',['../classSVF_1_1CommonCHGraph.html#aae511b2ee7c2c7ea7be70c7884e92021',1,'SVF::CommonCHGraph::getVFnsFromVtbls()'],['../classSVF_1_1CHGraph.html#ac5f5646db24455609cd86c421774dd3e',1,'SVF::CHGraph::getVFnsFromVtbls()'],['../classSVF_1_1DCHGraph.html#a6a5d012fda005d45bf3196d1a7d2c6fa',1,'SVF::DCHGraph::getVFnsFromVtbls()']]],
|
|
704
704
|
['getvfnvector',['getVfnVector',['../classSVF_1_1DCHNode.html#a11ad6b4fc518f6307727f6b76f7f6f53',1,'SVF::DCHNode']]],
|
|
705
705
|
['getvfnvectors',['getVfnVectors',['../classSVF_1_1DCHNode.html#a0669b995c4fe72f206154f5cf6889fe8',1,'SVF::DCHNode']]],
|
|
@@ -716,9 +716,10 @@ var searchData=
|
|
|
716
716
|
['global_5fleak',['GLOBAL_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1',1,'SVF::LeakChecker']]],
|
|
717
717
|
['globalalias',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
|
|
718
718
|
['globalblock',['GlobalBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648',1,'SVF::ICFGNode']]],
|
|
719
|
-
['globalblocknode',['
|
|
719
|
+
['globalblocknode',['globalBlockNode',['../classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02',1,'SVF::ICFG']]],
|
|
720
720
|
['globaldeftorepmap',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
|
|
721
721
|
['globaldeftorepmapty',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
|
|
722
|
+
['globalicfgnode',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html',1,'SVF::GlobalICFGNode'],['../classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7',1,'SVF::GlobalICFGNode::GlobalICFGNode()']]],
|
|
722
723
|
['globalobject',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
|
|
723
724
|
['globalset',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
|
|
724
725
|
['globalsettype',['GlobalSetType',['../classSVF_1_1SVFModule.html#a5df72b0e3f0697069d65a9c1d7470d35',1,'SVF::SVFModule']]],
|
|
@@ -8,7 +8,7 @@ var searchData=
|
|
|
8
8
|
['handleblackhole',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
|
|
9
9
|
['handlecall',['handleCall',['../classSVF_1_1LockAnalysis.html#a97b186f9417144557bb17c41d515a9f4',1,'SVF::LockAnalysis::handleCall()'],['../classSVF_1_1MHP.html#af769afe6ba6baccda5a497df181c9fb0',1,'SVF::MHP::handleCall()'],['../classSVF_1_1ForkJoinAnalysis.html#ab636777379aca0b53a06e4888d4b4c6b',1,'SVF::ForkJoinAnalysis::handleCall()']]],
|
|
10
10
|
['handlecallrelation',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
|
|
11
|
-
['handlecallsitemodref',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#
|
|
11
|
+
['handlecallsitemodref',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
|
|
12
12
|
['handlece',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
|
|
13
13
|
['handlecopygep',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenWaveDiff.html#ad5c85a28967cc3f62e663dc00a8aa8c9',1,'SVF::AndersenWaveDiff::handleCopyGep()'],['../classSVF_1_1AndersenLCD.html#a139d80e25fe713194f719581915d36d5',1,'SVF::AndersenLCD::handleCopyGep()'],['../classSVF_1_1AndersenHLCD.html#a9582cde6cbb510f3fb624109f8ea8f63',1,'SVF::AndersenHLCD::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
|
|
14
14
|
['handledibasictype',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
|
|
@@ -45,16 +45,16 @@ var searchData=
|
|
|
45
45
|
['hareparforedge',['HareParForEdge',['../classSVF_1_1HareParForEdge.html',1,'SVF::HareParForEdge'],['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838',1,'SVF::PTACallGraphEdge::HareParForEdge()'],['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge::HareParForEdge()']]],
|
|
46
46
|
['has_5fstatic',['has_static',['../classSVF_1_1ExtAPI.html#ae439994d7a92c4cb3bf5c9fa80fa31e8',1,'SVF::ExtAPI']]],
|
|
47
47
|
['has_5fstatic2',['has_static2',['../classSVF_1_1ExtAPI.html#aab5731ba773144c7cbb5609e9b807eae',1,'SVF::ExtAPI']]],
|
|
48
|
-
['hasactualinsvfgnodes',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#
|
|
49
|
-
['hasactualoutsvfgnodes',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#
|
|
48
|
+
['hasactualinsvfgnodes',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
|
|
49
|
+
['hasactualoutsvfgnodes',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
|
|
50
50
|
['hasallcxtinlockspan',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a33740d6dc51d24af2d0c8cb2fbf27db6',1,'SVF::LockAnalysis']]],
|
|
51
51
|
['hasblackholeconstobjaddrasdef',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
|
|
52
|
-
['hascallgraphedge',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#
|
|
53
|
-
['hascallsiteargsmap',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#
|
|
54
|
-
['hascallsitechi',['hasCallSiteChi',['../classSVF_1_1SVFG.html#
|
|
55
|
-
['hascallsiteid',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#
|
|
56
|
-
['hascallsitemu',['hasCallSiteMu',['../classSVF_1_1SVFG.html#
|
|
57
|
-
['haschi',['hasCHI',['../classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1',1,'SVF::MemSSA::hasCHI(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#
|
|
52
|
+
['hascallgraphedge',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
|
|
53
|
+
['hascallsiteargsmap',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
|
|
54
|
+
['hascallsitechi',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
|
|
55
|
+
['hascallsiteid',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
|
|
56
|
+
['hascallsitemu',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
|
|
57
|
+
['haschi',['hasCHI',['../classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1',1,'SVF::MemSSA::hasCHI(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#ae16120dfc9436861f719e605617f353d',1,'SVF::MemSSA::hasCHI(const CallICFGNode *cs) const']]],
|
|
58
58
|
['hasconstantgep',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
|
|
59
59
|
['hasconstraintnode',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
|
|
60
60
|
['hascptslist',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
|
|
@@ -107,7 +107,7 @@ var searchData=
|
|
|
107
107
|
['hasincomingedge',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const'],['../classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77',1,'SVF::VFPathCond::hasIncomingEdge()']]],
|
|
108
108
|
['hasincomingedges',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
|
|
109
109
|
['hasincomingvariantgepedge',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
|
|
110
|
-
['hasindcscallees',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#
|
|
110
|
+
['hasindcscallees',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
|
|
111
111
|
['hasintericfgedge',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
|
|
112
112
|
['hasinterleavingthreads',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
|
|
113
113
|
['hasintervfgedge',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
|
|
@@ -115,9 +115,9 @@ var searchData=
|
|
|
115
115
|
['hasintravfgedge',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
|
|
116
116
|
['haslabelededge',['hasLabeledEdge',['../classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0',1,'SVF::IRGraph::hasLabeledEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)'],['../classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c',1,'SVF::IRGraph::hasLabeledEdge(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)']]],
|
|
117
117
|
['haslcdcandidate',['hasLCDCandidate',['../classSVF_1_1AndersenLCD.html#ad3f4bd35f98c43a0642b91c6b0e7acb3',1,'SVF::AndersenLCD']]],
|
|
118
|
-
['hasmodmrset',['hasModMRSet',['../classSVF_1_1MRGenerator.html#
|
|
119
|
-
['hasmodsideeffectofcallsite',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#
|
|
120
|
-
['hasmu',['hasMU',['../classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc',1,'SVF::MemSSA::hasMU(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#
|
|
118
|
+
['hasmodmrset',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
|
|
119
|
+
['hasmodsideeffectofcallsite',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
|
|
120
|
+
['hasmu',['hasMU',['../classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc',1,'SVF::MemSSA::hasMU(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46',1,'SVF::MemSSA::hasMU(const CallICFGNode *cs) const']]],
|
|
121
121
|
['hasnode',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
|
|
122
122
|
['hasnodestobecollapsed',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
|
|
123
123
|
['hasnonlabelededge',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
|
|
@@ -135,8 +135,8 @@ var searchData=
|
|
|
135
135
|
['hasptrobj',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
|
|
136
136
|
['hasptsmap',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
|
|
137
137
|
['hasref',['hasRef',['../classSVF_1_1OfflineConsG.html#a576cfa438bb109b7e451b410cd3a8569',1,'SVF::OfflineConsG']]],
|
|
138
|
-
['hasrefmrset',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#
|
|
139
|
-
['hasrefsideeffectofcallsite',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#
|
|
138
|
+
['hasrefmrset',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
|
|
139
|
+
['hasrefsideeffectofcallsite',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
|
|
140
140
|
['hasreturnmu',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
|
|
141
141
|
['hassbsinkflag',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
|
|
142
142
|
['hassbsourceflag',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
|
|
@@ -144,9 +144,9 @@ var searchData=
|
|
|
144
144
|
['hassvfgnode',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
|
|
145
145
|
['hassvfstmtlist',['hasSVFStmtList',['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()'],['../classSVF_1_1MRGenerator.html#a6f631290f3da7c308395eb6a9472d7a5',1,'SVF::MRGenerator::hasSVFStmtList()']]],
|
|
146
146
|
['hastctnode',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
|
|
147
|
-
['hasthreadforkedge',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#
|
|
147
|
+
['hasthreadforkedge',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
|
|
148
148
|
['hasthreadicfgedge',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
|
|
149
|
-
['hasthreadjoinedge',['hasThreadJoinEdge',['../classSVF_1_1ThreadCallGraph.html#
|
|
149
|
+
['hasthreadjoinedge',['hasThreadJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallICFGNode *cs) const'],['../classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallICFGNode *call, PTACallGraphNode *joinFunNode, PTACallGraphNode *threadRoutineFunNode, CallSiteID csId) const']]],
|
|
150
150
|
['hasthreadstmtset',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a6841b147e2a681ea372bdddd53616294',1,'SVF::MHP']]],
|
|
151
151
|
['hasthreadvfgedge',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
|
|
152
152
|
['hasvalidationtarget',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator']]],
|