svf-tools 1.0.327 → 1.0.331
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/AndersenHCD_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/AndersenSFR_8h_source.html +4 -4
- package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +38 -38
- package/SVF-doxygen/html/html/Andersen_8h_source.html +6 -6
- package/SVF-doxygen/html/html/CSC_8cpp_source.html +2 -3
- package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ConsG_8h_source.html +4 -4
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +6 -6
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +6 -7
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LocationSet_8cpp.html +1 -0
- package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +12 -15
- package/SVF-doxygen/html/html/LocationSet_8h.html +1 -1
- package/SVF-doxygen/html/html/LocationSet_8h_source.html +26 -40
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +15 -15
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +28 -29
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +29 -29
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +11 -3
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +71 -70
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +12 -12
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +13 -13
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFVariables_8h.html +1 -1
- package/SVF-doxygen/html/html/SVFVariables_8h_source.html +69 -69
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +21 -21
- package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +52 -63
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +72 -79
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +13 -13
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +2 -2
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/annotated.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +79 -79
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +23 -24
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1CSC.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar-members.html +56 -55
- package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +44 -41
- package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FlattenedFieldInfo-members.html +85 -0
- package/SVF-doxygen/html/html/classSVF_1_1FlattenedFieldInfo.html +254 -0
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +22 -23
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar-members.html +173 -0
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +813 -0
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet-members.html +17 -21
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +150 -326
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +84 -84
- package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +96 -96
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +75 -73
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +31 -31
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +57 -56
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +301 -229
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1StInfo-members.html +11 -14
- package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +70 -168
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +20 -24
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +110 -291
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
- package/SVF-doxygen/html/html/classes.html +6 -6
- package/SVF-doxygen/html/html/functions_a.html +13 -10
- package/SVF-doxygen/html/html/functions_b.html +1 -5
- package/SVF-doxygen/html/html/functions_c.html +19 -20
- package/SVF-doxygen/html/html/functions_d.html +1 -1
- package/SVF-doxygen/html/html/functions_e.html +0 -16
- package/SVF-doxygen/html/html/functions_f.html +21 -19
- package/SVF-doxygen/html/html/functions_func.html +15 -12
- package/SVF-doxygen/html/html/functions_func_c.html +16 -17
- package/SVF-doxygen/html/html/functions_func_d.html +1 -1
- package/SVF-doxygen/html/html/functions_func_e.html +2 -8
- package/SVF-doxygen/html/html/functions_func_f.html +4 -4
- package/SVF-doxygen/html/html/functions_func_g.html +36 -58
- package/SVF-doxygen/html/html/functions_func_i.html +11 -14
- package/SVF-doxygen/html/html/functions_func_r.html +3 -3
- package/SVF-doxygen/html/html/functions_func_s.html +6 -9
- package/SVF-doxygen/html/html/functions_func_t.html +1 -1
- package/SVF-doxygen/html/html/functions_func_w.html +1 -1
- package/SVF-doxygen/html/html/functions_g.html +41 -63
- package/SVF-doxygen/html/html/functions_i.html +6 -9
- package/SVF-doxygen/html/html/functions_l.html +4 -4
- package/SVF-doxygen/html/html/functions_n.html +4 -7
- package/SVF-doxygen/html/html/functions_o.html +25 -20
- package/SVF-doxygen/html/html/functions_p.html +12 -16
- package/SVF-doxygen/html/html/functions_r.html +4 -4
- package/SVF-doxygen/html/html/functions_s.html +15 -18
- package/SVF-doxygen/html/html/functions_t.html +1 -1
- package/SVF-doxygen/html/html/functions_type_e.html +0 -4
- package/SVF-doxygen/html/html/functions_type_o.html +3 -0
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_b.html +1 -5
- package/SVF-doxygen/html/html/functions_vars_c.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_e.html +0 -6
- package/SVF-doxygen/html/html/functions_vars_f.html +9 -7
- package/SVF-doxygen/html/html/functions_vars_l.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_n.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_o.html +2 -2
- package/SVF-doxygen/html/html/functions_w.html +1 -1
- package/SVF-doxygen/html/html/hierarchy.html +64 -64
- package/SVF-doxygen/html/html/namespaceSVF.html +3 -3
- package/SVF-doxygen/html/html/search/all_1.js +3 -2
- package/SVF-doxygen/html/html/search/all_10.js +6 -6
- package/SVF-doxygen/html/html/search/all_12.js +3 -3
- package/SVF-doxygen/html/html/search/all_13.js +5 -6
- package/SVF-doxygen/html/html/search/all_14.js +6 -6
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_2.js +2 -3
- package/SVF-doxygen/html/html/search/all_3.js +5 -5
- package/SVF-doxygen/html/html/search/all_4.js +1 -1
- package/SVF-doxygen/html/html/search/all_5.js +0 -5
- package/SVF-doxygen/html/html/search/all_6.js +6 -5
- package/SVF-doxygen/html/html/search/all_7.js +15 -23
- package/SVF-doxygen/html/html/search/all_9.js +2 -3
- package/SVF-doxygen/html/html/search/all_c.js +4 -4
- package/SVF-doxygen/html/html/search/all_e.js +1 -2
- package/SVF-doxygen/html/html/search/all_f.js +5 -4
- package/SVF-doxygen/html/html/search/classes_5.js +1 -1
- package/SVF-doxygen/html/html/search/classes_6.js +1 -1
- package/SVF-doxygen/html/html/search/functions_0.js +3 -2
- package/SVF-doxygen/html/html/search/functions_10.js +2 -3
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_14.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +3 -3
- package/SVF-doxygen/html/html/search/functions_3.js +1 -1
- package/SVF-doxygen/html/html/search/functions_4.js +0 -2
- package/SVF-doxygen/html/html/search/functions_5.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +15 -23
- package/SVF-doxygen/html/html/search/functions_8.js +1 -2
- package/SVF-doxygen/html/html/search/functions_a.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/functions_f.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_4.js +0 -1
- package/SVF-doxygen/html/html/search/typedefs_e.js +1 -0
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_2.js +2 -3
- package/SVF-doxygen/html/html/search/variables_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_5.js +0 -2
- package/SVF-doxygen/html/html/search/variables_6.js +5 -4
- package/SVF-doxygen/html/html/search/variables_c.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +0 -1
- package/SVF-doxygen/html/html/search/variables_f.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_01IRGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html +5 -5
- 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/Graphs/ConsG.h +1 -1
- package/include/Graphs/ConsGEdge.h +1 -1
- package/include/MemoryModel/LocationSet.h +39 -126
- package/include/MemoryModel/PointerAnalysis.h +1 -1
- package/include/MemoryModel/SVFIR.h +2 -2
- package/include/MemoryModel/SVFStatements.h +1 -1
- package/include/MemoryModel/SVFVariables.h +17 -11
- package/include/MemoryModel/SymbolTableInfo.h +27 -31
- package/include/SVF-FE/SVFIRBuilder.h +6 -1
- package/include/Util/IRAnnotator.h +3 -3
- package/lib/DDA/ContextDDA.cpp +1 -1
- package/lib/Graphs/ConsG.cpp +1 -1
- package/lib/Graphs/IRGraph.cpp +1 -1
- package/lib/Graphs/OfflineConsG.cpp +1 -1
- package/lib/MemoryModel/LocationSet.cpp +53 -95
- package/lib/MemoryModel/PointerAnalysis.cpp +4 -2
- package/lib/MemoryModel/PointerAnalysisImpl.cpp +4 -4
- package/lib/MemoryModel/SVFIR.cpp +4 -4
- package/lib/MemoryModel/SVFVariables.cpp +2 -2
- package/lib/MemoryModel/SymbolTableInfo.cpp +44 -212
- package/lib/SABER/SaberSVFGBuilder.cpp +1 -1
- package/lib/SVF-FE/SVFIRBuilder.cpp +135 -7
- package/lib/SVF-FE/SymbolTableBuilder.cpp +4 -4
- package/lib/Util/TypeBasedHeapCloning.cpp +10 -10
- package/lib/WPA/Andersen.cpp +1 -5
- package/lib/WPA/AndersenSFR.cpp +2 -2
- package/lib/WPA/CSC.cpp +1 -1
- package/lib/WPA/FlowSensitiveTBHC.cpp +6 -6
- package/package.json +1 -1
- package/tools/Example/svf-ex.cpp +1 -2
|
@@ -67,6 +67,9 @@ $(function() {
|
|
|
67
67
|
<li>AccessPair()
|
|
68
68
|
: <a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea">SVF::RaceResultValidator::AccessPair</a>
|
|
69
69
|
</li>
|
|
70
|
+
<li>accumulateConstantOffset()
|
|
71
|
+
: <a class="el" href="classSVF_1_1LocationSet.html#ac098bc95299002b9016684fa7f2799ca">SVF::LocationSet</a>
|
|
72
|
+
</li>
|
|
70
73
|
<li>actualInOfIndCS()
|
|
71
74
|
: <a class="el" href="classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6">SVF::SVFGOPT</a>
|
|
72
75
|
</li>
|
|
@@ -311,9 +314,6 @@ $(function() {
|
|
|
311
314
|
, <a class="el" href="classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750">SVF::PTACallGraph</a>
|
|
312
315
|
, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ada73b0a14d4f545a59c37e11d6bd9d81">SVF::SVFIRBuilder</a>
|
|
313
316
|
</li>
|
|
314
|
-
<li>addElemNumStridePair()
|
|
315
|
-
: <a class="el" href="classSVF_1_1LocationSet.html#a38077e721631f3c6b09238880c97732b">SVF::LocationSet</a>
|
|
316
|
-
</li>
|
|
317
317
|
<li>AddExtActualParmSVFGNodes()
|
|
318
318
|
: <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">SVF::SaberSVFGBuilder</a>
|
|
319
319
|
</li>
|
|
@@ -321,7 +321,7 @@ $(function() {
|
|
|
321
321
|
: <a class="el" href="classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242">SVF::SVFIR</a>
|
|
322
322
|
</li>
|
|
323
323
|
<li>addFldWithType()
|
|
324
|
-
: <a class="el" href="classSVF_1_1StInfo.html#
|
|
324
|
+
: <a class="el" href="classSVF_1_1StInfo.html#a7011600965de6fe5401b87f5c71e684f">SVF::StInfo</a>
|
|
325
325
|
</li>
|
|
326
326
|
<li>addFollowerFun()
|
|
327
327
|
: <a class="el" href="classSVF_1_1PCG.html#a53e95f74121cd6e35b73f345139f6b00">SVF::PCG</a>
|
|
@@ -582,6 +582,9 @@ $(function() {
|
|
|
582
582
|
<li>addObjNode()
|
|
583
583
|
: <a class="el" href="classSVF_1_1SVFIR.html#a83bc8ecf4c5d10af10af3c8c44b9882d">SVF::SVFIR</a>
|
|
584
584
|
</li>
|
|
585
|
+
<li>addOffsetValue()
|
|
586
|
+
: <a class="el" href="classSVF_1_1LocationSet.html#ac544fa84eff20dfe043b7d0c771dec2b">SVF::LocationSet</a>
|
|
587
|
+
</li>
|
|
585
588
|
<li>addOpVar()
|
|
586
589
|
: <a class="el" href="classSVF_1_1PhiStmt.html#ae20d273a8afe603395b6621f04e6cb65">SVF::PhiStmt</a>
|
|
587
590
|
</li>
|
|
@@ -638,12 +641,12 @@ $(function() {
|
|
|
638
641
|
, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273">SVF::PersistentDFPTData< Key, KeySet, Data, DataSet ></a>
|
|
639
642
|
, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989">SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
640
643
|
, <a class="el" href="classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2">SVF::PersistentPTData< Key, KeySet, Data, DataSet ></a>
|
|
641
|
-
, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#
|
|
644
|
+
, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae4877cf4db5b1da5e7d05fe65ae8ed32">SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet ></a>
|
|
642
645
|
, <a class="el" href="classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a">SVF::PTData< Key, KeySet, Data, DataSet ></a>
|
|
643
646
|
, <a class="el" href="classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a">SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet ></a>
|
|
644
647
|
</li>
|
|
645
648
|
<li>AddrCGEdge()
|
|
646
|
-
: <a class="el" href="classSVF_1_1AddrCGEdge.html#
|
|
649
|
+
: <a class="el" href="classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6">SVF::AddrCGEdge</a>
|
|
647
650
|
</li>
|
|
648
651
|
<li>addRefLoadEdge()
|
|
649
652
|
: <a class="el" href="classSVF_1_1OfflineConsG.html#a6c8afd3dc37fc60aecc6efd238312940">SVF::OfflineConsG</a>
|
|
@@ -685,7 +688,7 @@ $(function() {
|
|
|
685
688
|
: <a class="el" href="classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae">SVF::AddrStmt</a>
|
|
686
689
|
</li>
|
|
687
690
|
<li>AddrVFGNode()
|
|
688
|
-
: <a class="el" href="classSVF_1_1AddrVFGNode.html#
|
|
691
|
+
: <a class="el" href="classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a">SVF::AddrVFGNode</a>
|
|
689
692
|
</li>
|
|
690
693
|
<li>addSccCandidate()
|
|
691
694
|
: <a class="el" href="classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689">SVF::AndersenSCD</a>
|
|
@@ -718,7 +721,7 @@ $(function() {
|
|
|
718
721
|
: <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
|
|
719
722
|
</li>
|
|
720
723
|
<li>AddStoreCHI()
|
|
721
|
-
: <a class="el" href="classSVF_1_1MemSSA.html#
|
|
724
|
+
: <a class="el" href="classSVF_1_1MemSSA.html#a4e11797df16b0b612191607180acc0c5">SVF::MemSSA</a>
|
|
722
725
|
</li>
|
|
723
726
|
<li>addStoreEdge()
|
|
724
727
|
: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4">SVF::SVFIRBuilder</a>
|
|
@@ -840,10 +843,10 @@ $(function() {
|
|
|
840
843
|
: <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
|
|
841
844
|
</li>
|
|
842
845
|
<li>addValNode()
|
|
843
|
-
: <a class="el" href="classSVF_1_1SVFIR.html#
|
|
846
|
+
: <a class="el" href="classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9">SVF::SVFIR</a>
|
|
844
847
|
</li>
|
|
845
848
|
<li>addVarargNode()
|
|
846
|
-
: <a class="el" href="classSVF_1_1SVFIR.html#
|
|
849
|
+
: <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
|
|
847
850
|
</li>
|
|
848
851
|
<li>addVariantGepCGEdge()
|
|
849
852
|
: <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
|
|
@@ -877,9 +880,9 @@ $(function() {
|
|
|
877
880
|
: <a class="el" href="classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9">SVF::CHNode</a>
|
|
878
881
|
</li>
|
|
879
882
|
<li>alias()
|
|
880
|
-
: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
883
|
+
: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df">SVF::BVDataPTAImpl</a>
|
|
881
884
|
, <a class="el" href="classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6">SVF::CondPTAImpl< Cond ></a>
|
|
882
|
-
, <a class="el" href="classSVF_1_1DDAPass.html#
|
|
885
|
+
, <a class="el" href="classSVF_1_1DDAPass.html#a0a39a0f3e530a97a38dbfe0d9f04ec33">SVF::DDAPass</a>
|
|
883
886
|
, <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
|
|
884
887
|
, <a class="el" href="classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8">SVF::PointerAnalysis</a>
|
|
885
888
|
, <a class="el" href="classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f">SVF::WPAPass</a>
|
|
@@ -136,7 +136,7 @@ $(function() {
|
|
|
136
136
|
, <a class="el" href="classSVF_1_1VFG.html#a43b0c126c2e32cb3d286a78b14e09a96">SVF::VFG</a>
|
|
137
137
|
</li>
|
|
138
138
|
<li>checkRelation()
|
|
139
|
-
: <a class="el" href="classSVF_1_1LocationSet.html#
|
|
139
|
+
: <a class="el" href="classSVF_1_1LocationSet.html#a4e839125b32c7cb3ad07fbec6f203c10">SVF::LocationSet</a>
|
|
140
140
|
</li>
|
|
141
141
|
<li>checkSelfCycleEdges()
|
|
142
142
|
: <a class="el" href="classSVF_1_1SVFGOPT.html#afb068fd46dfbf993decd7d6c8ca2c9ba">SVF::SVFGOPT</a>
|
|
@@ -214,7 +214,7 @@ $(function() {
|
|
|
214
214
|
, <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a7a3c08df6a65f82ecda01d3f547aa158">SVF::FunEntryBlockNode</a>
|
|
215
215
|
, <a class="el" href="classSVF_1_1FunExitBlockNode.html#a5fdc1edafbd26a57c1c563f8df439cfc">SVF::FunExitBlockNode</a>
|
|
216
216
|
, <a class="el" href="classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6">SVF::GepCGEdge</a>
|
|
217
|
-
, <a class="el" href="
|
|
217
|
+
, <a class="el" href="classSVF_1_1GepObjVar.html#ab3129ad98687e6352675d84373d96ffe">SVF::GepObjVar</a>
|
|
218
218
|
, <a class="el" href="classSVF_1_1GepStmt.html#a441cd8487b320ceff9d62884b4f28176">SVF::GepStmt</a>
|
|
219
219
|
, <a class="el" href="classSVF_1_1GepValVar.html#a28e42f01110a2d0a5f1f90bca14c5035">SVF::GepValVar</a>
|
|
220
220
|
, <a class="el" href="classSVF_1_1GepVFGNode.html#a77aa023b0c19e72a1263c63419643241">SVF::GepVFGNode</a>
|
|
@@ -414,7 +414,7 @@ $(function() {
|
|
|
414
414
|
: <a class="el" href="classSVF_1_1CmpStmt.html#abab82b7193ac1a9811d0177cedd329dc">SVF::CmpStmt</a>
|
|
415
415
|
</li>
|
|
416
416
|
<li>CmpVFGNode()
|
|
417
|
-
: <a class="el" href="classSVF_1_1CmpVFGNode.html#
|
|
417
|
+
: <a class="el" href="classSVF_1_1CmpVFGNode.html#a003f5049433ade9cdad5f3050532af8e">SVF::CmpVFGNode</a>
|
|
418
418
|
</li>
|
|
419
419
|
<li>collapseField()
|
|
420
420
|
: <a class="el" href="classSVF_1_1Andersen.html#af4a0d960ef198047517bb32ee1e24a61">SVF::Andersen</a>
|
|
@@ -573,7 +573,6 @@ $(function() {
|
|
|
573
573
|
</li>
|
|
574
574
|
<li>computeGepOffset()
|
|
575
575
|
: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a87b75f04942124711d5ea1366e866890">SVF::SVFIRBuilder</a>
|
|
576
|
-
, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a86b742ca197b3505b3246d6bed2484db">SVF::SymbolTableInfo</a>
|
|
577
576
|
</li>
|
|
578
577
|
<li>ComputeInterCallVFGGuard()
|
|
579
578
|
: <a class="el" href="classSVF_1_1PathCondAllocator.html#a9c3361e3f37d640b177c3955f3c3667f">SVF::PathCondAllocator</a>
|
|
@@ -623,7 +622,7 @@ $(function() {
|
|
|
623
622
|
, <a class="el" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">SVF::VFPathCond</a>
|
|
624
623
|
</li>
|
|
625
624
|
<li>CondPointsToSet()
|
|
626
|
-
: <a class="el" href="classSVF_1_1CondPointsToSet.html#
|
|
625
|
+
: <a class="el" href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet< Cond ></a>
|
|
627
626
|
</li>
|
|
628
627
|
<li>CondPTAImpl()
|
|
629
628
|
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a60678dda5071557483b27d09d26dc270">SVF::CondPTAImpl< Cond ></a>
|
|
@@ -632,10 +631,10 @@ $(function() {
|
|
|
632
631
|
: <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0">SVF::CondPointsToSet< Cond >::CondPtsSetIterator</a>
|
|
633
632
|
</li>
|
|
634
633
|
<li>CondStdSet()
|
|
635
|
-
: <a class="el" href="classSVF_1_1CondStdSet.html#
|
|
634
|
+
: <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet< Element ></a>
|
|
636
635
|
</li>
|
|
637
636
|
<li>CondVar()
|
|
638
|
-
: <a class="el" href="classSVF_1_1CondVar.html#
|
|
637
|
+
: <a class="el" href="classSVF_1_1CondVar.html#a0999a4b34face00af83b3b840920fd3f">SVF::CondVar< Cond ></a>
|
|
639
638
|
</li>
|
|
640
639
|
<li>connectAInAndFIn()
|
|
641
640
|
: <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
|
|
@@ -717,7 +716,7 @@ $(function() {
|
|
|
717
716
|
, <a class="el" href="classSVF_1_1PointsTo.html#ab31a53693fe070767b8de74e88091cd8">SVF::PointsTo</a>
|
|
718
717
|
</li>
|
|
719
718
|
<li>ContextCond()
|
|
720
|
-
: <a class="el" href="classSVF_1_1ContextCond.html#
|
|
719
|
+
: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
|
|
721
720
|
</li>
|
|
722
721
|
<li>ContextDDA()
|
|
723
722
|
: <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
|
|
@@ -726,13 +725,13 @@ $(function() {
|
|
|
726
725
|
: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
|
|
727
726
|
</li>
|
|
728
727
|
<li>CopyStmt()
|
|
729
|
-
: <a class="el" href="classSVF_1_1CopyStmt.html#
|
|
728
|
+
: <a class="el" href="classSVF_1_1CopyStmt.html#a69b179ef052408034786d32a52c52389">SVF::CopyStmt</a>
|
|
730
729
|
</li>
|
|
731
730
|
<li>CopyVFGNode()
|
|
732
|
-
: <a class="el" href="classSVF_1_1CopyVFGNode.html#
|
|
731
|
+
: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
|
|
733
732
|
</li>
|
|
734
733
|
<li>CoreBitVector()
|
|
735
|
-
: <a class="el" href="classSVF_1_1CoreBitVector.html#
|
|
734
|
+
: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
|
|
736
735
|
</li>
|
|
737
736
|
<li>CoreBitVectorIterator()
|
|
738
737
|
: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
|
|
@@ -750,10 +749,10 @@ $(function() {
|
|
|
750
749
|
: <a class="el" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">SVF::ICFGStat</a>
|
|
751
750
|
</li>
|
|
752
751
|
<li>cptsBegin()
|
|
753
|
-
: <a class="el" href="classSVF_1_1CondPointsToSet.html#
|
|
752
|
+
: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet< Cond ></a>
|
|
754
753
|
</li>
|
|
755
754
|
<li>cptsEnd()
|
|
756
|
-
: <a class="el" href="classSVF_1_1CondPointsToSet.html#
|
|
755
|
+
: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet< Cond ></a>
|
|
757
756
|
</li>
|
|
758
757
|
<li>createAndersenHCD()
|
|
759
758
|
: <a class="el" href="classSVF_1_1AndersenHCD.html#aa3553e6d7c7245d3d2cdc9d083889c28">SVF::AndersenHCD</a>
|
|
@@ -836,7 +835,7 @@ $(function() {
|
|
|
836
835
|
, <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
|
|
837
836
|
</li>
|
|
838
837
|
<li>CxtDPItem()
|
|
839
|
-
: <a class="el" href="classSVF_1_1CxtDPItem.html#
|
|
838
|
+
: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">SVF::CxtDPItem</a>
|
|
840
839
|
</li>
|
|
841
840
|
<li>CxtProc()
|
|
842
841
|
: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
|
|
@@ -845,13 +844,13 @@ $(function() {
|
|
|
845
844
|
: <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
|
|
846
845
|
</li>
|
|
847
846
|
<li>CxtStmt()
|
|
848
|
-
: <a class="el" href="classSVF_1_1CxtStmt.html#
|
|
847
|
+
: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
|
|
849
848
|
</li>
|
|
850
849
|
<li>CxtStmtDPItem()
|
|
851
|
-
: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#
|
|
850
|
+
: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem< LocCond ></a>
|
|
852
851
|
</li>
|
|
853
852
|
<li>CxtThread()
|
|
854
|
-
: <a class="el" href="classSVF_1_1CxtThread.html#
|
|
853
|
+
: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
|
|
855
854
|
</li>
|
|
856
855
|
<li>CxtThreadProc()
|
|
857
856
|
: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
|
|
@@ -241,7 +241,7 @@ $(function() {
|
|
|
241
241
|
, <a class="el" href="classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97">SVF::ICFGNode</a>
|
|
242
242
|
, <a class="el" href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">SVF::IRGraph</a>
|
|
243
243
|
, <a class="el" href="classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329">SVF::LoadMU< Cond ></a>
|
|
244
|
-
, <a class="el" href="classSVF_1_1LocationSet.html#
|
|
244
|
+
, <a class="el" href="classSVF_1_1LocationSet.html#a53f1b2e417682a56d45dfb1f7d5ccd1c">SVF::LocationSet</a>
|
|
245
245
|
, <a class="el" href="classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca">SVF::MSSACHI< Cond ></a>
|
|
246
246
|
, <a class="el" href="classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52">SVF::MSSADEF</a>
|
|
247
247
|
, <a class="el" href="classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5">SVF::MSSAMU< Cond ></a>
|
|
@@ -76,12 +76,6 @@ $(function() {
|
|
|
76
76
|
: <a class="el" href="classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432">SVF::DDAPass</a>
|
|
77
77
|
, <a class="el" href="classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332">SVF::DDAVFSolver< CVar, CPtSet, DPIm ></a>
|
|
78
78
|
</li>
|
|
79
|
-
<li>elemStridePairBegin()
|
|
80
|
-
: <a class="el" href="classSVF_1_1FieldInfo.html#aee954809b1338d8a49670b6ac6cf25f3">SVF::FieldInfo</a>
|
|
81
|
-
</li>
|
|
82
|
-
<li>elemStridePairEnd()
|
|
83
|
-
: <a class="el" href="classSVF_1_1FieldInfo.html#aafa9f1bdaf361ca00dfdf6b34fb5dfd4">SVF::FieldInfo</a>
|
|
84
|
-
</li>
|
|
85
79
|
<li>emplacePts()
|
|
86
80
|
: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">SVF::PersistentPointsToCache< Data ></a>
|
|
87
81
|
</li>
|
|
@@ -109,7 +103,7 @@ $(function() {
|
|
|
109
103
|
, <a class="el" href="classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d">SVF::CoreBitVector</a>
|
|
110
104
|
, <a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph< NodeTy, EdgeTy ></a>
|
|
111
105
|
, <a class="el" href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">SVF::PointsTo</a>
|
|
112
|
-
, <a class="el" href="classSVF_1_1SVFModule.html#
|
|
106
|
+
, <a class="el" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule</a>
|
|
113
107
|
</li>
|
|
114
108
|
<li>endClk()
|
|
115
109
|
: <a class="el" href="classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0">SVF::PTAStat</a>
|
|
@@ -148,7 +142,7 @@ $(function() {
|
|
|
148
142
|
: <a class="el" href="classSVF_1_1MHP.html#aab80f1bc5c359a7d3b03f249bafa1d40">SVF::MHP</a>
|
|
149
143
|
</li>
|
|
150
144
|
<li>expandFIObjs()
|
|
151
|
-
: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
145
|
+
: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721">SVF::BVDataPTAImpl</a>
|
|
152
146
|
, <a class="el" href="classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d">SVF::CondPTAImpl< Cond ></a>
|
|
153
147
|
, <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a3af0297eb75ac4009433be44bb286d30">SVF::FlowSensitiveTBHC</a>
|
|
154
148
|
</li>
|
|
@@ -64,9 +64,6 @@ $(function() {
|
|
|
64
64
|
<li>fieldExpand()
|
|
65
65
|
: <a class="el" href="classSVF_1_1AndersenSFR.html#a78e48b3c3db39470ab47b92bbc577e7e">SVF::AndersenSFR</a>
|
|
66
66
|
</li>
|
|
67
|
-
<li>FieldInfo()
|
|
68
|
-
: <a class="el" href="classSVF_1_1FieldInfo.html#a167925e2aadbcdbc3017c6dc98cb83b4">SVF::FieldInfo</a>
|
|
69
|
-
</li>
|
|
70
67
|
<li>FIFOWorkList()
|
|
71
68
|
: <a class="el" href="classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac">SVF::FIFOWorkList< Data ></a>
|
|
72
69
|
</li>
|
|
@@ -115,6 +112,9 @@ $(function() {
|
|
|
115
112
|
<li>flatten()
|
|
116
113
|
: <a class="el" href="classSVF_1_1DCHGraph.html#ab96874bc8f6461fe0c3eb53b7f5cedce">SVF::DCHGraph</a>
|
|
117
114
|
</li>
|
|
115
|
+
<li>FlattenedFieldInfo()
|
|
116
|
+
: <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a90af575af4fa8ed5646b790daaf421cd">SVF::FlattenedFieldInfo</a>
|
|
117
|
+
</li>
|
|
118
118
|
<li>FlowDDA()
|
|
119
119
|
: <a class="el" href="classSVF_1_1FlowDDA.html#aab22d2c14b46963887f623d84e75bd7a">SVF::FlowDDA</a>
|
|
120
120
|
</li>
|
|
@@ -158,7 +158,7 @@ $(function() {
|
|
|
158
158
|
: <a class="el" href="classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272">SVF::FormalParmVFGNode</a>
|
|
159
159
|
</li>
|
|
160
160
|
<li>FormalRetVFGNode()
|
|
161
|
-
: <a class="el" href="classSVF_1_1FormalRetVFGNode.html#
|
|
161
|
+
: <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a527e3cac2e32f29d57b58db61c801cf3">SVF::FormalRetVFGNode</a>
|
|
162
162
|
</li>
|
|
163
163
|
<li>forwardSliceBegin()
|
|
164
164
|
: <a class="el" href="classSVF_1_1ProgSlice.html#ae482fcb138aaf345586a39daa34ff895">SVF::ProgSlice</a>
|
|
@@ -88,8 +88,8 @@ $(function() {
|
|
|
88
88
|
<li>gepIsLoad()
|
|
89
89
|
: <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#ad5b294dacf51a89306df9a22c6799bad">SVF::FlowSensitiveTBHC</a>
|
|
90
90
|
</li>
|
|
91
|
-
<li>
|
|
92
|
-
: <a class="el" href="
|
|
91
|
+
<li>GepObjVar()
|
|
92
|
+
: <a class="el" href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">SVF::GepObjVar</a>
|
|
93
93
|
</li>
|
|
94
94
|
<li>GepStmt()
|
|
95
95
|
: <a class="el" href="classSVF_1_1GepStmt.html#a9877729d1b82317d6e5d28bea9741586">SVF::GepStmt</a>
|
|
@@ -216,7 +216,7 @@ $(function() {
|
|
|
216
216
|
: <a class="el" href="classSVF_1_1ProgSlice.html#a967fa01a8baae0dd086b5c09ae0faa7b">SVF::ProgSlice</a>
|
|
217
217
|
</li>
|
|
218
218
|
<li>getBaseNode()
|
|
219
|
-
: <a class="el" href="
|
|
219
|
+
: <a class="el" href="classSVF_1_1GepObjVar.html#a4c5e346db61f7e04c15bf8527d8eff3c">SVF::GepObjVar</a>
|
|
220
220
|
</li>
|
|
221
221
|
<li>getBaseObj()
|
|
222
222
|
: <a class="el" href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR</a>
|
|
@@ -227,8 +227,7 @@ $(function() {
|
|
|
227
227
|
, <a class="el" href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">SVF::SVFIR</a>
|
|
228
228
|
</li>
|
|
229
229
|
<li>getBaseTypeAndFlattenedFields()
|
|
230
|
-
: <a class="el" href="classSVF_1_1SVFIRBuilder.html#
|
|
231
|
-
, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6243a2a002784b2ee1f0b1cfe9d3ea0f">SVF::SymbolTableInfo</a>
|
|
230
|
+
: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac03c4203e4b32a68dd548af64764fe2c">SVF::SVFIRBuilder</a>
|
|
232
231
|
</li>
|
|
233
232
|
<li>getBaseValVar()
|
|
234
233
|
: <a class="el" href="classSVF_1_1SVFIR.html#a5298f34143ec3a2e6bb74ebad668cbbc">SVF::SVFIR</a>
|
|
@@ -288,9 +287,6 @@ $(function() {
|
|
|
288
287
|
<li>getBVPointsTo()
|
|
289
288
|
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43">SVF::CondPTAImpl< Cond ></a>
|
|
290
289
|
</li>
|
|
291
|
-
<li>getByteOffset()
|
|
292
|
-
: <a class="el" href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">SVF::LocationSet</a>
|
|
293
|
-
</li>
|
|
294
290
|
<li>getCachedADPointsTo()
|
|
295
291
|
: <a class="el" href="classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704">SVF::DDAVFSolver< CVar, CPtSet, DPIm ></a>
|
|
296
292
|
</li>
|
|
@@ -345,7 +341,7 @@ $(function() {
|
|
|
345
341
|
: <a class="el" href="classSVF_1_1VFG.html#a1693ccdb6c1b57418316c29cde05cad2">SVF::VFG</a>
|
|
346
342
|
</li>
|
|
347
343
|
<li>getCallGraphNode()
|
|
348
|
-
: <a class="el" href="classSVF_1_1PTACallGraph.html#
|
|
344
|
+
: <a class="el" href="classSVF_1_1PTACallGraph.html#ae3ee76be0e959a736c868dc7e0128077">SVF::PTACallGraph</a>
|
|
349
345
|
</li>
|
|
350
346
|
<li>getCallGraphSCC()
|
|
351
347
|
: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bddf297a2d8cd59ce9a232f0229f248">SVF::PointerAnalysis</a>
|
|
@@ -616,7 +612,7 @@ $(function() {
|
|
|
616
612
|
: <a class="el" href="classSVF_1_1MTAResultValidator.html#afb110fec926967ba334bf2635d58a339">SVF::MTAResultValidator</a>
|
|
617
613
|
</li>
|
|
618
614
|
<li>getCxtLockfromCxtStmt()
|
|
619
|
-
: <a class="el" href="classSVF_1_1LockAnalysis.html#
|
|
615
|
+
: <a class="el" href="classSVF_1_1LockAnalysis.html#a4b55036dae224c83b650389a409d9b96">SVF::LockAnalysis</a>
|
|
620
616
|
</li>
|
|
621
617
|
<li>getCxtOfCxtThread()
|
|
622
618
|
: <a class="el" href="classSVF_1_1TCT.html#ab4bc72ca330b315df06f2d4d2c1a7b4f">SVF::TCT</a>
|
|
@@ -805,9 +801,6 @@ $(function() {
|
|
|
805
801
|
<li>getElementSet()
|
|
806
802
|
: <a class="el" href="classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320">SVF::CondStdSet< Element ></a>
|
|
807
803
|
</li>
|
|
808
|
-
<li>getElemNumStridePairVect()
|
|
809
|
-
: <a class="el" href="classSVF_1_1FieldInfo.html#adb7b7aca7740ae0dcec583d3fbbbf020">SVF::FieldInfo</a>
|
|
810
|
-
</li>
|
|
811
804
|
<li>getEntryNode()
|
|
812
805
|
: <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0">llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> ></a>
|
|
813
806
|
, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867">llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *></a>
|
|
@@ -840,26 +833,14 @@ $(function() {
|
|
|
840
833
|
, <a class="el" href="classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2">SVF::PathCondAllocator</a>
|
|
841
834
|
, <a class="el" href="classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d">SVF::ProgSlice</a>
|
|
842
835
|
</li>
|
|
843
|
-
<li>getFattenFieldIdxVec()
|
|
844
|
-
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ae57d9e939164a25bad4a84a25c9b35e6">SVF::SymbolTableInfo</a>
|
|
845
|
-
</li>
|
|
846
|
-
<li>getFattenFieldOffsetVec()
|
|
847
|
-
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#adfea906ce463903c365abca5ea1b45d1">SVF::SymbolTableInfo</a>
|
|
848
|
-
</li>
|
|
849
836
|
<li>getFieldIdx()
|
|
850
837
|
: <a class="el" href="classSVF_1_1GepValVar.html#ae6965dc3d70ff6d1877d29b8e7aa4af8">SVF::GepValVar</a>
|
|
851
838
|
</li>
|
|
852
|
-
<li>getFieldIdxVec()
|
|
853
|
-
: <a class="el" href="classSVF_1_1StInfo.html#a219b42bae46d10dbeab28c6fd922dd68">SVF::StInfo</a>
|
|
854
|
-
</li>
|
|
855
839
|
<li>getFieldObjNodeNum()
|
|
856
840
|
: <a class="el" href="classSVF_1_1SVFIR.html#af7a98a5eb789178594063140c85cd21f">SVF::SVFIR</a>
|
|
857
841
|
</li>
|
|
858
|
-
<li>getFieldOffsetVec()
|
|
859
|
-
: <a class="el" href="classSVF_1_1StInfo.html#a25a1d7b04738c9e3b60654992b897385">SVF::StInfo</a>
|
|
860
|
-
</li>
|
|
861
842
|
<li>getFields()
|
|
862
|
-
: <a class="el" href="
|
|
843
|
+
: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5c7cc40f0a9c89a8b9c21c65215dda29">SVF::SVFIRBuilder</a>
|
|
863
844
|
</li>
|
|
864
845
|
<li>getFieldsAfterCollapse()
|
|
865
846
|
: <a class="el" href="classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0">SVF::SVFIR</a>
|
|
@@ -870,12 +851,6 @@ $(function() {
|
|
|
870
851
|
<li>getFieldTypes()
|
|
871
852
|
: <a class="el" href="classSVF_1_1DCHGraph.html#ae9a0007299178912e2568dc7158d6824">SVF::DCHGraph</a>
|
|
872
853
|
</li>
|
|
873
|
-
<li>getFieldTypeWithByteOffset()
|
|
874
|
-
: <a class="el" href="classSVF_1_1StInfo.html#aed0d6af756950fa2db4f56c9ffe76355">SVF::StInfo</a>
|
|
875
|
-
</li>
|
|
876
|
-
<li>getFieldTypeWithFldIdx()
|
|
877
|
-
: <a class="el" href="classSVF_1_1StInfo.html#a913afa9bbdeb9cc54b0a9b9a062c0979">SVF::StInfo</a>
|
|
878
|
-
</li>
|
|
879
854
|
<li>getFieldValNodeNum()
|
|
880
855
|
: <a class="el" href="classSVF_1_1SVFIR.html#a4b4592e3187bb6583aba63b2f374754e">SVF::SVFIR</a>
|
|
881
856
|
</li>
|
|
@@ -890,18 +865,23 @@ $(function() {
|
|
|
890
865
|
, <a class="el" href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">SVF::PointerAnalysis</a>
|
|
891
866
|
, <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
|
|
892
867
|
</li>
|
|
893
|
-
<li>
|
|
894
|
-
: <a class="el" href="
|
|
868
|
+
<li>getFlattenedFieldIdxVec()
|
|
869
|
+
: <a class="el" href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">SVF::StInfo</a>
|
|
870
|
+
, <a class="el" href="classSVF_1_1SymbolTableInfo.html#ac50e1d8f8b8e514d098a55bfbac86010">SVF::SymbolTableInfo</a>
|
|
895
871
|
</li>
|
|
896
|
-
<li>
|
|
897
|
-
: <a class="el" href="
|
|
872
|
+
<li>getFlattenedFieldInfoVec()
|
|
873
|
+
: <a class="el" href="classSVF_1_1StInfo.html#ab5908115f11eccee61bd0759a51d5af0">SVF::StInfo</a>
|
|
874
|
+
, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a9ca564bdc1f40a2ccd30d98e0e4075b0">SVF::SymbolTableInfo</a>
|
|
898
875
|
</li>
|
|
899
|
-
<li>
|
|
900
|
-
: <a class="el" href="
|
|
901
|
-
, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a3fa4043c6e33a5b1daaa65f206b6a843">SVF::SymbolTableInfo</a>
|
|
876
|
+
<li>getFlattenElemTy()
|
|
877
|
+
: <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a92c1b65c36feeabf09541c9af4650f14">SVF::FlattenedFieldInfo</a>
|
|
902
878
|
</li>
|
|
903
879
|
<li>getFlattenFldIdx()
|
|
904
|
-
: <a class="el" href="
|
|
880
|
+
: <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a34759f793f0445d2941c9a7d1413b7b2">SVF::FlattenedFieldInfo</a>
|
|
881
|
+
</li>
|
|
882
|
+
<li>getFlatternedFieldType()
|
|
883
|
+
: <a class="el" href="classSVF_1_1StInfo.html#a102181a3ac3c634e3c25a566756ec764">SVF::StInfo</a>
|
|
884
|
+
, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a666d1dff7a629bd34abbd2031c1037a4">SVF::SymbolTableInfo</a>
|
|
905
885
|
</li>
|
|
906
886
|
<li>getFollowers()
|
|
907
887
|
: <a class="el" href="classSVF_1_1PCG.html#a1312d734609f82230d3c00a99b189db9">SVF::PCG</a>
|
|
@@ -1282,7 +1262,7 @@ $(function() {
|
|
|
1282
1262
|
: <a class="el" href="classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9">SVF::StmtDPItem< LocCond ></a>
|
|
1283
1263
|
</li>
|
|
1284
1264
|
<li>getLocationSet()
|
|
1285
|
-
: <a class="el" href="
|
|
1265
|
+
: <a class="el" href="classSVF_1_1GepObjVar.html#a553e648804b39c503e7288dd0434c339">SVF::GepObjVar</a>
|
|
1286
1266
|
, <a class="el" href="classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b">SVF::NormalGepCGEdge</a>
|
|
1287
1267
|
, <a class="el" href="classSVF_1_1NormalGepStmt.html#a7bf625581c4852212bcea89562ea9cef">SVF::NormalGepStmt</a>
|
|
1288
1268
|
</li>
|
|
@@ -1300,7 +1280,7 @@ $(function() {
|
|
|
1300
1280
|
: <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver< CVar, CPtSet, DPIm ></a>
|
|
1301
1281
|
</li>
|
|
1302
1282
|
<li>getLoop()
|
|
1303
|
-
: <a class="el" href="classSVF_1_1TCT.html#
|
|
1283
|
+
: <a class="el" href="classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021">SVF::TCT</a>
|
|
1304
1284
|
</li>
|
|
1305
1285
|
<li>getLoopInfo()
|
|
1306
1286
|
: <a class="el" href="classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f">SVF::PathCondAllocator</a>
|
|
@@ -1437,7 +1417,7 @@ $(function() {
|
|
|
1437
1417
|
: <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
|
|
1438
1418
|
</li>
|
|
1439
1419
|
<li>getMUSet()
|
|
1440
|
-
: <a class="el" href="classSVF_1_1MemSSA.html#
|
|
1420
|
+
: <a class="el" href="classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe">SVF::MemSSA</a>
|
|
1441
1421
|
</li>
|
|
1442
1422
|
<li>getMutDFPTDataTy()
|
|
1443
1423
|
: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
|
|
@@ -1536,9 +1516,6 @@ $(function() {
|
|
|
1536
1516
|
: <a class="el" href="classSVF_1_1PointerAnalysis.html#ac522df904e702381222a4d9b205c775b">SVF::PointerAnalysis</a>
|
|
1537
1517
|
, <a class="el" href="classSVF_1_1PTACallGraph.html#a3379185589e9bcafa4f961930aaf2694">SVF::PTACallGraph</a>
|
|
1538
1518
|
</li>
|
|
1539
|
-
<li>getNumStridePair()
|
|
1540
|
-
: <a class="el" href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">SVF::LocationSet</a>
|
|
1541
|
-
</li>
|
|
1542
1519
|
<li>getNumSuccessors()
|
|
1543
1520
|
: <a class="el" href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt</a>
|
|
1544
1521
|
, <a class="el" href="classSVF_1_1BranchVFGNode.html#ad070e36a440deb982779cec18aa03ee6">SVF::BranchVFGNode</a>
|
|
@@ -1577,11 +1554,14 @@ $(function() {
|
|
|
1577
1554
|
</li>
|
|
1578
1555
|
<li>getOffset()
|
|
1579
1556
|
: <a class="el" href="classSVF_1_1DCHEdge.html#a228405631dd68eeeb274581865e4d13d">SVF::DCHEdge</a>
|
|
1557
|
+
, <a class="el" href="classSVF_1_1GepObjVar.html#aae0159e4e93e3607e425933b8ce0a66c">SVF::GepObjVar</a>
|
|
1580
1558
|
, <a class="el" href="classSVF_1_1GepValVar.html#a149d738115af2bcd815306ee6eb91bb3">SVF::GepValVar</a>
|
|
1581
|
-
, <a class="el" href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">SVF::LocationSet</a>
|
|
1582
1559
|
, <a class="el" href="classSVF_1_1NormalGepCGEdge.html#ac7dc9a2857ee020345ebe465ba0d08f3">SVF::NormalGepCGEdge</a>
|
|
1583
1560
|
, <a class="el" href="classSVF_1_1NormalGepStmt.html#a904919192ddbd054381c3b863531ab10">SVF::NormalGepStmt</a>
|
|
1584
1561
|
</li>
|
|
1562
|
+
<li>getOffsetValueVec()
|
|
1563
|
+
: <a class="el" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">SVF::LocationSet</a>
|
|
1564
|
+
</li>
|
|
1585
1565
|
<li>getOpcode()
|
|
1586
1566
|
: <a class="el" href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt</a>
|
|
1587
1567
|
, <a class="el" href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt</a>
|
|
@@ -1648,15 +1628,13 @@ $(function() {
|
|
|
1648
1628
|
<li>getOrCreateTCTNode()
|
|
1649
1629
|
: <a class="el" href="classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9">SVF::TCT</a>
|
|
1650
1630
|
</li>
|
|
1631
|
+
<li>getOriginalFieldType()
|
|
1632
|
+
: <a class="el" href="classSVF_1_1StInfo.html#a353476ac0b11f153555557b932847d85">SVF::StInfo</a>
|
|
1633
|
+
, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49">SVF::SymbolTableInfo</a>
|
|
1634
|
+
</li>
|
|
1651
1635
|
<li>getOriginalObj()
|
|
1652
1636
|
: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#aeea7089c6f54b44f0509d41686b649f6">SVF::TypeBasedHeapCloning</a>
|
|
1653
1637
|
</li>
|
|
1654
|
-
<li>getOrigSubTypeWithByteOffset()
|
|
1655
|
-
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a573bd5208467b2f905f5b2b1684feac8">SVF::SymbolTableInfo</a>
|
|
1656
|
-
</li>
|
|
1657
|
-
<li>getOrigSubTypeWithFldInx()
|
|
1658
|
-
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad7dec8a89931ef96a26c7f1d23062702">SVF::SymbolTableInfo</a>
|
|
1659
|
-
</li>
|
|
1660
1638
|
<li>getOutEdges()
|
|
1661
1639
|
: <a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode< NodeTy, EdgeTy ></a>
|
|
1662
1640
|
</li>
|
|
@@ -1832,7 +1810,7 @@ $(function() {
|
|
|
1832
1810
|
, <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData< Key, KeySet, Data, DataSet ></a>
|
|
1833
1811
|
, <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
1834
1812
|
, <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
1835
|
-
, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#
|
|
1813
|
+
, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet ></a>
|
|
1836
1814
|
, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData< Key, KeySet, Data, DataSet ></a>
|
|
1837
1815
|
, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
1838
1816
|
, <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData< Key, KeySet, Data, DataSet ></a>
|
|
@@ -1909,7 +1887,7 @@ $(function() {
|
|
|
1909
1887
|
: <a class="el" href="classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c">SVF::ICFG</a>
|
|
1910
1888
|
</li>
|
|
1911
1889
|
<li>getRetParmAtJoinedSite()
|
|
1912
|
-
: <a class="el" href="classSVF_1_1ThreadAPI.html#
|
|
1890
|
+
: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
|
|
1913
1891
|
</li>
|
|
1914
1892
|
<li>getRetSite()
|
|
1915
1893
|
: <a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">SVF::ProgSlice</a>
|
|
@@ -2125,7 +2103,7 @@ $(function() {
|
|
|
2125
2103
|
: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
|
|
2126
2104
|
</li>
|
|
2127
2105
|
<li>getTaskFuncAtHareParForSite()
|
|
2128
|
-
: <a class="el" href="classSVF_1_1ThreadAPI.html#
|
|
2106
|
+
: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
|
|
2129
2107
|
</li>
|
|
2130
2108
|
<li>getTCG()
|
|
2131
2109
|
: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
|
|
@@ -2186,7 +2164,7 @@ $(function() {
|
|
|
2186
2164
|
<li>getType()
|
|
2187
2165
|
: <a class="el" href="classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de">SVF::CallSite</a>
|
|
2188
2166
|
, <a class="el" href="classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153">SVF::DCHNode</a>
|
|
2189
|
-
, <a class="el" href="
|
|
2167
|
+
, <a class="el" href="classSVF_1_1GepObjVar.html#ab2348a9378f1c64cf5c176b21a655d14">SVF::GepObjVar</a>
|
|
2190
2168
|
, <a class="el" href="classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4">SVF::GepValVar</a>
|
|
2191
2169
|
, <a class="el" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj</a>
|
|
2192
2170
|
, <a class="el" href="classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c">SVF::MSSADEF</a>
|
|
@@ -2242,7 +2220,7 @@ $(function() {
|
|
|
2242
2220
|
, <a class="el" href="classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd">SVF::DummyObjVar</a>
|
|
2243
2221
|
, <a class="el" href="classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd">SVF::DummyValVar</a>
|
|
2244
2222
|
, <a class="el" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar</a>
|
|
2245
|
-
, <a class="el" href="
|
|
2223
|
+
, <a class="el" href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">SVF::GepObjVar</a>
|
|
2246
2224
|
, <a class="el" href="classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3">SVF::GepValVar</a>
|
|
2247
2225
|
, <a class="el" href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">SVF::ObjVar</a>
|
|
2248
2226
|
, <a class="el" href="classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f">SVF::RetPN</a>
|