svf-tools 1.0.830 → 1.0.832
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/AccessPath_8cpp_source.html +220 -228
- package/SVF-doxygen/html/AccessPath_8h_source.html +9 -9
- package/SVF-doxygen/html/AndersenSFR_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CFLAlias_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +8 -8
- package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ConsG_8h_source.html +1 -1
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
- package/SVF-doxygen/html/DCHG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/DDAClient_8cpp_source.html +2 -2
- package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
- package/SVF-doxygen/html/FlowDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/IRGraph_8h_source.html +2 -2
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +7 -7
- package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +369 -402
- package/SVF-doxygen/html/LLVMUtil_8h.html +3 -10
- package/SVF-doxygen/html/LLVMUtil_8h_source.html +350 -392
- package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MemRegion_8cpp_source.html +3 -3
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +4 -4
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +358 -362
- package/SVF-doxygen/html/PointerAnalysis_8h_source.html +13 -13
- package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +5 -5
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +6 -6
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +13 -13
- package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFIR_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFIR_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFStat_8cpp_source.html +12 -12
- package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFStatements_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFType_8cpp_source.html +38 -39
- package/SVF-doxygen/html/SVFType_8h_source.html +5 -5
- package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFVariables_8h_source.html +1 -1
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Steensgaard_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +199 -199
- package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +4 -4
- package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +318 -322
- package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +33 -33
- package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +200 -209
- package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1GepStmt.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MemObj.html +121 -121
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +28 -28
- package/SVF-doxygen/html/classSVF_1_1ObjVar.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +336 -340
- package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFIR.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +16 -16
- package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +2 -4
- package/SVF-doxygen/html/classSVF_1_1SVFStat.html +12 -12
- package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +196 -196
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +103 -107
- package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +526 -669
- package/SVF-doxygen/html/namespacemembers_func_g.html +0 -6
- package/SVF-doxygen/html/namespacemembers_func_i.html +9 -9
- package/SVF-doxygen/html/namespacemembers_g.html +4 -10
- package/SVF-doxygen/html/namespacemembers_i.html +7 -7
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +223 -223
- package/SVF-doxygen/html/search/all_12.js +553 -553
- package/SVF-doxygen/html/search/all_13.js +192 -192
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +167 -167
- package/SVF-doxygen/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/search/all_1a.js +172 -172
- package/SVF-doxygen/html/search/all_7.js +246 -248
- package/SVF-doxygen/html/search/all_8.js +198 -198
- package/SVF-doxygen/html/search/all_9.js +607 -607
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +115 -115
- package/SVF-doxygen/html/search/all_d.js +198 -198
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +116 -116
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +34 -34
- package/SVF-doxygen/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +21 -21
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +55 -55
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +13 -13
- package/SVF-doxygen/html/search/functions_1.js +360 -360
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +139 -139
- package/SVF-doxygen/html/search/functions_12.js +288 -288
- package/SVF-doxygen/html/search/functions_13.js +59 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +172 -172
- package/SVF-doxygen/html/search/functions_2.js +89 -89
- package/SVF-doxygen/html/search/functions_3.js +258 -258
- package/SVF-doxygen/html/search/functions_4.js +78 -78
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +60 -60
- package/SVF-doxygen/html/search/functions_7.js +855 -857
- package/SVF-doxygen/html/search/functions_8.js +149 -149
- package/SVF-doxygen/html/search/functions_9.js +423 -423
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +25 -25
- package/SVF-doxygen/html/search/functions_d.js +79 -79
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +2 -2
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +61 -61
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +33 -33
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +56 -56
- package/SVF-doxygen/html/search/typedefs_7.js +44 -44
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +14 -14
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +44 -44
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +76 -76
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +37 -37
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +78 -78
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +30 -30
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
- package/package.json +1 -1
- package/svf/lib/MemoryModel/AccessPath.cpp +3 -12
- package/svf/lib/MemoryModel/PointerAnalysis.cpp +0 -3
- package/svf/lib/SVFIR/SVFType.cpp +1 -2
- package/svf/lib/SVFIR/SymbolTableInfo.cpp +1 -5
- package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +1 -34
- package/svf-llvm/lib/LLVMUtil.cpp +1 -32
- package/svf-llvm/lib/SymbolTableBuilder.cpp +8 -8
|
@@ -800,252 +800,250 @@ var searchData=
|
|
|
800
800
|
['getrefinfoforcall_2845',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2',1,'SVF::MRGenerator']]],
|
|
801
801
|
['getrefsideeffectofcallsite_2846',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d',1,'SVF::MRGenerator']]],
|
|
802
802
|
['getrefsideeffectoffunction_2847',['getRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9',1,'SVF::MRGenerator']]],
|
|
803
|
-
['
|
|
804
|
-
['
|
|
805
|
-
['
|
|
806
|
-
['
|
|
807
|
-
['
|
|
808
|
-
['
|
|
809
|
-
['
|
|
810
|
-
['
|
|
811
|
-
['
|
|
812
|
-
['
|
|
813
|
-
['
|
|
814
|
-
['
|
|
815
|
-
['
|
|
816
|
-
['
|
|
817
|
-
['
|
|
818
|
-
['
|
|
819
|
-
['
|
|
820
|
-
['
|
|
821
|
-
['
|
|
822
|
-
['
|
|
823
|
-
['
|
|
824
|
-
['
|
|
825
|
-
['
|
|
826
|
-
['
|
|
827
|
-
['
|
|
828
|
-
['
|
|
829
|
-
['
|
|
830
|
-
['
|
|
831
|
-
['
|
|
832
|
-
['
|
|
833
|
-
['
|
|
834
|
-
['
|
|
835
|
-
['
|
|
836
|
-
['
|
|
837
|
-
['
|
|
838
|
-
['
|
|
839
|
-
['
|
|
840
|
-
['
|
|
841
|
-
['
|
|
842
|
-
['
|
|
843
|
-
['
|
|
844
|
-
['
|
|
845
|
-
['
|
|
846
|
-
['
|
|
847
|
-
['
|
|
848
|
-
['
|
|
849
|
-
['
|
|
850
|
-
['
|
|
851
|
-
['
|
|
852
|
-
['
|
|
853
|
-
['
|
|
854
|
-
['
|
|
855
|
-
['
|
|
856
|
-
['
|
|
857
|
-
['
|
|
858
|
-
['
|
|
859
|
-
['
|
|
860
|
-
['
|
|
861
|
-
['
|
|
862
|
-
['
|
|
863
|
-
['
|
|
864
|
-
['
|
|
865
|
-
['
|
|
866
|
-
['
|
|
867
|
-
['
|
|
868
|
-
['
|
|
869
|
-
['
|
|
870
|
-
['
|
|
871
|
-
['
|
|
872
|
-
['
|
|
873
|
-
['
|
|
874
|
-
['
|
|
875
|
-
['
|
|
876
|
-
['
|
|
877
|
-
['
|
|
878
|
-
['
|
|
879
|
-
['
|
|
880
|
-
['
|
|
881
|
-
['
|
|
882
|
-
['
|
|
883
|
-
['
|
|
884
|
-
['
|
|
885
|
-
['
|
|
886
|
-
['
|
|
887
|
-
['
|
|
888
|
-
['
|
|
889
|
-
['
|
|
890
|
-
['
|
|
891
|
-
['
|
|
892
|
-
['
|
|
893
|
-
['
|
|
894
|
-
['
|
|
895
|
-
['
|
|
896
|
-
['
|
|
897
|
-
['
|
|
898
|
-
['
|
|
899
|
-
['
|
|
900
|
-
['
|
|
901
|
-
['
|
|
902
|
-
['
|
|
903
|
-
['
|
|
904
|
-
['
|
|
905
|
-
['
|
|
906
|
-
['
|
|
907
|
-
['
|
|
908
|
-
['
|
|
909
|
-
['
|
|
910
|
-
['
|
|
911
|
-
['
|
|
912
|
-
['
|
|
913
|
-
['
|
|
914
|
-
['
|
|
915
|
-
['
|
|
916
|
-
['
|
|
917
|
-
['
|
|
918
|
-
['
|
|
919
|
-
['
|
|
920
|
-
['
|
|
921
|
-
['
|
|
922
|
-
['
|
|
923
|
-
['
|
|
924
|
-
['
|
|
925
|
-
['
|
|
926
|
-
['
|
|
927
|
-
['
|
|
928
|
-
['
|
|
929
|
-
['
|
|
930
|
-
['
|
|
931
|
-
['
|
|
932
|
-
['
|
|
933
|
-
['
|
|
934
|
-
['
|
|
935
|
-
['
|
|
936
|
-
['
|
|
937
|
-
['
|
|
938
|
-
['
|
|
939
|
-
['
|
|
940
|
-
['
|
|
941
|
-
['
|
|
942
|
-
['
|
|
943
|
-
['
|
|
944
|
-
['
|
|
945
|
-
['
|
|
946
|
-
['
|
|
947
|
-
['
|
|
948
|
-
['
|
|
949
|
-
['
|
|
950
|
-
['
|
|
951
|
-
['
|
|
952
|
-
['
|
|
953
|
-
['
|
|
954
|
-
['
|
|
955
|
-
['
|
|
956
|
-
['
|
|
957
|
-
['
|
|
958
|
-
['
|
|
959
|
-
['
|
|
960
|
-
['
|
|
961
|
-
['
|
|
962
|
-
['
|
|
963
|
-
['
|
|
964
|
-
['
|
|
965
|
-
['
|
|
966
|
-
['
|
|
967
|
-
['
|
|
968
|
-
['
|
|
969
|
-
['
|
|
970
|
-
['
|
|
971
|
-
['
|
|
972
|
-
['
|
|
973
|
-
['
|
|
974
|
-
['
|
|
975
|
-
['
|
|
976
|
-
['
|
|
977
|
-
['
|
|
978
|
-
['
|
|
979
|
-
['
|
|
980
|
-
['
|
|
981
|
-
['
|
|
982
|
-
['
|
|
983
|
-
['
|
|
984
|
-
['
|
|
985
|
-
['
|
|
986
|
-
['
|
|
987
|
-
['
|
|
988
|
-
['
|
|
989
|
-
['
|
|
990
|
-
['
|
|
991
|
-
['
|
|
992
|
-
['
|
|
993
|
-
['
|
|
994
|
-
['
|
|
995
|
-
['
|
|
996
|
-
['
|
|
997
|
-
['
|
|
998
|
-
['
|
|
999
|
-
['
|
|
1000
|
-
['
|
|
1001
|
-
['
|
|
1002
|
-
['
|
|
1003
|
-
['
|
|
1004
|
-
['
|
|
1005
|
-
['
|
|
1006
|
-
['
|
|
1007
|
-
['
|
|
1008
|
-
['
|
|
1009
|
-
['
|
|
1010
|
-
['
|
|
1011
|
-
['
|
|
1012
|
-
['
|
|
1013
|
-
['
|
|
1014
|
-
['
|
|
1015
|
-
['
|
|
1016
|
-
['
|
|
1017
|
-
['
|
|
1018
|
-
['
|
|
1019
|
-
['
|
|
1020
|
-
['
|
|
1021
|
-
['
|
|
1022
|
-
['
|
|
1023
|
-
['
|
|
1024
|
-
['
|
|
1025
|
-
['
|
|
1026
|
-
['
|
|
1027
|
-
['
|
|
1028
|
-
['
|
|
1029
|
-
['
|
|
1030
|
-
['
|
|
1031
|
-
['
|
|
1032
|
-
['
|
|
1033
|
-
['
|
|
1034
|
-
['
|
|
1035
|
-
['
|
|
1036
|
-
['
|
|
1037
|
-
['
|
|
1038
|
-
['
|
|
1039
|
-
['
|
|
1040
|
-
['
|
|
1041
|
-
['
|
|
1042
|
-
['
|
|
1043
|
-
['
|
|
1044
|
-
['
|
|
1045
|
-
['
|
|
1046
|
-
['
|
|
1047
|
-
['
|
|
1048
|
-
['
|
|
1049
|
-
['gtraits_3094',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23',1,'SVF::WPASolver::GTraits()']]],
|
|
1050
|
-
['gzgets_3095',['gzgets',['../extapi_8c.html#ac84ce7ca37e7c4e94aec43868a755cac',1,'extapi.c']]]
|
|
803
|
+
['getregionsize_2848',['getRegionSize',['../classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9',1,'SVF::MemRegion']]],
|
|
804
|
+
['getreles_2849',['getRelEs',['../classSVF_1_1SVFIR2ItvExeState.html#a26f2ed7999321f7037be625a9ebef226',1,'SVF::SVFIR2ItvExeState']]],
|
|
805
|
+
['getreliantversions_2850',['getReliantVersions',['../classSVF_1_1VersionedFlowSensitive.html#ae83c62a01196991d116ef5c36cb51e31',1,'SVF::VersionedFlowSensitive']]],
|
|
806
|
+
['getrep_2851',['getRep',['../classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214',1,'SVF::ConstraintGraph']]],
|
|
807
|
+
['getrepnodes_2852',['getRepNodes',['../classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e',1,'SVF::SCCDetection']]],
|
|
808
|
+
['getreppointsto_2853',['getRepPointsTo',['../classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac',1,'SVF::MRGenerator']]],
|
|
809
|
+
['getrepr_2854',['getRepr',['../classSVF_1_1SVFOtherType.html#ad9cbb0a4ffefe248977850d9aa17f9c1',1,'SVF::SVFOtherType']]],
|
|
810
|
+
['getres_2855',['getRes',['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()'],['../classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601',1,'SVF::MultiOpndStmt::getRes()'],['../classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1',1,'SVF::UnaryOPStmt::getRes()']]],
|
|
811
|
+
['getresid_2856',['getResID',['../classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e',1,'SVF::MultiOpndStmt::getResID()'],['../classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856',1,'SVF::UnaryOPStmt::getResID()']]],
|
|
812
|
+
['getresver_2857',['getResVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50',1,'SVF::MSSAPHISVFGNode::getResVer()'],['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF::getResVer()']]],
|
|
813
|
+
['getret_2858',['getRet',['../classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262',1,'SVF::FormalRetVFGNode']]],
|
|
814
|
+
['getretblock_2859',['getRetBlock',['../classSVF_1_1ICFG.html#a5ad71237256b2a8ce94a7d79a84afe55',1,'SVF::ICFG']]],
|
|
815
|
+
['getreticfgnode_2860',['getRetICFGNode',['../classSVF_1_1ICFGBuilder.html#a31a2810fe664f45da147f4bd0a0410d6',1,'SVF::ICFGBuilder::getRetICFGNode()'],['../classSVF_1_1ICFG.html#a881fe977f3a6fde223bd786121e35fcf',1,'SVF::ICFG::getRetICFGNode()'],['../classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead',1,'SVF::CallICFGNode::getRetICFGNode()']]],
|
|
816
|
+
['getretparmatjoinedsite_2861',['getRetParmAtJoinedSite',['../classSVF_1_1ThreadAPI.html#a24e1734230ec053c218d4d4774b9bfd0',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#acbd4d2403cc9ebb01b82844d8c4eeb54',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(CallSite cs) const']]],
|
|
817
|
+
['getretpe_2862',['getRetPE',['../classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603',1,'SVF::RetCFGEdge']]],
|
|
818
|
+
['getretsite_2863',['getRetSite',['../classSVF_1_1ProgSlice.html#a07ce77afbf69d5e2a47afaa39eaea886',1,'SVF::ProgSlice']]],
|
|
819
|
+
['getretsym_2864',['getRetSym',['../classSVF_1_1SymbolTableInfo.html#afb06da4d5f8c75c039b0a05a31d4beb3',1,'SVF::SymbolTableInfo']]],
|
|
820
|
+
['getreturnmuset_2865',['getReturnMuSet',['../classSVF_1_1MemSSA.html#af8c38a7ff8da4206f19c038024606d93',1,'SVF::MemSSA']]],
|
|
821
|
+
['getreturnnode_2866',['getReturnNode',['../classSVF_1_1SVFIRBuilder.html#aff99c8de4acf4eeaf01803dadf459b92',1,'SVF::SVFIRBuilder::getReturnNode()'],['../classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68',1,'SVF::ConstraintGraph::getReturnNode()'],['../classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910',1,'SVF::IRGraph::getReturnNode()']]],
|
|
822
|
+
['getreturntype_2867',['getReturnType',['../classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3',1,'SVF::SVFFunctionType::getReturnType()'],['../classSVF_1_1SVFFunction.html#af264312f0020bde9151697bccfde3263',1,'SVF::SVFFunction::getReturnType()']]],
|
|
823
|
+
['getrev_2868',['getRev',['../classSVF_1_1ActualRetVFGNode.html#a4bcfddf05da46729c670b4f450f9d606',1,'SVF::ActualRetVFGNode']]],
|
|
824
|
+
['getreversenodemapping_2869',['getReverseNodeMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a36b25188130f4c21d145c950a70d616f',1,'SVF::NodeIDAllocator::Clusterer']]],
|
|
825
|
+
['getrevpts_2870',['getRevPts',['../classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d',1,'SVF::CFLAlias::getRevPts()'],['../classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03',1,'SVF::PTData::getRevPts()'],['../classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096',1,'SVF::MutablePTData::getRevPts()'],['../classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d',1,'SVF::MutableDiffPTData::getRevPts()'],['../classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4',1,'SVF::MutableDFPTData::getRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#a7de508c0d83895aee785524d28eac8b9',1,'SVF::MutableVersionedPTData::getRevPts()'],['../classSVF_1_1PersistentPTData.html#a2f4fe676fdb5c749aa9b3f68e45e26de',1,'SVF::PersistentPTData::getRevPts()'],['../classSVF_1_1PersistentDiffPTData.html#a7c34a171565b7eb45a54b6a8336a321d',1,'SVF::PersistentDiffPTData::getRevPts()'],['../classSVF_1_1PersistentDFPTData.html#a1cd608254a5d4a59b507bb6508e3560d',1,'SVF::PersistentDFPTData::getRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a4faa0f91fa8acbd8c818f3abf5db8b5f',1,'SVF::PersistentVersionedPTData::getRevPts()'],['../classSVF_1_1PointerAnalysis.html#ad9af9655a13f3faeaf265ba370d1f280',1,'SVF::PointerAnalysis::getRevPts()'],['../classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1',1,'SVF::BVDataPTAImpl::getRevPts()'],['../classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3',1,'SVF::CondPTAImpl::getRevPts(CVar nodeId)'],['../classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9',1,'SVF::CondPTAImpl::getRevPts(NodeID obj)']]],
|
|
826
|
+
['getrhsvar_2871',['getRHSVar',['../classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28',1,'SVF::AssignStmt']]],
|
|
827
|
+
['getrhsvarid_2872',['getRHSVarID',['../classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d',1,'SVF::AssignStmt']]],
|
|
828
|
+
['gets_2873',['gets',['../extapi_8c.html#ad23cf6ce344e3cdbbe53eee7e9a83b5c',1,'extapi.c']]],
|
|
829
|
+
['getsabercondallocator_2874',['getSaberCondAllocator',['../classSVF_1_1SrcSnkDDA.html#af4f725606567ce8cc66b805df87a7afb',1,'SVF::SrcSnkDDA']]],
|
|
830
|
+
['getsccdetector_2875',['getSCCDetector',['../classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953',1,'SVF::WPASolver']]],
|
|
831
|
+
['getsccrep_2876',['getSCCRep',['../classSVF_1_1SVFGStat.html#a947dcd586a9ccf8b60243153769aaf31',1,'SVF::SVFGStat']]],
|
|
832
|
+
['getsecondrhssymbol_2877',['getSecondRHSSymbol',['../classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b',1,'SVF::CFGrammar']]],
|
|
833
|
+
['getsecondrhstoprods_2878',['getSecondRHSToProds',['../classSVF_1_1CFGrammar.html#a2506ec7098c676466744e87d1eb8dd3d',1,'SVF::CFGrammar']]],
|
|
834
|
+
['getservbyname_2879',['getservbyname',['../extapi_8c.html#aaa29998f05105541c3572935ee4008e5',1,'extapi.c']]],
|
|
835
|
+
['getservbyport_2880',['getservbyport',['../extapi_8c.html#a099394fe0553f8ecb44e704298d5812f',1,'extapi.c']]],
|
|
836
|
+
['getsextvalue_2881',['getSExtValue',['../classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4',1,'SVF::SVFConstantInt']]],
|
|
837
|
+
['getsiblingthread_2882',['getSiblingThread',['../classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f',1,'SVF::TCT']]],
|
|
838
|
+
['getsimplenodelabel_2883',['getSimpleNodeLabel',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a5aa39463364e34edd365d8eb743d93c6',1,'SVF::DOTGraphTraits< SVF::CDG * >::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0',1,'SVF::DOTGraphTraits< SVF::CFBasicBlockGraph * >::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a8964f2454b3e0887de6a0f3c9731e0aa',1,'SVF::DOTGraphTraits< ICFG * >::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a80aace686045f098dde4acb2087f8541',1,'SVF::DOTGraphTraits< SVFG * >::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#adffdd760b14329018faabd8c523bbb01',1,'SVF::DOTGraphTraits< VFG * >::getSimpleNodeLabel()']]],
|
|
839
|
+
['getsimplifiedvalue_2884',['getSimplifiedValue',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9',1,'SVF::SVFUtil::simplify_type::getSimplifiedValue()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b',1,'SVF::SVFUtil::simplify_type< const From >::getSimplifiedValue()']]],
|
|
840
|
+
['getsinglerhstoprods_2885',['getSingleRHSToProds',['../classSVF_1_1CFGrammar.html#a8c853ad1e1b30c3ba4efe66b1d0dddf6',1,'SVF::CFGrammar']]],
|
|
841
|
+
['getsinks_2886',['getSinks',['../classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d',1,'SVF::ProgSlice::getSinks()'],['../classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96',1,'SVF::SrcSnkDDA::getSinks()']]],
|
|
842
|
+
['getsolver_2887',['getSolver',['../classSVF_1_1Z3Expr.html#a16721e960145864d0835eb95f2ae4681',1,'SVF::Z3Expr']]],
|
|
843
|
+
['getsource_2888',['getSource',['../classSVF_1_1ProgSlice.html#ac1dc48ea64a89ce37394a22e609a0cd0',1,'SVF::ProgSlice']]],
|
|
844
|
+
['getsourceloc_2889',['getSourceLoc',['../classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b',1,'SVF::SVFValue::getSourceLoc()'],['../namespaceSVF_1_1LLVMUtil.html#a8e4add30bd0ce00d3f2aa2e31c64fef8',1,'SVF::LLVMUtil::getSourceLoc()']]],
|
|
845
|
+
['getsourcelocoffunction_2890',['getSourceLocOfFunction',['../namespaceSVF_1_1LLVMUtil.html#a2b32283ee2dbb9cef1d17ab6f2719e0c',1,'SVF::LLVMUtil']]],
|
|
846
|
+
['getsources_2891',['getSources',['../classSVF_1_1SrcSnkDDA.html#a0c3d3b5ac74aa933178fa46b949d8bef',1,'SVF::SrcSnkDDA']]],
|
|
847
|
+
['getspanfromcxtlock_2892',['getSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#ae7942c801e05357bb63f08c24489daf6',1,'SVF::LockAnalysis']]],
|
|
848
|
+
['getspawnees_2893',['getSpawnees',['../classSVF_1_1PCG.html#a4aee985ede8e6ed6dd92574494101df9',1,'SVF::PCG']]],
|
|
849
|
+
['getspawners_2894',['getSpawners',['../classSVF_1_1PCG.html#a6efd56a0a1810cf9036dd9203ea5e71e',1,'SVF::PCG']]],
|
|
850
|
+
['getspnam_2895',['getspnam',['../extapi_8c.html#aa1665720390f5730514cc8dd5c4c7bf2',1,'extapi.c']]],
|
|
851
|
+
['getsrccsid_2896',['getSrcCSID',['../classSVF_1_1LeakChecker.html#a8cc561fddf3435b3b40ff4aace23b846',1,'SVF::LeakChecker']]],
|
|
852
|
+
['getsrcid_2897',['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()']]],
|
|
853
|
+
['getsrcnode_2898',['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()']]],
|
|
854
|
+
['getssaversion_2899',['getSSAVersion',['../classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88',1,'SVF::MRVer']]],
|
|
855
|
+
['getstartkind_2900',['getStartKind',['../classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b',1,'SVF::GrammarBase::getStartKind()'],['../classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4',1,'SVF::CFLGraph::getStartKind()']]],
|
|
856
|
+
['getstartroutineofcxtthread_2901',['getStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#ae25bbfc9c8616186f03c1555d5009ce3',1,'SVF::TCT']]],
|
|
857
|
+
['getstat_2902',['getStat',['../classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137',1,'SVF::SVFG::getStat()'],['../classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad',1,'SVF::PointerAnalysis::getStat()']]],
|
|
858
|
+
['getstdoutfromcommand_2903',['GetStdoutFromCommand',['../ExtAPI_8cpp.html#a424940f91f234b23bcc633f12269f935',1,'ExtAPI.cpp']]],
|
|
859
|
+
['getstinfoid_2904',['getStInfoID',['../classSVF_1_1SVFModuleWriter.html#aad7c19516219f22ea0496e8f042b1b56',1,'SVF::SVFModuleWriter']]],
|
|
860
|
+
['getstinfoptr_2905',['getStInfoPtr',['../classSVF_1_1SVFModuleReader.html#a6cf051df9f75ca42a51ee5b238b7550c',1,'SVF::SVFModuleReader']]],
|
|
861
|
+
['getstinfos_2906',['getStInfos',['../classSVF_1_1SymbolTableInfo.html#a3f33f57ab3acf91156e96ada04f34b5d',1,'SVF::SymbolTableInfo']]],
|
|
862
|
+
['getstmt_2907',['getStmt',['../classSVF_1_1CxtStmt.html#a0b593c4ba425937212e2889e64ce4791',1,'SVF::CxtStmt']]],
|
|
863
|
+
['getstmtreliance_2908',['getStmtReliance',['../classSVF_1_1VersionedFlowSensitive.html#a3489def8e16e4d7c83d2c909d3287fc0',1,'SVF::VersionedFlowSensitive']]],
|
|
864
|
+
['getstmtvfgnode_2909',['getStmtVFGNode',['../classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6',1,'SVF::VFG']]],
|
|
865
|
+
['getstorecgedges_2910',['getStoreCGEdges',['../classSVF_1_1ConstraintGraph.html#a61ef90be6ccc01634e5440f22a0f746e',1,'SVF::ConstraintGraph']]],
|
|
866
|
+
['getstorechinum_2911',['getStoreChiNum',['../classSVF_1_1MemSSA.html#aa8c45b455e6fc60cab955534c3e50bfa',1,'SVF::MemSSA']]],
|
|
867
|
+
['getstoreinedges_2912',['getStoreInEdges',['../classSVF_1_1ConstraintNode.html#aed5e1f0345aab58031daecfa0c6aac0b',1,'SVF::ConstraintNode']]],
|
|
868
|
+
['getstoremrset_2913',['getStoreMRSet',['../classSVF_1_1MRGenerator.html#a364ad1e34d09a92cdc0cfe530c84880f',1,'SVF::MRGenerator']]],
|
|
869
|
+
['getstoreoperand_2914',['getStoreOperand',['../classSVF_1_1MTAAnnotator.html#a49434afd0d7beb9f5d6580e8f672889c',1,'SVF::MTAAnnotator']]],
|
|
870
|
+
['getstoreoutedges_2915',['getStoreOutEdges',['../classSVF_1_1ConstraintNode.html#a85e67f52e9cda75704e6b5a46af289e7',1,'SVF::ConstraintNode']]],
|
|
871
|
+
['getstorestmt_2916',['getStoreStmt',['../classSVF_1_1StoreCHI.html#a0faba82bc86a12011407f4af00b2d0ad',1,'SVF::StoreCHI']]],
|
|
872
|
+
['getstoretochisetmap_2917',['getStoreToChiSetMap',['../classSVF_1_1MemSSA.html#a97166aa7102816a16734d7e2f1c130b0',1,'SVF::MemSSA']]],
|
|
873
|
+
['getstride_2918',['getStride',['../classSVF_1_1StInfo.html#af5094ec542f345d214a682d4138cf690',1,'SVF::StInfo']]],
|
|
874
|
+
['getstringarg_2919',['getStringArg',['../classSVF_1_1LockResultValidator.html#a1b1b841451fe51cb58417e864a28cbfc',1,'SVF::LockResultValidator::getStringArg()'],['../classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61',1,'SVF::MTAResultValidator::getStringArg(const Instruction *inst, unsigned int arg_num)'],['../classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4',1,'SVF::MTAResultValidator::getStringArg(const Instruction *inst, unsigned int arg_num)']]],
|
|
875
|
+
['getstrongupdatestores_2920',['getStrongUpdateStores',['../classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60',1,'SVF::DDAStat']]],
|
|
876
|
+
['getstructfieldoffset_2921',['getStructFieldOffset',['../classSVF_1_1AccessPath.html#a1f279344b4061838d7b3498631bc907c',1,'SVF::AccessPath']]],
|
|
877
|
+
['getsubnodes_2922',['getSubNodes',['../classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f',1,'SVF::Steensgaard']]],
|
|
878
|
+
['getsubs_2923',['getSubs',['../classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73',1,'SVF::ConstraintGraph']]],
|
|
879
|
+
['getsuccbbandcondvalpairvec_2924',['getSuccBBandCondValPairVec',['../namespaceSVF_1_1LLVMUtil.html#a9001722dd27bf487351725c3d7b65f2f',1,'SVF::LLVMUtil']]],
|
|
880
|
+
['getsuccessor_2925',['getSuccessor',['../classSVF_1_1BranchVFGNode.html#ae611eb1d27846c15b7301017e1864a30',1,'SVF::BranchVFGNode::getSuccessor()'],['../classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8',1,'SVF::BranchStmt::getSuccessor()']]],
|
|
881
|
+
['getsuccessorcondvalue_2926',['getSuccessorCondValue',['../classSVF_1_1IntraCFGEdge.html#a106513578790247f9d96e34c8385b3d8',1,'SVF::IntraCFGEdge::getSuccessorCondValue()'],['../classSVF_1_1BranchStmt.html#a7d2fa666602e0444d3e019563c0e7556',1,'SVF::BranchStmt::getSuccessorCondValue()']]],
|
|
882
|
+
['getsuccessors_2927',['getSuccessors',['../classSVF_1_1BranchVFGNode.html#a2ef5951de4760d28adb9d82b22067360',1,'SVF::BranchVFGNode::getSuccessors()'],['../classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd',1,'SVF::BranchStmt::getSuccessors()'],['../classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae',1,'SVF::SVFBasicBlock::getSuccessors()']]],
|
|
883
|
+
['getsuccinstructions_2928',['getSuccInstructions',['../classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f',1,'SVF::SVFInstruction::getSuccInstructions()'],['../classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b',1,'SVF::SVFInstruction::getSuccInstructions() const']]],
|
|
884
|
+
['getsuccmap_2929',['getSuccMap',['../classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652',1,'SVF::POCRSolver::getSuccMap()'],['../classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a',1,'SVF::POCRSolver::getSuccMap(const NodeID key)']]],
|
|
885
|
+
['getsuccnodes_2930',['getSuccNodes',['../classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0',1,'SVF::MTASVFGBuilder::getSuccNodes(const StmtSVFGNode *n)'],['../classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53',1,'SVF::MTASVFGBuilder::getSuccNodes(const StmtSVFGNode *n, NodeID o)']]],
|
|
886
|
+
['getsuccs_2931',['getSuccs',['../classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9',1,'SVF::POCRSolver']]],
|
|
887
|
+
['getsvfargument_2932',['getSVFArgument',['../classSVF_1_1LLVMModuleSet.html#ad3f66b40ad360003845253f452d6a711',1,'SVF::LLVMModuleSet']]],
|
|
888
|
+
['getsvfbasicblock_2933',['getSVFBasicBlock',['../classSVF_1_1LLVMModuleSet.html#ab0c0f321b6bfbfab2e4ff06d81920ab9',1,'SVF::LLVMModuleSet']]],
|
|
889
|
+
['getsvfcallsite_2934',['getSVFCallSite',['../classSVF_1_1ThreadAPI.html#a9c1e40279cc3b13a3b449b31131d88bc',1,'SVF::ThreadAPI::getSVFCallSite()'],['../namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106',1,'SVF::SVFUtil::getSVFCallSite(const SVFInstruction *inst)'],['../namespaceSVF_1_1SVFUtil.html#af985ceea64e3e61cf1b5c78467248c2d',1,'SVF::SVFUtil::getSVFCallSite(const SVFValue *value)']]],
|
|
890
|
+
['getsvfconstantdata_2935',['getSVFConstantData',['../classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727',1,'SVF::LLVMModuleSet']]],
|
|
891
|
+
['getsvffunction_2936',['getSVFFunction',['../classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33',1,'SVF::LLVMModuleSet::getSVFFunction(const Function *fun) const'],['../classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22',1,'SVF::LLVMModuleSet::getSVFFunction(const std::string &name)'],['../classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850',1,'SVF::SVFModule::getSVFFunction()']]],
|
|
892
|
+
['getsvfg_2937',['getSVFG',['../classSVF_1_1DDAStat.html#a519cde27934fec9bbe28b4110948a418',1,'SVF::DDAStat::getSVFG()'],['../classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9',1,'SVF::DDAVFSolver::getSVFG()'],['../classSVF_1_1SVFGBuilder.html#ad70dc4134a6290223b4168bde146b6d5',1,'SVF::SVFGBuilder::getSVFG()'],['../classSVF_1_1ProgSlice.html#a32ffd130984483b201c485da91ec467f',1,'SVF::ProgSlice::getSVFG()'],['../classSVF_1_1SrcSnkDDA.html#a529b40c870c74309440f025e490bb161',1,'SVF::SrcSnkDDA::getSVFG()'],['../classSVF_1_1FlowSensitive.html#a74f35ec76e2c7cf39355e0c148d973be',1,'SVF::FlowSensitive::getSVFG()']]],
|
|
893
|
+
['getsvfglobalvalue_2938',['getSVFGlobalValue',['../classSVF_1_1LLVMModuleSet.html#a3cbba2eb702a3481478b2590dfffa352',1,'SVF::LLVMModuleSet']]],
|
|
894
|
+
['getsvfgnode_2939',['getSVFGNode',['../classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11',1,'SVF::SVFG::getSVFGNode()'],['../classSVF_1_1SVFGNodeLockSpan.html#ac6b8a2fd39afa60cdb8379c0377eb50f',1,'SVF::SVFGNodeLockSpan::getSVFGNode()']]],
|
|
895
|
+
['getsvfgnodebb_2940',['getSVFGNodeBB',['../classSVF_1_1ProgSlice.html#abca08cad9cadc72caf6743df3ff934e7',1,'SVF::ProgSlice']]],
|
|
896
|
+
['getsvfgnodenum_2941',['getSVFGNodeNum',['../classSVF_1_1SVFG.html#ac965abfbe9bdc872f98b36a171a7b5aa',1,'SVF::SVFG']]],
|
|
897
|
+
['getsvfgscc_2942',['getSVFGSCC',['../classSVF_1_1DDAVFSolver.html#a1fdd7c0efa8f0506edfba2da8f2b3cc0',1,'SVF::DDAVFSolver']]],
|
|
898
|
+
['getsvfgsccrepnode_2943',['getSVFGSCCRepNode',['../classSVF_1_1DDAVFSolver.html#a1583ed2eb1d4b88dc2a5b4c0b6842496',1,'SVF::DDAVFSolver']]],
|
|
899
|
+
['getsvfinstruction_2944',['getSVFInstruction',['../classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3',1,'SVF::LLVMModuleSet']]],
|
|
900
|
+
['getsvfloopid_2945',['getSvfLoopID',['../classSVF_1_1ICFGWriter.html#a7c041629b3863525ded06ffe7d971940',1,'SVF::ICFGWriter']]],
|
|
901
|
+
['getsvfloopptr_2946',['getSVFLoopPtr',['../classSVF_1_1ICFGReader.html#a59f46288e7dad3ba31d106faeca277ef',1,'SVF::ICFGReader']]],
|
|
902
|
+
['getsvfloops_2947',['getSVFLoops',['../classSVF_1_1ICFG.html#a490e7f2a5a0452d513895d5f24c72d8e',1,'SVF::ICFG']]],
|
|
903
|
+
['getsvfmodule_2948',['getSVFModule',['../classSVF_1_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e',1,'SVF::LLVMModuleSet::getSVFModule()'],['../classSVF_1_1TCT.html#aabc2c84e951ed9ae64207e379acb3074',1,'SVF::TCT::getSVFModule()'],['../classSVF_1_1SVFModule.html#ab930bb5449538c4d0da1297a103788a1',1,'SVF::SVFModule::getSVFModule()']]],
|
|
904
|
+
['getsvfothervalue_2949',['getSVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#a0ef17c1d5e6a95c597d2334ea577a965',1,'SVF::LLVMModuleSet']]],
|
|
905
|
+
['getsvfstmtlist_2950',['getSVFStmtList',['../classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b',1,'SVF::SVFIR']]],
|
|
906
|
+
['getsvfstmts_2951',['getSVFStmts',['../classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661',1,'SVF::ICFGNode']]],
|
|
907
|
+
['getsvfstmtset_2952',['getSVFStmtSet',['../classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744',1,'SVF::SVFIR']]],
|
|
908
|
+
['getsvftype_2953',['getSVFType',['../classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99',1,'SVF::LLVMModuleSet']]],
|
|
909
|
+
['getsvftypeid_2954',['getSVFTypeID',['../classSVF_1_1SVFModuleWriter.html#ab03e007e2417f90f8030d1f5923087d8',1,'SVF::SVFModuleWriter']]],
|
|
910
|
+
['getsvftypeptr_2955',['getSVFTypePtr',['../classSVF_1_1SVFModuleReader.html#af5d3ac82ce9e4dbd72b5ed07e18c790f',1,'SVF::SVFModuleReader']]],
|
|
911
|
+
['getsvftypes_2956',['getSVFTypes',['../classSVF_1_1SymbolTableInfo.html#ae89711eedd0011cf9219604dab4f71d8',1,'SVF::SymbolTableInfo']]],
|
|
912
|
+
['getsvfvalue_2957',['getSVFValue',['../classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392',1,'SVF::LLVMModuleSet']]],
|
|
913
|
+
['getsvfvalueid_2958',['getSVFValueID',['../classSVF_1_1SVFModuleWriter.html#a0598a4c2af139b600a44360849933c38',1,'SVF::SVFModuleWriter']]],
|
|
914
|
+
['getsvfvalueptr_2959',['getSVFValuePtr',['../classSVF_1_1SVFModuleWriter.html#a285cf97ecb4fd1cdbc19e67779ef84ee',1,'SVF::SVFModuleWriter::getSVFValuePtr()'],['../classSVF_1_1SVFModuleReader.html#ab24ead498f61498c68a726f1b192936d',1,'SVF::SVFModuleReader::getSVFValuePtr()']]],
|
|
915
|
+
['getsymbol_2960',['getSymbol',['../classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06',1,'SVF::GrammarBase']]],
|
|
916
|
+
['getsymbolinfo_2961',['getSymbolInfo',['../classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e',1,'SVF::IRGraph']]],
|
|
917
|
+
['gettails_2962',['getTails',['../classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71',1,'SVF::CFBasicBlockGWTO']]],
|
|
918
|
+
['gettaskdataathareparforsite_2963',['getTaskDataAtHareParForSite',['../classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#a2f74db48793a0db76c000ffecf9e1bd2',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a4ace2d63934e97fd8b8dbbdf378c534c',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const SVFInstruction *inst)']]],
|
|
919
|
+
['gettaskfuncathareparforsite_2964',['getTaskFuncAtHareParForSite',['../classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#a5cee46f58bdab3f9b1c698e97290152f',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#aa45cda6380bdd53ba88268aa8cf336e5',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const SVFInstruction *inst)']]],
|
|
920
|
+
['gettcg_2965',['getTCG',['../classSVF_1_1LockAnalysis.html#a96a6cfddc8f7115294e8ad49a097b938',1,'SVF::LockAnalysis::getTCG()'],['../classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6',1,'SVF::ForkJoinAnalysis::getTCG()']]],
|
|
921
|
+
['gettct_2966',['getTCT',['../classSVF_1_1LockAnalysis.html#a3e0bdc0a404d0b77ae0a1dde49c6b43d',1,'SVF::LockAnalysis::getTCT()'],['../classSVF_1_1MHP.html#a033936547612c54326a604f0ff1e39a6',1,'SVF::MHP::getTCT()']]],
|
|
922
|
+
['gettctedgenum_2967',['getTCTEdgeNum',['../classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e',1,'SVF::TCT']]],
|
|
923
|
+
['gettctnode_2968',['getTCTNode',['../classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d',1,'SVF::TCT::getTCTNode(NodeID id) const'],['../classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6',1,'SVF::TCT::getTCTNode(const CxtThread &ct) const']]],
|
|
924
|
+
['gettctnodenum_2969',['getTCTNodeNum',['../classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f',1,'SVF::TCT']]],
|
|
925
|
+
['getterminals_2970',['getTerminals',['../classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37',1,'SVF::GrammarBase']]],
|
|
926
|
+
['getterminator_2971',['getTerminator',['../classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38',1,'SVF::SVFBasicBlock']]],
|
|
927
|
+
['gettext_2972',['gettext',['../extapi_8c.html#a1d8bce957bf9aadbd0eb67f5c8fc77d3',1,'extapi.c']]],
|
|
928
|
+
['getthread_2973',['getThread',['../classSVF_1_1CxtThread.html#addee4e560a470eec9fbbf17efee906a9',1,'SVF::CxtThread']]],
|
|
929
|
+
['getthreadapi_2974',['getThreadAPI',['../classSVF_1_1ThreadCallGraph.html#adcad8524a53baf256cd45503ec568c10',1,'SVF::ThreadCallGraph::getThreadAPI()'],['../classSVF_1_1ThreadAPI.html#a6852ff1eedc1117e95e45e4a90c80d53',1,'SVF::ThreadAPI::getThreadAPI()']]],
|
|
930
|
+
['getthreadcallgraph_2975',['getThreadCallGraph',['../classSVF_1_1MHP.html#a20e740d4b96ef086b6b5778acd38ca88',1,'SVF::MHP::getThreadCallGraph()'],['../classSVF_1_1TCT.html#a1602d02773578bca73dcbd29b95c67d0',1,'SVF::TCT::getThreadCallGraph()']]],
|
|
931
|
+
['getthreadstmtset_2976',['getThreadStmtSet',['../classSVF_1_1MHP.html#a4ce3b9ad740aa7b74a1ae2192aeeb9d8',1,'SVF::MHP']]],
|
|
932
|
+
['getthunktarget_2977',['getThunkTarget',['../namespaceSVF_1_1LLVMUtil.html#aab1cb59036d181e20a477bf1eebd81ff',1,'SVF::LLVMUtil']]],
|
|
933
|
+
['gettid_2978',['getTid',['../classSVF_1_1CxtThreadStmt.html#a3b8f641f2fb7ade7052cae1ee6463884',1,'SVF::CxtThreadStmt::getTid()'],['../classSVF_1_1CxtThreadProc.html#a61d950c7469f4bb9d2152b0e7d892ebf',1,'SVF::CxtThreadProc::getTid()']]],
|
|
934
|
+
['gettopstackver_2979',['getTopStackVer',['../classSVF_1_1MemSSA.html#ad550a453d5b2daa6c72e7752f6b5ea79',1,'SVF::MemSSA']]],
|
|
935
|
+
['gettotalcallsitenumber_2980',['getTotalCallSiteNumber',['../classSVF_1_1PTACallGraph.html#aab4214b734d00f5db59385535419ca58',1,'SVF::PTACallGraph']]],
|
|
936
|
+
['gettotaledgenum_2981',['getTotalEdgeNum',['../classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0',1,'SVF::GenericGraph']]],
|
|
937
|
+
['gettotalkind_2982',['getTotalKind',['../classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19',1,'SVF::GrammarBase']]],
|
|
938
|
+
['gettotalnodenum_2983',['getTotalNodeNum',['../classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858',1,'SVF::GenericGraph']]],
|
|
939
|
+
['gettotalsymnum_2984',['getTotalSymNum',['../classSVF_1_1SymbolTableInfo.html#a26eb45eab3da4695a6e5bad51b01ddc5',1,'SVF::SymbolTableInfo']]],
|
|
940
|
+
['gettruecond_2985',['getTrueCond',['../classSVF_1_1ProgSlice.html#a59cbb196069a863830b05904f16a190e',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1SaberCondAllocator.html#ab9d7f1f5c5f22b190ec34255dead41b3',1,'SVF::SaberCondAllocator::getTrueCond()'],['../classSVF_1_1Z3Expr.html#aaa0c9122f34208235a2d830432665752',1,'SVF::Z3Expr::getTrueCond()']]],
|
|
941
|
+
['gettruevalue_2986',['getTrueValue',['../classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568',1,'SVF::SelectStmt']]],
|
|
942
|
+
['gettruez3expr_2987',['getTrueZ3Expr',['../classSVF_1_1ConsExeState.html#a823502a869baf70a07294e265601cf2f',1,'SVF::ConsExeState']]],
|
|
943
|
+
['gettype_2988',['getType',['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821',1,'SVF::SVFValue::getType()'],['../classSVF_1_1CallSite.html#a93e70225ce9c55ca65ea9d5cf737206f',1,'SVF::CallSite::getType()'],['../classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047',1,'SVF::SVFVar::getType()'],['../classSVF_1_1ObjVar.html#a211bd0b8520af2ceb769aba1d7631ff8',1,'SVF::ObjVar::getType()'],['../classSVF_1_1GepValVar.html#a1e2309d2f36422a15216f9916325e554',1,'SVF::GepValVar::getType()'],['../classSVF_1_1GepObjVar.html#a1134621fcfa81732f882784aa4197e11',1,'SVF::GepObjVar::getType()'],['../classSVF_1_1MemObj.html#a16dbca26cbb5af9be4a0b0aa04325810',1,'SVF::MemObj::getType()'],['../classSVF_1_1ObjTypeInfo.html#aaffd94b311238f183031a525376c55a2',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()']]],
|
|
944
|
+
['gettypedefs_2989',['getTypedefs',['../classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066',1,'SVF::DCHNode']]],
|
|
945
|
+
['gettypeinfo_2990',['getTypeInfo',['../classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd',1,'SVF::SVFType::getTypeInfo()'],['../classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1',1,'SVF::SVFType::getTypeInfo() const'],['../classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d',1,'SVF::SymbolTableInfo::getTypeInfo()']]],
|
|
946
|
+
['gettypelocsetsmap_2991',['getTypeLocSetsMap',['../classSVF_1_1SVFIR.html#adb6db6407bdc9a39e5bf8cd941f0ad15',1,'SVF::SVFIR']]],
|
|
947
|
+
['gettypeofelement_2992',['getTypeOfElement',['../classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759',1,'SVF::SVFArrayType']]],
|
|
948
|
+
['gettypesizeinbytes_2993',['getTypeSizeInBytes',['../namespaceSVF_1_1LLVMUtil.html#a09683d4d88a50fa621809c734465f94d',1,'SVF::LLVMUtil::getTypeSizeInBytes(const Type *type)'],['../namespaceSVF_1_1LLVMUtil.html#a2b5fdf455c5dd40c0baa60185e5e41c6',1,'SVF::LLVMUtil::getTypeSizeInBytes(const StructType *sty, u32_t field_index)']]],
|
|
949
|
+
['gettypesystem_2994',['getTypeSystem',['../classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe',1,'SVF::PointerAnalysis']]],
|
|
950
|
+
['getunaryopvfgnode_2995',['getUnaryOPVFGNode',['../classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd',1,'SVF::VFG']]],
|
|
951
|
+
['getunifyexit_2996',['getUnifyExit',['../classSVF_1_1MergeFunctionRets.html#a0644ac0f560911632855d9129f3d71ca',1,'SVF::MergeFunctionRets']]],
|
|
952
|
+
['getvals_2997',['getVals',['../classSVF_1_1AddressValue.html#a3115c89c7f98cc2e737ce87fd7420ca3',1,'SVF::AddressValue']]],
|
|
953
|
+
['getvalsym_2998',['getValSym',['../classSVF_1_1SymbolTableInfo.html#a72be51342f633844f59c5a46b7e01583',1,'SVF::SymbolTableInfo']]],
|
|
954
|
+
['getvalue_2999',['getValue',['../classSVF_1_1VFGNode.html#aec9bb5040f30ab722ce917af41b006f0',1,'SVF::VFGNode::getValue()'],['../classSVF_1_1StmtVFGNode.html#a8c9af51d2f3425f6b8de70ffe1795292',1,'SVF::StmtVFGNode::getValue()'],['../classSVF_1_1CmpVFGNode.html#a644e48dbbd5a97f54f6d586e7d168297',1,'SVF::CmpVFGNode::getValue()'],['../classSVF_1_1BinaryOPVFGNode.html#a1e0dba35433edfc8f1e57a02209734cc',1,'SVF::BinaryOPVFGNode::getValue()'],['../classSVF_1_1PHIVFGNode.html#aef22470b2a3c18ac99fd912fc906fd00',1,'SVF::PHIVFGNode::getValue()'],['../classSVF_1_1ArgumentVFGNode.html#ac142fd44a7a344e24cad0de7a217f93e',1,'SVF::ArgumentVFGNode::getValue()'],['../classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2',1,'SVF::SVFStmt::getValue()'],['../classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0',1,'SVF::SVFVar::getValue()'],['../classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4',1,'SVF::MemObj::getValue()']]],
|
|
955
|
+
['getvalueedges_3000',['getValueEdges',['../classSVF_1_1IRGraph.html#a617f328b84d09974c81563cca3938b84',1,'SVF::IRGraph']]],
|
|
956
|
+
['getvaluename_3001',['getValueName',['../classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333',1,'SVF::SVFVar::getValueName()'],['../classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa',1,'SVF::ValVar::getValueName()'],['../classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3',1,'SVF::ObjVar::getValueName()'],['../classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3',1,'SVF::GepValVar::getValueName()'],['../classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7',1,'SVF::GepObjVar::getValueName()'],['../classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08',1,'SVF::FIObjVar::getValueName()'],['../classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f',1,'SVF::RetPN::getValueName()'],['../classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a',1,'SVF::VarArgPN::getValueName()'],['../classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd',1,'SVF::DummyValVar::getValueName()'],['../classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd',1,'SVF::DummyObjVar::getValueName()']]],
|
|
957
|
+
['getvaluenode_3002',['getValueNode',['../classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6',1,'SVF::SVFIRBuilder::getValueNode()'],['../classSVF_1_1ConstraintGraph.html#a095fc7d429d792a5c4c3c67dc40240d5',1,'SVF::ConstraintGraph::getValueNode()'],['../classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc',1,'SVF::IRGraph::getValueNode()']]],
|
|
958
|
+
['getvaluenodenum_3003',['getValueNodeNum',['../classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668',1,'SVF::IRGraph']]],
|
|
959
|
+
['getvarargnode_3004',['getVarargNode',['../classSVF_1_1SVFIRBuilder.html#a3fe99644b2bf5f0f9b2b21a56a400ad4',1,'SVF::SVFIRBuilder::getVarargNode()'],['../classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5',1,'SVF::ConstraintGraph::getVarargNode()'],['../classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b',1,'SVF::IRGraph::getVarargNode()']]],
|
|
960
|
+
['getvarargsym_3005',['getVarargSym',['../classSVF_1_1SymbolTableInfo.html#a6b0e0b41f3dbc095e8dd8472bbbb5baf',1,'SVF::SymbolTableInfo']]],
|
|
961
|
+
['getvariabledkind_3006',['getVariabledKind',['../classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e',1,'SVF::GrammarBase']]],
|
|
962
|
+
['getvartoaddrs_3007',['getVarToAddrs',['../classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b',1,'SVF::ExeState']]],
|
|
963
|
+
['getvartoval_3008',['getVarToVal',['../classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520',1,'SVF::ConsExeState::getVarToVal()'],['../classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3',1,'SVF::IntervalExeState::getVarToVal()'],['../classSVF_1_1RelExeState.html#a9c64d2699cb67cdf8d1c3c23aebf2c4a',1,'SVF::RelExeState::getVarToVal()']]],
|
|
964
|
+
['getvcallidx_3009',['getVCallIdx',['../namespaceSVF_1_1LLVMUtil.html#a718c8ec79f36cef5df2f4530541f2770',1,'SVF::LLVMUtil']]],
|
|
965
|
+
['getvcallthisptr_3010',['getVCallThisPtr',['../namespaceSVF_1_1LLVMUtil.html#a68e7bad8eb537039559d8ddc851032e0',1,'SVF::LLVMUtil']]],
|
|
966
|
+
['getvcallvtblptr_3011',['getVCallVtblPtr',['../namespaceSVF_1_1LLVMUtil.html#a3a23aa54459a068e16c96e5b5eb72f77',1,'SVF::LLVMUtil']]],
|
|
967
|
+
['getversion_3012',['getVersion',['../classSVF_1_1DummyVersionPropSVFGNode.html#af9f0eaf33502af1533dd1244a383d561',1,'SVF::DummyVersionPropSVFGNode::getVersion()'],['../classSVF_1_1VersionedFlowSensitive.html#a6b398d59fc276980dd2d6d48a8675068',1,'SVF::VersionedFlowSensitive::getVersion()']]],
|
|
968
|
+
['getversionedkeyrevpts_3013',['getVersionedKeyRevPts',['../classSVF_1_1VersionedPTData.html#a69ebef10b60b15f813b498607b6059d6',1,'SVF::VersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#afaef5c61bee74cbd649c787cfdef2a03',1,'SVF::MutableVersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#acabb81409a3767f31227f46e106cb2d0',1,'SVF::PersistentVersionedPTData::getVersionedKeyRevPts()']]],
|
|
969
|
+
['getversionedptdataty_3014',['getVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a4859864a4c72d5e04c10305e4579e8ee',1,'SVF::BVDataPTAImpl']]],
|
|
970
|
+
['getvfcond_3015',['getVFCond',['../classSVF_1_1ProgSlice.html#aeb1924daad67a0b7ed9e5b4974755261',1,'SVF::ProgSlice']]],
|
|
971
|
+
['getvfgnode_3016',['getVFGNode',['../classSVF_1_1VFG.html#a915fa50effaeea10716b86528b15c6dc',1,'SVF::VFG']]],
|
|
972
|
+
['getvfgnodebegin_3017',['getVFGNodeBegin',['../classSVF_1_1VFG.html#a5166be2c1231a93c9b9ce5f272797b94',1,'SVF::VFG']]],
|
|
973
|
+
['getvfgnodeend_3018',['getVFGNodeEnd',['../classSVF_1_1VFG.html#a28f2bdcbbc0bab00e93df62ea11647a2',1,'SVF::VFG']]],
|
|
974
|
+
['getvfgnodes_3019',['getVFGNodes',['../classSVF_1_1ICFGNode.html#abcc53637a634f7ec92b9c7861b941601',1,'SVF::ICFGNode::getVFGNodes()'],['../classSVF_1_1VFG.html#a18ec674e8ab0285ec086df87e5c591c9',1,'SVF::VFG::getVFGNodes()']]],
|
|
975
|
+
['getvfnsfromcha_3020',['getVFnsFromCHA',['../classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437',1,'SVF::PointerAnalysis']]],
|
|
976
|
+
['getvfnsfrompts_3021',['getVFnsFromPts',['../classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2',1,'SVF::PointerAnalysis']]],
|
|
977
|
+
['getvfnsfromvtbls_3022',['getVFnsFromVtbls',['../classSVF_1_1DCHGraph.html#a6a5d012fda005d45bf3196d1a7d2c6fa',1,'SVF::DCHGraph::getVFnsFromVtbls()'],['../classSVF_1_1CommonCHGraph.html#aae511b2ee7c2c7ea7be70c7884e92021',1,'SVF::CommonCHGraph::getVFnsFromVtbls()'],['../classSVF_1_1CHGraph.html#ac5f5646db24455609cd86c421774dd3e',1,'SVF::CHGraph::getVFnsFromVtbls()']]],
|
|
978
|
+
['getvfnvector_3023',['getVfnVector',['../classSVF_1_1DCHNode.html#a41ba902b643e2aec828be1a89f4536af',1,'SVF::DCHNode']]],
|
|
979
|
+
['getvfnvectors_3024',['getVfnVectors',['../classSVF_1_1DCHNode.html#a806a65f35c9f4ea118c1ef44ddb46079',1,'SVF::DCHNode']]],
|
|
980
|
+
['getvirtualfunctionbasedonid_3025',['getVirtualFunctionBasedonID',['../classSVF_1_1CHGraph.html#a7b678b4362a93e969f11b110b85d35ca',1,'SVF::CHGraph']]],
|
|
981
|
+
['getvirtualfunctionid_3026',['getVirtualFunctionID',['../classSVF_1_1CHGraph.html#a7151563857b7b6bdf8195aa571df7516',1,'SVF::CHGraph']]],
|
|
982
|
+
['getvirtualfunctions_3027',['getVirtualFunctions',['../classSVF_1_1CHNode.html#a1abfdc91ec77cab40d6894f471f0733d',1,'SVF::CHNode']]],
|
|
983
|
+
['getvirtualfunctionvectors_3028',['getVirtualFunctionVectors',['../classSVF_1_1CHNode.html#a5df1cf4d51bf3406d188c96bc9aae0af',1,'SVF::CHNode']]],
|
|
984
|
+
['getvirtualmemaddress_3029',['getVirtualMemAddress',['../classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8',1,'SVF::AddressValue::getVirtualMemAddress()'],['../classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc',1,'SVF::ExeState::getVirtualMemAddress()'],['../classSVF_1_1RelExeState.html#a24408ea140a8d0b5a9fdd1d9d2fbd296',1,'SVF::RelExeState::getVirtualMemAddress()'],['../classSVF_1_1SVFIR2ConsExeState.html#a83b1f0b78e6cd7e45721d32a0998c3a7',1,'SVF::SVFIR2ConsExeState::getVirtualMemAddress()'],['../classSVF_1_1SVFIR2ItvExeState.html#a0c4be1dd8e7a2877c0cc76c404f6945a',1,'SVF::SVFIR2ItvExeState::getVirtualMemAddress()']]],
|
|
985
|
+
['getvtable_3030',['getVTable',['../classSVF_1_1DCHNode.html#a9184a71cd5dae94843ac89f4235d4fa2',1,'SVF::DCHNode::getVTable()'],['../classSVF_1_1CHNode.html#aa49ae91e2dd45c94f3d7694eb7e6737b',1,'SVF::CHNode::getVTable()']]],
|
|
986
|
+
['getvtableptr_3031',['getVtablePtr',['../classSVF_1_1SVFVirtualCallInst.html#a0a012c8124abb103852e081fd5dead7a',1,'SVF::SVFVirtualCallInst::getVtablePtr()'],['../classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d',1,'SVF::CallSite::getVtablePtr()']]],
|
|
987
|
+
['getvtblstruct_3032',['getVtblStruct',['../namespaceSVF_1_1LLVMUtil.html#a4f803756f0a73e8564d9544ce27be1c9',1,'SVF::LLVMUtil']]],
|
|
988
|
+
['getwtocycledepth_3033',['getWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f',1,'SVF::CFBasicBlockGWTO::getWTOCycleDepth()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0efb4902bc6933e28b042edf6fc3f94c',1,'SVF::CFBasicBlockGWTO::TailBuilder::getWTOCycleDepth()']]],
|
|
989
|
+
['getyield_3034',['getYield',['../classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c',1,'SVF::VersionedFlowSensitive']]],
|
|
990
|
+
['getz3expr_3035',['getZ3Expr',['../classSVF_1_1RelExeState.html#ace3b86d12ed10af211d5902ec3fa2e5a',1,'SVF::RelExeState']]],
|
|
991
|
+
['getzextvalue_3036',['getZExtValue',['../classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e',1,'SVF::SVFConstantInt']]],
|
|
992
|
+
['global_5fbegin_3037',['global_begin',['../classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e',1,'SVF::SVFModule::global_begin()'],['../classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2',1,'SVF::SVFModule::global_begin() const']]],
|
|
993
|
+
['global_5fend_3038',['global_end',['../classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b',1,'SVF::SVFModule::global_end()'],['../classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2',1,'SVF::SVFModule::global_end() const']]],
|
|
994
|
+
['global_5ferror_3039',['global_error',['../cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846',1,'cJSON.cpp']]],
|
|
995
|
+
['global_5fhooks_3040',['global_hooks',['../cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf',1,'cJSON.cpp']]],
|
|
996
|
+
['global_5fiterator_3041',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
|
|
997
|
+
['global_5fleak_3042',['GLOBAL_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1',1,'SVF::LeakChecker']]],
|
|
998
|
+
['globalalias_3043',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
|
|
999
|
+
['globalblock_3044',['GlobalBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648',1,'SVF::ICFGNode']]],
|
|
1000
|
+
['globalblocknode_3045',['globalBlockNode',['../classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02',1,'SVF::ICFG']]],
|
|
1001
|
+
['globalconses_3046',['globalConsES',['../classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06',1,'SVF::ConsExeState']]],
|
|
1002
|
+
['globaldeftorepmap_3047',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
|
|
1003
|
+
['globaldeftorepmapty_3048',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
|
|
1004
|
+
['globales_3049',['globalES',['../classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05',1,'SVF::IntervalExeState']]],
|
|
1005
|
+
['globalicfgnode_3050',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html',1,'SVF::GlobalICFGNode'],['../classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7',1,'SVF::GlobalICFGNode::GlobalICFGNode()']]],
|
|
1006
|
+
['globalifunc_3051',['GlobalIFunc',['../namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa',1,'SVF']]],
|
|
1007
|
+
['globalnulladdrs_3052',['globalNulladdrs',['../classSVF_1_1SVFIR2ItvExeState.html#a1579525f7cf7779aba58c4bdde2be4b0',1,'SVF::SVFIR2ItvExeState']]],
|
|
1008
|
+
['globalobject_3053',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
|
|
1009
|
+
['globalset_3054',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
|
|
1010
|
+
['globalsettype_3055',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
|
|
1011
|
+
['globalvalue_3056',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
|
|
1012
|
+
['globalvariable_3057',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
|
|
1013
|
+
['globalvfgnodes_3058',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],
|
|
1014
|
+
['globalvfgnodeset_3059',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
|
|
1015
|
+
['globs_3060',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
|
|
1016
|
+
['globsvfgnodes_3061',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
|
|
1017
|
+
['globsvfstmtset_3062',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
|
|
1018
|
+
['globvar_5fobj_3063',['GLOBVAR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b',1,'SVF::ObjTypeInfo']]],
|
|
1019
|
+
['gmtime_3064',['gmtime',['../extapi_8c.html#a4c538a7b2efe7d8dfb7bf5956e91a0ad',1,'extapi.c']]],
|
|
1020
|
+
['gmtime_5fr_3065',['gmtime_r',['../extapi_8c.html#a78301bb1e43ee4dda8a7cfd04d99f9e5',1,'extapi.c']]],
|
|
1021
|
+
['gnode_3066',['GNODE',['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de',1,'SVF::GraphReachSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
|
|
1022
|
+
['gnodek_3067',['GNodeK',['../classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b',1,'SVF::GenericNode::GNodeK()'],['../classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe',1,'SVF::SVFIRReader::GNodeK()'],['../classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0',1,'SVF::SVFType::GNodeK()'],['../classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4',1,'SVF::SVFValue::GNodeK()']]],
|
|
1023
|
+
['gnodesccinfo_3068',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html',1,'SVF::SCCDetection< GraphType >::GNodeSCCInfo'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a4b8c555a11e9eae2065ec1549ce537de',1,'SVF::SCCDetection::GNodeSCCInfo::GNodeSCCInfo()'],['../classSVF_1_1SCCDetection.html#ab3bdd1e73f95735a8f37566c3793bb36',1,'SVF::SCCDetection::GNodeSCCInfo()']]],
|
|
1024
|
+
['gnodesccinfomap_3069',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
|
|
1025
|
+
['gnodestack_3070',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
|
|
1026
|
+
['gnu_5fget_5flibc_5fversion_3071',['gnu_get_libc_version',['../extapi_8c.html#abccccf00b2d20e810f04ae4133abaded',1,'extapi.c']]],
|
|
1027
|
+
['gnutls_5fcheck_5fversion_3072',['gnutls_check_version',['../extapi_8c.html#a81b6ce96363d37bbf41acb26ae8b25eb',1,'extapi.c']]],
|
|
1028
|
+
['grammar_3073',['grammar',['../classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640',1,'SVF::CFLBase::grammar()'],['../classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d',1,'SVF::CFLSolver::grammar()'],['../classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa',1,'SVF::GrammarBuilder::grammar()']]],
|
|
1029
|
+
['grammarbase_3074',['GrammarBase',['../classSVF_1_1GrammarBase.html',1,'SVF::GrammarBase'],['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase::grammarBase()']]],
|
|
1030
|
+
['grammarbuilder_3075',['GrammarBuilder',['../classSVF_1_1GrammarBuilder.html',1,'SVF::GrammarBuilder'],['../classSVF_1_1GrammarBuilder.html#a423310118382fa2d5afe169a290a355b',1,'SVF::GrammarBuilder::GrammarBuilder()']]],
|
|
1031
|
+
['grammarbuilder_2ecpp_3076',['GrammarBuilder.cpp',['../GrammarBuilder_8cpp.html',1,'']]],
|
|
1032
|
+
['grammarbuilder_2eh_3077',['GrammarBuilder.h',['../GrammarBuilder_8h.html',1,'']]],
|
|
1033
|
+
['grammarfilename_3078',['GrammarFilename',['../classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f',1,'SVF::Options']]],
|
|
1034
|
+
['graph_3079',['graph',['../classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f',1,'SVF::CFLBase::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()'],['../classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c',1,'SVF::SrcSnkSolver::graph()'],['../classSVF_1_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838',1,'SVF::GraphReachSolver::graph()'],['../classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d',1,'SVF::SCCDetection::graph()'],['../classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b',1,'SVF::WPASolver::graph()'],['../structSVF_1_1Inverse.html#a2037408b7047e9265b4b14e54bb584a2',1,'SVF::Inverse::Graph()']]],
|
|
1035
|
+
['graphfieldjson_3080',['graphFieldJson',['../classSVF_1_1GenericGraphReader.html#a2438233e46ad0a052ec1352de977df88',1,'SVF::GenericGraphReader']]],
|
|
1036
|
+
['graphprinter_3081',['GraphPrinter',['../classSVF_1_1GraphPrinter.html',1,'SVF::GraphPrinter'],['../classSVF_1_1GraphPrinter.html#a5adb844506085e9ba66c1688f9548a25',1,'SVF::GraphPrinter::GraphPrinter()'],['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF::GraphPrinter()']]],
|
|
1037
|
+
['graphprinter_2eh_3082',['GraphPrinter.h',['../GraphPrinter_8h.html',1,'']]],
|
|
1038
|
+
['graphreachsolver_3083',['GraphReachSolver',['../classSVF_1_1GraphReachSolver.html',1,'SVF::GraphReachSolver< GraphType, DPIm >'],['../classSVF_1_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174',1,'SVF::GraphReachSolver::GraphReachSolver()']]],
|
|
1039
|
+
['graphreachsolver_2eh_3084',['GraphReachSolver.h',['../GraphReachSolver_8h.html',1,'']]],
|
|
1040
|
+
['graphsize_3085',['graphSize',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a309cc7faf9df46d2c9bfeaa2bdcd4601',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
|
|
1041
|
+
['graphtraits_2eh_3086',['GraphTraits.h',['../GraphTraits_8h.html',1,'']]],
|
|
1042
|
+
['graphtxt_3087',['Graphtxt',['../classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e',1,'SVF::Options']]],
|
|
1043
|
+
['graphtype_3088',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
|
|
1044
|
+
['graphwriter_3089',['GraphWriter',['../classSVF_1_1GraphWriter.html',1,'SVF::GraphWriter< GraphType >'],['../classSVF_1_1GraphWriter.html#afd8fec784307b919d1cb89b49533600e',1,'SVF::GraphWriter::GraphWriter()']]],
|
|
1045
|
+
['graphwriter_2ecpp_3090',['GraphWriter.cpp',['../GraphWriter_8cpp.html',1,'']]],
|
|
1046
|
+
['graphwriter_2eh_3091',['GraphWriter.h',['../GraphWriter_8h.html',1,'']]],
|
|
1047
|
+
['gtraits_3092',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23',1,'SVF::WPASolver::GTraits()']]],
|
|
1048
|
+
['gzgets_3093',['gzgets',['../extapi_8c.html#ac84ce7ca37e7c4e94aec43868a755cac',1,'extapi.c']]]
|
|
1051
1049
|
];
|