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
|
@@ -299,355 +299,351 @@ $(function() {
|
|
|
299
299
|
<div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  }</div>
|
|
300
300
|
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a>* pt= SVFUtil::dyn_cast<SVFPointerType>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
|
|
301
301
|
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  {</div>
|
|
302
|
-
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <
|
|
303
|
-
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span> 
|
|
304
|
-
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span> 
|
|
305
|
-
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span> 
|
|
306
|
-
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span> 
|
|
307
|
-
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span> 
|
|
308
|
-
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span> 
|
|
309
|
-
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span> 
|
|
302
|
+
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << *pt << <span class="stringliteral">"\n"</span>;</div>
|
|
303
|
+
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  }</div>
|
|
304
|
+
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunctionType.html">SVFFunctionType</a>* fu =</div>
|
|
305
|
+
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  SVFUtil::dyn_cast<SVFFunctionType>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
|
|
306
|
+
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  {</div>
|
|
307
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <span class="stringliteral">" {Type: "</span> << *fu << <span class="stringliteral">"}\n\n"</span>;</div>
|
|
308
|
+
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  }</div>
|
|
309
|
+
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFOtherType.html">SVFOtherType</a>* ot = SVFUtil::dyn_cast<SVFOtherType>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
|
|
310
310
|
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  {</div>
|
|
311
|
-
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <span class="stringliteral">" {Type: "</span
|
|
311
|
+
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <span class="stringliteral">" {Type: "</span><< *ot << <span class="stringliteral">"(SVFOtherType)}\n\n"</span>;</div>
|
|
312
312
|
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  }</div>
|
|
313
|
-
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <span class="keywordflow">else</span
|
|
313
|
+
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <span class="keywordflow">else</span></div>
|
|
314
314
|
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  {</div>
|
|
315
|
-
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  <a class="code" href="
|
|
316
|
-
<div class="line"><a name="
|
|
317
|
-
<div class="line"><a name="
|
|
318
|
-
<div class="line"><a name="
|
|
319
|
-
<div class="line"><a name="
|
|
320
|
-
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span> 
|
|
321
|
-
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span> 
|
|
322
|
-
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span> 
|
|
323
|
-
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span> 
|
|
324
|
-
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span> 
|
|
325
|
-
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span> 
|
|
326
|
-
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span> 
|
|
327
|
-
<div class="line"><a name="l00287"></a><span class="lineno"
|
|
328
|
-
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span> {</div>
|
|
329
|
-
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span> 
|
|
330
|
-
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span> 
|
|
331
|
-
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="keywordflow">case</span> SYMTYPE::
|
|
315
|
+
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  assert(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->isSingleValueType() && <span class="stringliteral">"not a single value type, then what else!!"</span>);</div>
|
|
316
|
+
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> eSize = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c">getNumOfFlattenElements</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>);</div>
|
|
317
|
+
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <span class="stringliteral">" {Type: "</span> << *<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> << <span class="stringliteral">"}\n"</span></div>
|
|
318
|
+
<div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  << <span class="stringliteral">"\t [object size = "</span> << eSize << <span class="stringliteral">"]\n"</span></div>
|
|
319
|
+
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  << <span class="stringliteral">"\n"</span>;</div>
|
|
320
|
+
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  }</div>
|
|
321
|
+
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span> }</div>
|
|
322
|
+
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  </div>
|
|
323
|
+
<div class="line"><a name="l00283"></a><span class="lineno"><a class="line" href="classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e"> 283</a></span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e">SymbolTableInfo::toString</a>(<a class="code" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89b">SYMTYPE</a> symtype)</div>
|
|
324
|
+
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span> {</div>
|
|
325
|
+
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  <span class="keywordflow">switch</span> (symtype)</div>
|
|
326
|
+
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  {</div>
|
|
327
|
+
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  <span class="keywordflow">case</span> SYMTYPE::BlackHole:</div>
|
|
328
|
+
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  {</div>
|
|
329
|
+
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  <span class="keywordflow">return</span> <span class="stringliteral">"BlackHole"</span>;</div>
|
|
330
|
+
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  }</div>
|
|
331
|
+
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="keywordflow">case</span> SYMTYPE::ConstantObj:</div>
|
|
332
332
|
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  {</div>
|
|
333
|
-
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  <span class="keywordflow">return</span> <span class="stringliteral">"
|
|
333
|
+
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  <span class="keywordflow">return</span> <span class="stringliteral">"ConstantObj"</span>;</div>
|
|
334
334
|
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  }</div>
|
|
335
|
-
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <span class="keywordflow">case</span> SYMTYPE::
|
|
335
|
+
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <span class="keywordflow">case</span> SYMTYPE::BlkPtr:</div>
|
|
336
336
|
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  {</div>
|
|
337
|
-
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <span class="keywordflow">return</span> <span class="stringliteral">"
|
|
337
|
+
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <span class="keywordflow">return</span> <span class="stringliteral">"BlkPtr"</span>;</div>
|
|
338
338
|
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  }</div>
|
|
339
|
-
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">case</span> SYMTYPE::
|
|
339
|
+
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">case</span> SYMTYPE::NullPtr:</div>
|
|
340
340
|
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  {</div>
|
|
341
|
-
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  <span class="keywordflow">return</span> <span class="stringliteral">"
|
|
341
|
+
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  <span class="keywordflow">return</span> <span class="stringliteral">"NullPtr"</span>;</div>
|
|
342
342
|
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  }</div>
|
|
343
|
-
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  <span class="keywordflow">case</span> SYMTYPE::
|
|
343
|
+
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  <span class="keywordflow">case</span> SYMTYPE::ValSymbol:</div>
|
|
344
344
|
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  {</div>
|
|
345
|
-
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <span class="keywordflow">return</span> <span class="stringliteral">"
|
|
345
|
+
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <span class="keywordflow">return</span> <span class="stringliteral">"ValSym"</span>;</div>
|
|
346
346
|
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div>
|
|
347
|
-
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <span class="keywordflow">case</span> SYMTYPE::
|
|
347
|
+
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <span class="keywordflow">case</span> SYMTYPE::ObjSymbol:</div>
|
|
348
348
|
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  {</div>
|
|
349
|
-
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  <span class="keywordflow">return</span> <span class="stringliteral">"
|
|
349
|
+
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  <span class="keywordflow">return</span> <span class="stringliteral">"ObjSym"</span>;</div>
|
|
350
350
|
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  }</div>
|
|
351
|
-
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  <span class="keywordflow">case</span> SYMTYPE::
|
|
351
|
+
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  <span class="keywordflow">case</span> SYMTYPE::RetSymbol:</div>
|
|
352
352
|
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  {</div>
|
|
353
|
-
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <span class="keywordflow">return</span> <span class="stringliteral">"
|
|
353
|
+
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <span class="keywordflow">return</span> <span class="stringliteral">"RetSym"</span>;</div>
|
|
354
354
|
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  }</div>
|
|
355
|
-
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keywordflow">case</span> SYMTYPE::
|
|
355
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keywordflow">case</span> SYMTYPE::VarargSymbol:</div>
|
|
356
356
|
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  {</div>
|
|
357
|
-
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <span class="keywordflow">return</span> <span class="stringliteral">"
|
|
357
|
+
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <span class="keywordflow">return</span> <span class="stringliteral">"VarargSym"</span>;</div>
|
|
358
358
|
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  }</div>
|
|
359
|
-
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  <span class="keywordflow">
|
|
359
|
+
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  <span class="keywordflow">default</span>:</div>
|
|
360
360
|
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  {</div>
|
|
361
|
-
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <span class="keywordflow">return</span> <span class="stringliteral">"
|
|
361
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <span class="keywordflow">return</span> <span class="stringliteral">"Invalid SYMTYPE"</span>;</div>
|
|
362
362
|
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  }</div>
|
|
363
|
-
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span> 
|
|
364
|
-
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span> 
|
|
365
|
-
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span> 
|
|
366
|
-
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span> 
|
|
367
|
-
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span> 
|
|
368
|
-
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span> 
|
|
369
|
-
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  </div>
|
|
370
|
-
<div class="line"><a name="l00330"></a><span class="lineno"
|
|
371
|
-
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span> {</div>
|
|
372
|
-
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span> 
|
|
373
|
-
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span> 
|
|
374
|
-
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span> 
|
|
375
|
-
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span> 
|
|
376
|
-
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span> 
|
|
377
|
-
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span> 
|
|
378
|
-
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span> 
|
|
379
|
-
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span> 
|
|
380
|
-
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span> 
|
|
381
|
-
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span> 
|
|
382
|
-
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span> 
|
|
383
|
-
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span> 
|
|
384
|
-
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span> 
|
|
385
|
-
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span> 
|
|
386
|
-
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span> 
|
|
387
|
-
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span> 
|
|
388
|
-
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span> 
|
|
389
|
-
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span> 
|
|
390
|
-
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span> 
|
|
391
|
-
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span> 
|
|
392
|
-
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span> 
|
|
393
|
-
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span> 
|
|
394
|
-
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span> 
|
|
395
|
-
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span> 
|
|
396
|
-
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span> 
|
|
397
|
-
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span> 
|
|
398
|
-
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span> 
|
|
399
|
-
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span> 
|
|
400
|
-
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span> 
|
|
401
|
-
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span> 
|
|
402
|
-
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <
|
|
403
|
-
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span> 
|
|
404
|
-
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span> 
|
|
405
|
-
<div class="line"><a name="
|
|
406
|
-
<div class="line"><a name="
|
|
407
|
-
<div class="line"><a name="
|
|
408
|
-
<div class="line"><a name="
|
|
409
|
-
<div class="line"><a name="l00372"></a><span class="lineno"
|
|
410
|
-
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span> 
|
|
411
|
-
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span> 
|
|
412
|
-
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span> 
|
|
413
|
-
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span> 
|
|
414
|
-
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span> 
|
|
415
|
-
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  </div>
|
|
416
|
-
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span> 
|
|
417
|
-
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span> 
|
|
418
|
-
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span> 
|
|
419
|
-
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span> 
|
|
420
|
-
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span> 
|
|
421
|
-
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span> 
|
|
422
|
-
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span> 
|
|
423
|
-
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  </div>
|
|
424
|
-
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span> 
|
|
425
|
-
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span> 
|
|
426
|
-
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span> 
|
|
427
|
-
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span> 
|
|
428
|
-
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span> 
|
|
429
|
-
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  </div>
|
|
430
|
-
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span> 
|
|
431
|
-
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  <span class="keywordflow">return</span> (
|
|
363
|
+
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  }</div>
|
|
364
|
+
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span> }</div>
|
|
365
|
+
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  </div>
|
|
366
|
+
<div class="line"><a name="l00326"></a><span class="lineno"><a class="line" href="classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9"> 326</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9">SymbolTableInfo::dump</a>()</div>
|
|
367
|
+
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span> {</div>
|
|
368
|
+
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap<SymID, SVFValue*></a> idmap;</div>
|
|
369
|
+
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  <span class="keywordflow">for</span> (ValueToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end();</div>
|
|
370
|
+
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  ++iter)</div>
|
|
371
|
+
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  {</div>
|
|
372
|
+
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter->second;</div>
|
|
373
|
+
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter->first;</div>
|
|
374
|
+
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  idmap[i] = val;</div>
|
|
375
|
+
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  }</div>
|
|
376
|
+
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  <span class="keywordflow">for</span> (ValueToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec">objSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec">objSymMap</a>.end();</div>
|
|
377
|
+
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  ++iter)</div>
|
|
378
|
+
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  {</div>
|
|
379
|
+
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter->second;</div>
|
|
380
|
+
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter->first;</div>
|
|
381
|
+
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  idmap[i] = val;</div>
|
|
382
|
+
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  }</div>
|
|
383
|
+
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  <span class="keywordflow">for</span> (FunToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681">returnSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681">returnSymMap</a>.end();</div>
|
|
384
|
+
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  ++iter)</div>
|
|
385
|
+
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  {</div>
|
|
386
|
+
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter->second;</div>
|
|
387
|
+
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter->first;</div>
|
|
388
|
+
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  idmap[i] = val;</div>
|
|
389
|
+
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  }</div>
|
|
390
|
+
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  <span class="keywordflow">for</span> (FunToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9">varargSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9">varargSymMap</a>.end();</div>
|
|
391
|
+
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  ++iter)</div>
|
|
392
|
+
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  {</div>
|
|
393
|
+
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter->second;</div>
|
|
394
|
+
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter->first;</div>
|
|
395
|
+
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  idmap[i] = val;</div>
|
|
396
|
+
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  }</div>
|
|
397
|
+
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <span class="stringliteral">"{SymbolTableInfo \n"</span>;</div>
|
|
398
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> iter : idmap)</div>
|
|
399
|
+
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  {</div>
|
|
400
|
+
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << iter.first << <span class="stringliteral">" "</span> << iter.second->toString() << <span class="stringliteral">"\n"</span>;</div>
|
|
401
|
+
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  }</div>
|
|
402
|
+
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <span class="stringliteral">"}\n"</span>;</div>
|
|
403
|
+
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span> }</div>
|
|
404
|
+
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  </div>
|
|
405
|
+
<div class="line"><a name="l00368"></a><span class="lineno"><a class="line" href="classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72"> 368</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72">ObjTypeInfo::isNonPtrFieldObj</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a>& apOffset)</div>
|
|
406
|
+
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span> {</div>
|
|
407
|
+
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>() == <span class="keyword">false</span>)</div>
|
|
408
|
+
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
409
|
+
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  </div>
|
|
410
|
+
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ety = <a class="code" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">type</a>;</div>
|
|
411
|
+
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  </div>
|
|
412
|
+
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <span class="keywordflow">if</span> (SVFUtil::isa<SVFStructType, SVFArrayType>(ety))</div>
|
|
413
|
+
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  {</div>
|
|
414
|
+
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> sz = 0;</div>
|
|
415
|
+
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">Options::ModelArrays</a>())</div>
|
|
416
|
+
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  sz = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">getTypeInfo</a>(ety)-><a class="code" href="classSVF_1_1StInfo.html#a03bfeee0406c7e54557e74f3a8e848b7">getFlattenElementTypes</a>().size();</div>
|
|
417
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  <span class="keywordflow">else</span></div>
|
|
418
|
+
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  sz = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">getTypeInfo</a>(ety)-><a class="code" href="classSVF_1_1StInfo.html#ac0a9f85f90524abfd519d3cd2ac95a56">getFlattenFieldTypes</a>().size();</div>
|
|
419
|
+
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  </div>
|
|
420
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  <span class="keywordflow">if</span>(sz <= (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>) apOffset)</div>
|
|
421
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  {</div>
|
|
422
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24">writeWrnMsg</a>(<span class="stringliteral">"out of bound error when accessing the struct/array"</span>);</div>
|
|
423
|
+
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
424
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  }</div>
|
|
425
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  </div>
|
|
426
|
+
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* elemTy = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#a806ae865d29c4b05b69c499284758c6f">getFlatternedElemType</a>(ety, apOffset);</div>
|
|
427
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  <span class="keywordflow">return</span> (elemTy-><a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() == <span class="keyword">false</span>);</div>
|
|
428
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  }</div>
|
|
429
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  <span class="keywordflow">else</span></div>
|
|
430
|
+
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  {</div>
|
|
431
|
+
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>() == <span class="keyword">false</span>);</div>
|
|
432
432
|
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  }</div>
|
|
433
|
-
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span> 
|
|
434
|
-
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span> 
|
|
435
|
-
<div class="line"><a name="
|
|
436
|
-
<div class="line"><a name="
|
|
437
|
-
<div class="line"><a name="
|
|
438
|
-
<div class="line"><a name="
|
|
439
|
-
<div class="line"><a name="l00405"></a><span class="lineno"
|
|
440
|
-
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span> 
|
|
441
|
-
<div class="line"><a name="
|
|
442
|
-
<div class="line"><a name="
|
|
443
|
-
<div class="line"><a name="
|
|
444
|
-
<div class="line"><a name="
|
|
445
|
-
<div class="line"><a name="l00414"></a><span class="lineno"
|
|
446
|
-
<div class="line"><a name="
|
|
447
|
-
<div class="line"><a name="
|
|
448
|
-
<div class="line"><a name="
|
|
449
|
-
<div class="line"><a name="
|
|
450
|
-
<div class="line"><a name="l00422"></a><span class="lineno"
|
|
451
|
-
<div class="line"><a name="
|
|
452
|
-
<div class="line"><a name="
|
|
453
|
-
<div class="line"><a name="
|
|
454
|
-
<div class="line"><a name="
|
|
455
|
-
<div class="line"><a name="l00428"></a><span class="lineno"
|
|
456
|
-
<div class="line"><a name="
|
|
457
|
-
<div class="line"><a name="
|
|
458
|
-
<div class="line"><a name="
|
|
459
|
-
<div class="line"><a name="
|
|
460
|
-
<div class="line"><a name="l00434"></a><span class="lineno"
|
|
461
|
-
<div class="line"><a name="
|
|
462
|
-
<div class="line"><a name="
|
|
463
|
-
<div class="line"><a name="
|
|
464
|
-
<div class="line"><a name="
|
|
465
|
-
<div class="line"><a name="l00440"></a><span class="lineno"
|
|
466
|
-
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span> 
|
|
467
|
-
<div class="line"><a name="
|
|
468
|
-
<div class="line"><a name="
|
|
469
|
-
<div class="line"><a name="
|
|
470
|
-
<div class="line"><a name="
|
|
471
|
-
<div class="line"><a name="l00447"></a><span class="lineno"
|
|
472
|
-
<div class="line"><a name="
|
|
473
|
-
<div class="line"><a name="
|
|
474
|
-
<div class="line"><a name="
|
|
475
|
-
<div class="line"><a name="
|
|
476
|
-
<div class="line"><a name="l00453"></a><span class="lineno"
|
|
477
|
-
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span> <span class="
|
|
478
|
-
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span> 
|
|
479
|
-
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span> 
|
|
480
|
-
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span> 
|
|
481
|
-
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span> 
|
|
482
|
-
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span> 
|
|
483
|
-
<div class="line"><a name="l00460"></a><span class="lineno"
|
|
484
|
-
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span> 
|
|
485
|
-
<div class="line"><a name="
|
|
486
|
-
<div class="line"><a name="
|
|
487
|
-
<div class="line"><a name="
|
|
488
|
-
<div class="line"><a name="
|
|
489
|
-
<div class="line"><a name="l00467"></a><span class="lineno"
|
|
490
|
-
<div class="line"><a name="
|
|
491
|
-
<div class="line"><a name="
|
|
492
|
-
<div class="line"><a name="
|
|
493
|
-
<div class="line"><a name="
|
|
494
|
-
<div class="line"><a name="l00473"></a><span class="lineno"
|
|
495
|
-
<div class="line"><a name="
|
|
496
|
-
<div class="line"><a name="
|
|
497
|
-
<div class="line"><a name="
|
|
498
|
-
<div class="line"><a name="
|
|
499
|
-
<div class="line"><a name="l00479"></a><span class="lineno"
|
|
500
|
-
<div class="line"><a name="l00480"></a><span class="lineno"> 480</span> 
|
|
501
|
-
<div class="line"><a name="l00481"></a><span class="lineno"> 481</span> 
|
|
502
|
-
<div class="line"><a name="l00482"></a><span class="lineno"> 482</span> 
|
|
503
|
-
<div class="line"><a name="l00483"></a><span class="lineno"> 483</span> 
|
|
504
|
-
<div class="line"><a name="l00484"></a><span class="lineno"
|
|
505
|
-
<div class="line"><a name="l00485"></a><span class="lineno"> 485</span> <span class="
|
|
506
|
-
<div class="line"><a name="l00486"></a><span class="lineno"> 486</span> 
|
|
507
|
-
<div class="line"><a name="l00487"></a><span class="lineno"> 487</span> 
|
|
508
|
-
<div class="line"><a name="l00488"></a><span class="lineno"> 488</span> 
|
|
509
|
-
<div class="line"><a name="l00489"></a><span class="lineno"
|
|
510
|
-
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span> <span class="
|
|
511
|
-
<div class="line"><a name="l00491"></a><span class="lineno"> 491</span> 
|
|
512
|
-
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span> 
|
|
513
|
-
<div class="line"><a name="l00493"></a><span class="lineno"> 493</span> 
|
|
514
|
-
<div class="line"><a name="l00494"></a><span class="lineno"
|
|
515
|
-
<div class="line"><a name="l00495"></a><span class="lineno"> 495</span> <span class="
|
|
516
|
-
<div class="line"><a name="l00496"></a><span class="lineno"> 496</span> 
|
|
517
|
-
<div class="line"><a name="l00497"></a><span class="lineno"> 497</span> 
|
|
518
|
-
<div class="line"><a name="l00498"></a><span class="lineno"> 498</span> 
|
|
519
|
-
<div class="line"><a name="l00499"></a><span class="lineno"
|
|
520
|
-
<div class="line"><a name="l00500"></a><span class="lineno"> 500</span> <span class="
|
|
521
|
-
<div class="line"><a name="l00501"></a><span class="lineno"> 501</span> 
|
|
522
|
-
<div class="line"><a name="l00502"></a><span class="lineno"> 502</span> 
|
|
523
|
-
<div class="line"><a name="l00503"></a><span class="lineno"> 503</span> 
|
|
524
|
-
<div class="line"><a name="l00504"></a><span class="lineno"
|
|
525
|
-
<div class="line"><a name="l00505"></a><span class="lineno"> 505</span> <span class="
|
|
526
|
-
<div class="line"><a name="l00506"></a><span class="lineno"> 506</span> 
|
|
527
|
-
<div class="line"><a name="l00507"></a><span class="lineno"> 507</span> 
|
|
528
|
-
<div class="line"><a name="l00508"></a><span class="lineno"> 508</span> 
|
|
529
|
-
<div class="line"><a name="l00509"></a><span class="lineno"
|
|
530
|
-
<div class="line"><a name="l00510"></a><span class="lineno"> 510</span> <span class="
|
|
531
|
-
<div class="line"><a name="l00511"></a><span class="lineno"> 511</span> 
|
|
532
|
-
<div class="line"><a name="l00512"></a><span class="lineno"> 512</span> 
|
|
533
|
-
<div class="line"><a name="l00513"></a><span class="lineno"> 513</span> 
|
|
534
|
-
<div class="line"><a name="l00514"></a><span class="lineno"
|
|
535
|
-
<div class="line"><a name="l00515"></a><span class="lineno"> 515</span> <span class="
|
|
536
|
-
<div class="line"><a name="l00516"></a><span class="lineno"> 516</span> 
|
|
537
|
-
<div class="line"><a name="l00517"></a><span class="lineno"> 517</span> 
|
|
538
|
-
<div class="line"><a name="l00518"></a><span class="lineno"> 518</span> 
|
|
539
|
-
<div class="line"><a name="l00519"></a><span class="lineno"
|
|
540
|
-
<div class="line"><a name="l00520"></a><span class="lineno"> 520</span> <span class="
|
|
541
|
-
<div class="line"><a name="l00521"></a><span class="lineno"> 521</span> 
|
|
542
|
-
<div class="line"><a name="l00522"></a><span class="lineno"> 522</span> 
|
|
543
|
-
<div class="line"><a name="l00523"></a><span class="lineno"> 523</span> 
|
|
544
|
-
<div class="line"><a name="l00524"></a><span class="lineno"
|
|
545
|
-
<div class="line"><a name="l00525"></a><span class="lineno"> 525</span> <span class="
|
|
546
|
-
<div class="line"><a name="l00526"></a><span class="lineno"> 526</span> 
|
|
547
|
-
<div class="line"><a name="l00527"></a><span class="lineno"> 527</span> 
|
|
548
|
-
<div class="line"><a name="l00528"></a><span class="lineno"> 528</span> 
|
|
549
|
-
<div class="line"><a name="l00529"></a><span class="lineno"
|
|
550
|
-
<div class="line"><a name="l00530"></a><span class="lineno"> 530</span> <span class="
|
|
551
|
-
<div class="line"><a name="l00531"></a><span class="lineno"> 531</span> 
|
|
552
|
-
<div class="line"><a name="l00532"></a><span class="lineno"> 532</span> 
|
|
553
|
-
<div class="line"><a name="l00533"></a><span class="lineno"> 533</span> 
|
|
554
|
-
<div class="line"><a name="l00534"></a><span class="lineno"
|
|
555
|
-
<div class="line"><a name="l00535"></a><span class="lineno"> 535</span> <span class="
|
|
556
|
-
<div class="line"><a name="l00536"></a><span class="lineno"> 536</span> 
|
|
557
|
-
<div class="line"><a name="l00537"></a><span class="lineno"> 537</span> 
|
|
558
|
-
<div class="line"><a name="l00538"></a><span class="lineno"> 538</span> 
|
|
559
|
-
<div class="line"><a name="l00539"></a><span class="lineno"
|
|
560
|
-
<div class="line"><a name="l00540"></a><span class="lineno"> 540</span> <span class="
|
|
561
|
-
<div class="line"><a name="l00541"></a><span class="lineno"> 541</span> 
|
|
562
|
-
<div class="line"><a name="l00542"></a><span class="lineno"> 542</span> 
|
|
563
|
-
<div class="line"><a name="l00543"></a><span class="lineno"> 543</span> 
|
|
564
|
-
<div class="line"><a name="l00544"></a><span class="lineno"
|
|
565
|
-
<div class="line"><a name="l00545"></a><span class="lineno"> 545</span> <span class="
|
|
566
|
-
<div class="line"><a name="l00546"></a><span class="lineno"> 546</span> 
|
|
567
|
-
<div class="line"><a name="l00547"></a><span class="lineno"> 547</span> 
|
|
568
|
-
<div class="line"><a name="l00548"></a><span class="lineno"> 548</span> 
|
|
569
|
-
<div class="line"><a name="l00549"></a><span class="lineno"
|
|
570
|
-
<div class="line"><a name="l00550"></a><span class="lineno"> 550</span> <span class="keyword"
|
|
571
|
-
<div class="line"><a name="l00551"></a><span class="lineno"> 551</span> 
|
|
572
|
-
<div class="line"><a name="l00552"></a><span class="lineno"> 552</span> 
|
|
573
|
-
<div class="line"><a name="l00553"></a><span class="lineno"> 553</span> 
|
|
574
|
-
<div class="line"><a name="l00554"></a><span class="lineno"
|
|
575
|
-
<div class="line"><a name="l00555"></a><span class="lineno"> 555</span> <span class="keyword"
|
|
576
|
-
<div class="line"><a name="l00556"></a><span class="lineno"> 556</span> 
|
|
577
|
-
<div class="line"><a name="l00557"></a><span class="lineno"> 557</span> 
|
|
578
|
-
<div class="line"><a name="l00558"></a><span class="lineno"> 558</span> 
|
|
579
|
-
<div class="line"><a name="l00559"></a><span class="lineno"
|
|
580
|
-
<div class="line"><a name="l00560"></a><span class="lineno"> 560</span> 
|
|
581
|
-
<div class="line"><a name="l00561"></a><span class="lineno"> 561</span> 
|
|
582
|
-
<div class="line"><a name="l00562"></a><span class="lineno"> 562</span> 
|
|
583
|
-
<div class="line"><a name="
|
|
584
|
-
<div class="line"><a name="
|
|
585
|
-
<div class="line"><a name="
|
|
586
|
-
<div class="line"><a name="
|
|
587
|
-
<div class="line"><a name="l00568"></a><span class="lineno"> 568</span>  </div>
|
|
588
|
-
<div class="line"><a name="l00569"></a><span class="lineno"
|
|
589
|
-
<div class="line"><a name="l00570"></a><span class="lineno"> 570</span> 
|
|
590
|
-
<div class="line"><a name="l00571"></a><span class="lineno"> 571</span>  </div>
|
|
591
|
-
<div class="line"><a name="l00572"></a><span class="lineno"> 572</span>  <span class="keywordflow">
|
|
592
|
-
<div class="line"><a name="l00573"></a><span class="lineno"> 573</span> 
|
|
593
|
-
<div class="line"><a name="l00574"></a><span class="lineno"> 574</span> 
|
|
594
|
-
<div class="line"><a name="l00575"></a><span class="lineno"> 575</span> 
|
|
595
|
-
<div class="line"><a name="l00576"></a><span class="lineno"> 576</span> 
|
|
596
|
-
<div class="line"><a name="l00577"></a><span class="lineno"> 577</span> 
|
|
597
|
-
<div class="line"><a name="l00578"></a><span class="lineno"> 578</span> 
|
|
598
|
-
<div class="line"><a name="l00579"></a><span class="lineno"> 579</span> 
|
|
599
|
-
<div class="line"><a name="l00580"></a><span class="lineno"> 580</span> 
|
|
600
|
-
<div class="line"><a name="l00581"></a><span class="lineno"> 581</span> 
|
|
601
|
-
<div class="line"><a name="l00582"></a><span class="lineno"> 582</span> 
|
|
602
|
-
<div class="line"><a name="l00583"></a><span class="lineno"> 583</span>  </div>
|
|
603
|
-
<div class="line"><a name="l00584"></a><span class="lineno"
|
|
604
|
-
<div class="line"><a name="l00585"></a><span class="lineno"> 585</span> 
|
|
605
|
-
<div class="line"><a name="l00586"></a><span class="lineno"> 586</span> 
|
|
606
|
-
<div class="line"><a name="l00587"></a><span class="lineno"> 587</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
607
|
-
<div class="line"><a name="l00588"></a><span class="lineno"> 588</span>  <span class="keywordflow">else</span></div>
|
|
608
|
-
<div class="line"><a name="l00589"></a><span class="lineno"> 589</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.find(val) != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end());</div>
|
|
609
|
-
<div class="line"><a name="l00590"></a><span class="lineno"> 590</span> }</div>
|
|
433
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span> }</div>
|
|
434
|
+
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  </div>
|
|
435
|
+
<div class="line"><a name="l00401"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca"> 401</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca">MemObj::setFieldSensitive</a>()</div>
|
|
436
|
+
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span> {</div>
|
|
437
|
+
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">setMaxFieldOffsetLimit</a>(<a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a9329740d5db9212c69ed28ca6410559e">getNumOfElements</a>());</div>
|
|
438
|
+
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span> }</div>
|
|
439
|
+
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  </div>
|
|
440
|
+
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  </div>
|
|
441
|
+
<div class="line"><a name="l00410"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342"> 410</a></span> <a class="code" href="classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342">MemObj::MemObj</a>(<a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> <span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1ObjTypeInfo.html">ObjTypeInfo</a>* ti, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val) :</div>
|
|
442
|
+
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  typeInfo(ti), refVal(val), symId(id)</div>
|
|
443
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span> {</div>
|
|
444
|
+
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span> }</div>
|
|
445
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  </div>
|
|
446
|
+
<div class="line"><a name="l00418"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c"> 418</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c">MemObj::isBlackHoleObj</a>()<span class="keyword"> const</span></div>
|
|
447
|
+
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span> <span class="keyword"></span>{</div>
|
|
448
|
+
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3">SymbolTableInfo::isBlkObj</a>(<a class="code" href="classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1">getId</a>());</div>
|
|
449
|
+
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span> }</div>
|
|
450
|
+
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  </div>
|
|
451
|
+
<div class="line"><a name="l00424"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#aa14b59ba9e14140bf158f3c4ebef9fa5"> 424</a></span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1MemObj.html#aa14b59ba9e14140bf158f3c4ebef9fa5">MemObj::getNumOfElements</a>()<span class="keyword"> const</span></div>
|
|
452
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span> <span class="keyword"></span>{</div>
|
|
453
|
+
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a9329740d5db9212c69ed28ca6410559e">getNumOfElements</a>();</div>
|
|
454
|
+
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span> }</div>
|
|
455
|
+
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  </div>
|
|
456
|
+
<div class="line"><a name="l00430"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#ab993dcaf5bcc1d6144cd94bcb8e18c6d"> 430</a></span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1MemObj.html#ab993dcaf5bcc1d6144cd94bcb8e18c6d">MemObj::getByteSizeOfObj</a>()<span class="keyword"> const</span></div>
|
|
457
|
+
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span> <span class="keyword"></span>{</div>
|
|
458
|
+
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#ad5c4590f26859a5004b612a335a61916">getByteSizeOfObj</a>();</div>
|
|
459
|
+
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span> }</div>
|
|
460
|
+
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  </div>
|
|
461
|
+
<div class="line"><a name="l00436"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#ae47fcecc6380a2d5f2fff469f607af1b"> 436</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#ae47fcecc6380a2d5f2fff469f607af1b">MemObj::isConstantByteSize</a>()<span class="keyword"> const</span></div>
|
|
462
|
+
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span> <span class="keyword"></span>{</div>
|
|
463
|
+
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a9d791c6c48a323844d7b7aa8600d77f1">isConstantByteSize</a>();</div>
|
|
464
|
+
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span> }</div>
|
|
465
|
+
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  </div>
|
|
466
|
+
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  </div>
|
|
467
|
+
<div class="line"><a name="l00443"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869"> 443</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869">MemObj::setNumOfElements</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num)</div>
|
|
468
|
+
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span> {</div>
|
|
469
|
+
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221">setNumOfElements</a>(num);</div>
|
|
470
|
+
<div class="line"><a name="l00446"></a><span class="lineno"> 446</span> }</div>
|
|
471
|
+
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  </div>
|
|
472
|
+
<div class="line"><a name="l00449"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a16dbca26cbb5af9be4a0b0aa04325810"> 449</a></span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="classSVF_1_1MemObj.html#a16dbca26cbb5af9be4a0b0aa04325810">MemObj::getType</a>()<span class="keyword"> const</span></div>
|
|
473
|
+
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span> <span class="keyword"></span>{</div>
|
|
474
|
+
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#aaffd94b311238f183031a525376c55a2">getType</a>();</div>
|
|
475
|
+
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span> }</div>
|
|
476
|
+
<div class="line"><a name="l00453"></a><span class="lineno"> 453</span> <span class="comment">/*</span></div>
|
|
477
|
+
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span> <span class="comment"> * Destroy the fields of the memory object</span></div>
|
|
478
|
+
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span> <span class="comment"> */</span></div>
|
|
479
|
+
<div class="line"><a name="l00456"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735"> 456</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">MemObj::destroy</a>()</div>
|
|
480
|
+
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span> {</div>
|
|
481
|
+
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span>  <span class="keyword">delete</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>;</div>
|
|
482
|
+
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span>  <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a> = <span class="keyword">nullptr</span>;</div>
|
|
483
|
+
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span> }</div>
|
|
484
|
+
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  </div>
|
|
485
|
+
<div class="line"><a name="l00463"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88"> 463</a></span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">MemObj::getMaxFieldOffsetLimit</a>()<span class="keyword"> const</span></div>
|
|
486
|
+
<div class="line"><a name="l00464"></a><span class="lineno"> 464</span> <span class="keyword"></span>{</div>
|
|
487
|
+
<div class="line"><a name="l00465"></a><span class="lineno"> 465</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">getMaxFieldOffsetLimit</a>();</div>
|
|
488
|
+
<div class="line"><a name="l00466"></a><span class="lineno"> 466</span> }</div>
|
|
489
|
+
<div class="line"><a name="l00467"></a><span class="lineno"> 467</span>  </div>
|
|
490
|
+
<div class="line"><a name="l00469"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc"> 469</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">MemObj::isFieldInsensitive</a>()<span class="keyword"> const</span></div>
|
|
491
|
+
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span> <span class="keyword"></span>{</div>
|
|
492
|
+
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">getMaxFieldOffsetLimit</a>() == 0;</div>
|
|
493
|
+
<div class="line"><a name="l00472"></a><span class="lineno"> 472</span> }</div>
|
|
494
|
+
<div class="line"><a name="l00473"></a><span class="lineno"> 473</span>  </div>
|
|
495
|
+
<div class="line"><a name="l00475"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c"> 475</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c">MemObj::setFieldInsensitive</a>()</div>
|
|
496
|
+
<div class="line"><a name="l00476"></a><span class="lineno"> 476</span> {</div>
|
|
497
|
+
<div class="line"><a name="l00477"></a><span class="lineno"> 477</span>  <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">setMaxFieldOffsetLimit</a>(0);</div>
|
|
498
|
+
<div class="line"><a name="l00478"></a><span class="lineno"> 478</span> }</div>
|
|
499
|
+
<div class="line"><a name="l00479"></a><span class="lineno"> 479</span>  </div>
|
|
500
|
+
<div class="line"><a name="l00480"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b"> 480</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b">MemObj::isFunction</a>()<span class="keyword"> const</span></div>
|
|
501
|
+
<div class="line"><a name="l00481"></a><span class="lineno"> 481</span> <span class="keyword"></span>{</div>
|
|
502
|
+
<div class="line"><a name="l00482"></a><span class="lineno"> 482</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f">isFunction</a>();</div>
|
|
503
|
+
<div class="line"><a name="l00483"></a><span class="lineno"> 483</span> }</div>
|
|
504
|
+
<div class="line"><a name="l00484"></a><span class="lineno"> 484</span>  </div>
|
|
505
|
+
<div class="line"><a name="l00485"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4"> 485</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4">MemObj::isGlobalObj</a>()<span class="keyword"> const</span></div>
|
|
506
|
+
<div class="line"><a name="l00486"></a><span class="lineno"> 486</span> <span class="keyword"></span>{</div>
|
|
507
|
+
<div class="line"><a name="l00487"></a><span class="lineno"> 487</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f">isGlobalObj</a>();</div>
|
|
508
|
+
<div class="line"><a name="l00488"></a><span class="lineno"> 488</span> }</div>
|
|
509
|
+
<div class="line"><a name="l00489"></a><span class="lineno"> 489</span>  </div>
|
|
510
|
+
<div class="line"><a name="l00490"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e"> 490</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e">MemObj::isStaticObj</a>()<span class="keyword"> const</span></div>
|
|
511
|
+
<div class="line"><a name="l00491"></a><span class="lineno"> 491</span> <span class="keyword"></span>{</div>
|
|
512
|
+
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523">isStaticObj</a>();</div>
|
|
513
|
+
<div class="line"><a name="l00493"></a><span class="lineno"> 493</span> }</div>
|
|
514
|
+
<div class="line"><a name="l00494"></a><span class="lineno"> 494</span>  </div>
|
|
515
|
+
<div class="line"><a name="l00495"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee"> 495</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee">MemObj::isStack</a>()<span class="keyword"> const</span></div>
|
|
516
|
+
<div class="line"><a name="l00496"></a><span class="lineno"> 496</span> <span class="keyword"></span>{</div>
|
|
517
|
+
<div class="line"><a name="l00497"></a><span class="lineno"> 497</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602">isStack</a>();</div>
|
|
518
|
+
<div class="line"><a name="l00498"></a><span class="lineno"> 498</span> }</div>
|
|
519
|
+
<div class="line"><a name="l00499"></a><span class="lineno"> 499</span>  </div>
|
|
520
|
+
<div class="line"><a name="l00500"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1"> 500</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">MemObj::isHeap</a>()<span class="keyword"> const</span></div>
|
|
521
|
+
<div class="line"><a name="l00501"></a><span class="lineno"> 501</span> <span class="keyword"></span>{</div>
|
|
522
|
+
<div class="line"><a name="l00502"></a><span class="lineno"> 502</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d">isHeap</a>();</div>
|
|
523
|
+
<div class="line"><a name="l00503"></a><span class="lineno"> 503</span> }</div>
|
|
524
|
+
<div class="line"><a name="l00504"></a><span class="lineno"> 504</span>  </div>
|
|
525
|
+
<div class="line"><a name="l00505"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286"> 505</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286">MemObj::isStruct</a>()<span class="keyword"> const</span></div>
|
|
526
|
+
<div class="line"><a name="l00506"></a><span class="lineno"> 506</span> <span class="keyword"></span>{</div>
|
|
527
|
+
<div class="line"><a name="l00507"></a><span class="lineno"> 507</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a">isStruct</a>();</div>
|
|
528
|
+
<div class="line"><a name="l00508"></a><span class="lineno"> 508</span> }</div>
|
|
529
|
+
<div class="line"><a name="l00509"></a><span class="lineno"> 509</span>  </div>
|
|
530
|
+
<div class="line"><a name="l00510"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af"> 510</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af">MemObj::isArray</a>()<span class="keyword"> const</span></div>
|
|
531
|
+
<div class="line"><a name="l00511"></a><span class="lineno"> 511</span> <span class="keyword"></span>{</div>
|
|
532
|
+
<div class="line"><a name="l00512"></a><span class="lineno"> 512</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1">isArray</a>();</div>
|
|
533
|
+
<div class="line"><a name="l00513"></a><span class="lineno"> 513</span> }</div>
|
|
534
|
+
<div class="line"><a name="l00514"></a><span class="lineno"> 514</span>  </div>
|
|
535
|
+
<div class="line"><a name="l00515"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf"> 515</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf">MemObj::isVarStruct</a>()<span class="keyword"> const</span></div>
|
|
536
|
+
<div class="line"><a name="l00516"></a><span class="lineno"> 516</span> <span class="keyword"></span>{</div>
|
|
537
|
+
<div class="line"><a name="l00517"></a><span class="lineno"> 517</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">isVarStruct</a>();</div>
|
|
538
|
+
<div class="line"><a name="l00518"></a><span class="lineno"> 518</span> }</div>
|
|
539
|
+
<div class="line"><a name="l00519"></a><span class="lineno"> 519</span>  </div>
|
|
540
|
+
<div class="line"><a name="l00520"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6"> 520</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6">MemObj::isVarArray</a>()<span class="keyword"> const</span></div>
|
|
541
|
+
<div class="line"><a name="l00521"></a><span class="lineno"> 521</span> <span class="keyword"></span>{</div>
|
|
542
|
+
<div class="line"><a name="l00522"></a><span class="lineno"> 522</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3">isVarArray</a>();</div>
|
|
543
|
+
<div class="line"><a name="l00523"></a><span class="lineno"> 523</span> }</div>
|
|
544
|
+
<div class="line"><a name="l00524"></a><span class="lineno"> 524</span>  </div>
|
|
545
|
+
<div class="line"><a name="l00525"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f"> 525</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">MemObj::isConstantStruct</a>()<span class="keyword"> const</span></div>
|
|
546
|
+
<div class="line"><a name="l00526"></a><span class="lineno"> 526</span> <span class="keyword"></span>{</div>
|
|
547
|
+
<div class="line"><a name="l00527"></a><span class="lineno"> 527</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7">isConstantStruct</a>();</div>
|
|
548
|
+
<div class="line"><a name="l00528"></a><span class="lineno"> 528</span> }</div>
|
|
549
|
+
<div class="line"><a name="l00529"></a><span class="lineno"> 529</span>  </div>
|
|
550
|
+
<div class="line"><a name="l00530"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb"> 530</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">MemObj::isConstantArray</a>()<span class="keyword"> const</span></div>
|
|
551
|
+
<div class="line"><a name="l00531"></a><span class="lineno"> 531</span> <span class="keyword"></span>{</div>
|
|
552
|
+
<div class="line"><a name="l00532"></a><span class="lineno"> 532</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212">isConstantArray</a>();</div>
|
|
553
|
+
<div class="line"><a name="l00533"></a><span class="lineno"> 533</span> }</div>
|
|
554
|
+
<div class="line"><a name="l00534"></a><span class="lineno"> 534</span>  </div>
|
|
555
|
+
<div class="line"><a name="l00535"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0"> 535</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0">MemObj::isConstDataOrConstGlobal</a>()<span class="keyword"> const</span></div>
|
|
556
|
+
<div class="line"><a name="l00536"></a><span class="lineno"> 536</span> <span class="keyword"></span>{</div>
|
|
557
|
+
<div class="line"><a name="l00537"></a><span class="lineno"> 537</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1">isConstDataOrConstGlobal</a>();</div>
|
|
558
|
+
<div class="line"><a name="l00538"></a><span class="lineno"> 538</span> }</div>
|
|
559
|
+
<div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  </div>
|
|
560
|
+
<div class="line"><a name="l00540"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68"> 540</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68">MemObj::isConstDataOrAggData</a>()<span class="keyword"> const</span></div>
|
|
561
|
+
<div class="line"><a name="l00541"></a><span class="lineno"> 541</span> <span class="keyword"></span>{</div>
|
|
562
|
+
<div class="line"><a name="l00542"></a><span class="lineno"> 542</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a6cc6751c847c667d4fc3052a30195e14">isConstDataOrAggData</a>();</div>
|
|
563
|
+
<div class="line"><a name="l00543"></a><span class="lineno"> 543</span> }</div>
|
|
564
|
+
<div class="line"><a name="l00544"></a><span class="lineno"> 544</span>  </div>
|
|
565
|
+
<div class="line"><a name="l00545"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082"> 545</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082">MemObj::hasPtrObj</a>()<span class="keyword"> const</span></div>
|
|
566
|
+
<div class="line"><a name="l00546"></a><span class="lineno"> 546</span> <span class="keyword"></span>{</div>
|
|
567
|
+
<div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>();</div>
|
|
568
|
+
<div class="line"><a name="l00548"></a><span class="lineno"> 548</span> }</div>
|
|
569
|
+
<div class="line"><a name="l00549"></a><span class="lineno"> 549</span>  </div>
|
|
570
|
+
<div class="line"><a name="l00550"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac"> 550</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac">MemObj::isNonPtrFieldObj</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a>& apOffset)<span class="keyword"> const</span></div>
|
|
571
|
+
<div class="line"><a name="l00551"></a><span class="lineno"> 551</span> <span class="keyword"></span>{</div>
|
|
572
|
+
<div class="line"><a name="l00552"></a><span class="lineno"> 552</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-><a class="code" href="classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72">isNonPtrFieldObj</a>(apOffset);</div>
|
|
573
|
+
<div class="line"><a name="l00553"></a><span class="lineno"> 553</span> }</div>
|
|
574
|
+
<div class="line"><a name="l00554"></a><span class="lineno"> 554</span>  </div>
|
|
575
|
+
<div class="line"><a name="l00555"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7"> 555</a></span> <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7">MemObj::toString</a>()<span class="keyword"> const</span></div>
|
|
576
|
+
<div class="line"><a name="l00556"></a><span class="lineno"> 556</span> <span class="keyword"></span>{</div>
|
|
577
|
+
<div class="line"><a name="l00557"></a><span class="lineno"> 557</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
|
|
578
|
+
<div class="line"><a name="l00558"></a><span class="lineno"> 558</span>  std::stringstream rawstr(str);</div>
|
|
579
|
+
<div class="line"><a name="l00559"></a><span class="lineno"> 559</span>  rawstr << <span class="stringliteral">"MemObj : "</span> << <a class="code" href="classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1">getId</a>() << <a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()-><a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>() << <span class="stringliteral">"\n"</span>;</div>
|
|
580
|
+
<div class="line"><a name="l00560"></a><span class="lineno"> 560</span>  <span class="keywordflow">return</span> rawstr.str();</div>
|
|
581
|
+
<div class="line"><a name="l00561"></a><span class="lineno"> 561</span> }</div>
|
|
582
|
+
<div class="line"><a name="l00562"></a><span class="lineno"> 562</span>  </div>
|
|
583
|
+
<div class="line"><a name="l00564"></a><span class="lineno"> 564</span>  </div>
|
|
584
|
+
<div class="line"><a name="l00565"></a><span class="lineno"><a class="line" href="classSVF_1_1SymbolTableInfo.html#a72be51342f633844f59c5a46b7e01583"> 565</a></span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a72be51342f633844f59c5a46b7e01583">SymbolTableInfo::getValSym</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val)</div>
|
|
585
|
+
<div class="line"><a name="l00566"></a><span class="lineno"> 566</span> {</div>
|
|
586
|
+
<div class="line"><a name="l00567"></a><span class="lineno"> 567</span>  </div>
|
|
587
|
+
<div class="line"><a name="l00568"></a><span class="lineno"> 568</span>  <span class="keywordflow">if</span>(val-><a class="code" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>())</div>
|
|
588
|
+
<div class="line"><a name="l00569"></a><span class="lineno"> 569</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">nullPtrSymID</a>();</div>
|
|
589
|
+
<div class="line"><a name="l00570"></a><span class="lineno"> 570</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (val-><a class="code" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>())</div>
|
|
590
|
+
<div class="line"><a name="l00571"></a><span class="lineno"> 571</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72">blkPtrSymID</a>();</div>
|
|
591
|
+
<div class="line"><a name="l00572"></a><span class="lineno"> 572</span>  <span class="keywordflow">else</span></div>
|
|
592
|
+
<div class="line"><a name="l00573"></a><span class="lineno"> 573</span>  {</div>
|
|
593
|
+
<div class="line"><a name="l00574"></a><span class="lineno"> 574</span>  ValueToIDMapTy::const_iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.find(val);</div>
|
|
594
|
+
<div class="line"><a name="l00575"></a><span class="lineno"> 575</span>  assert(iter!=<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end() &&<span class="stringliteral">"value sym not found"</span>);</div>
|
|
595
|
+
<div class="line"><a name="l00576"></a><span class="lineno"> 576</span>  <span class="keywordflow">return</span> iter->second;</div>
|
|
596
|
+
<div class="line"><a name="l00577"></a><span class="lineno"> 577</span>  }</div>
|
|
597
|
+
<div class="line"><a name="l00578"></a><span class="lineno"> 578</span> }</div>
|
|
598
|
+
<div class="line"><a name="l00579"></a><span class="lineno"> 579</span>  </div>
|
|
599
|
+
<div class="line"><a name="l00580"></a><span class="lineno"><a class="line" href="classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117"> 580</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117">SymbolTableInfo::hasValSym</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val)</div>
|
|
600
|
+
<div class="line"><a name="l00581"></a><span class="lineno"> 581</span> {</div>
|
|
601
|
+
<div class="line"><a name="l00582"></a><span class="lineno"> 582</span>  <span class="keywordflow">if</span> (val-><a class="code" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>() || val-><a class="code" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>())</div>
|
|
602
|
+
<div class="line"><a name="l00583"></a><span class="lineno"> 583</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
603
|
+
<div class="line"><a name="l00584"></a><span class="lineno"> 584</span>  <span class="keywordflow">else</span></div>
|
|
604
|
+
<div class="line"><a name="l00585"></a><span class="lineno"> 585</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.find(val) != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end());</div>
|
|
605
|
+
<div class="line"><a name="l00586"></a><span class="lineno"> 586</span> }</div>
|
|
610
606
|
</div><!-- fragment --></div><!-- contents -->
|
|
611
607
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_af8fdaaa03cd2ae9b7d50f57bc678b8ba"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba">SVF::SymbolTableInfo::mod</a></div><div class="ttdeci">SVFModule * mod</div><div class="ttdoc">Module.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00092">SymbolTableInfo.h:92</a></div></div>
|
|
612
608
|
<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00061">SVFType.h:61</a></div></div>
|
|
613
609
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a40d6703875b370aed2c6dc41c0594af5"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">SVF::ObjTypeInfo::isVarStruct</a></div><div class="ttdeci">bool isVarStruct()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00618">SymbolTableInfo.h:618</a></div></div>
|
|
614
610
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_ac5bae1e7917f415193a805e8d2e29320"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">SVF::ObjTypeInfo::hasPtrObj</a></div><div class="ttdeci">bool hasPtrObj()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00650">SymbolTableInfo.h:650</a></div></div>
|
|
615
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a41d85883d44ad77832b020455951c6fc"><div class="ttname"><a href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">SVF::MemObj::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive() const</div><div class="ttdoc">Return true if its field limit is 0.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
611
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a41d85883d44ad77832b020455951c6fc"><div class="ttname"><a href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">SVF::MemObj::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive() const</div><div class="ttdoc">Return true if its field limit is 0.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00469">SymbolTableInfo.cpp:469</a></div></div>
|
|
616
612
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a9d791c6c48a323844d7b7aa8600d77f1"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a9d791c6c48a323844d7b7aa8600d77f1">SVF::ObjTypeInfo::isConstantByteSize</a></div><div class="ttdeci">bool isConstantByteSize() const</div><div class="ttdoc">Check if byte size is a const value.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00574">SymbolTableInfo.h:574</a></div></div>
|
|
617
613
|
<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map< Key, Value, Compare, Allocator > OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00110">SVFType.h:110</a></div></div>
|
|
618
|
-
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a9f4cf6914b400b9f69c7852f13c496a9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9">SVF::SymbolTableInfo::dump</a></div><div class="ttdeci">virtual void dump()</div><div class="ttdoc">Another debug method.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
614
|
+
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a9f4cf6914b400b9f69c7852f13c496a9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9">SVF::SymbolTableInfo::dump</a></div><div class="ttdeci">virtual void dump()</div><div class="ttdoc">Another debug method.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00326">SymbolTableInfo.cpp:326</a></div></div>
|
|
619
615
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_aeab14702eabde827923a692cba8f7f8a"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a">SVF::SymbolTableInfo::objMap</a></div><div class="ttdeci">IDToMemMapTy objMap</div><div class="ttdoc">map a memory sym id to its obj</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00086">SymbolTableInfo.h:86</a></div></div>
|
|
620
616
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html_ac29e2f5e75cc6916be6a663ca6d51177"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">SVF::SVFValue::isNullPtr</a></div><div class="ttdeci">bool isNullPtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00272">SVFValue.h:272</a></div></div>
|
|
621
617
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a2994a616d76020a21903fcdc2d2cfdff"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a2994a616d76020a21903fcdc2d2cfdff">SVF::SymbolTableInfo::createObjTypeInfo</a></div><div class="ttdeci">ObjTypeInfo * createObjTypeInfo(const SVFType *type)</div><div class="ttdoc">Create an objectInfo based on LLVM type (value is null, and type could be null, representing a dummy ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00067">SymbolTableInfo.cpp:67</a></div></div>
|
|
622
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a981b7424901ef74467f725ffc9fec0ca"><div class="ttname"><a href="classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca">SVF::MemObj::setFieldSensitive</a></div><div class="ttdeci">void setFieldSensitive()</div><div class="ttdoc">Set the memory object to be field sensitive (up to max field limit)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
618
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a981b7424901ef74467f725ffc9fec0ca"><div class="ttname"><a href="classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca">SVF::MemObj::setFieldSensitive</a></div><div class="ttdeci">void setFieldSensitive()</div><div class="ttdoc">Set the memory object to be field sensitive (up to max field limit)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00401">SymbolTableInfo.cpp:401</a></div></div>
|
|
623
619
|
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00351">SVFType.h:351</a></div></div>
|
|
624
620
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_ae26937ca2107517e6ede8eb6d76b95d5"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5">SVF::ObjTypeInfo::resetTypeForHeapStaticObj</a></div><div class="ttdeci">void resetTypeForHeapStaticObj(const SVFType *type)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00050">SymbolTableInfo.cpp:50</a></div></div>
|
|
625
621
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_aa2855b69150287e5f04a7a683dc4c91f"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f">SVF::ObjTypeInfo::isGlobalObj</a></div><div class="ttdeci">bool isGlobalObj()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00597">SymbolTableInfo.h:597</a></div></div>
|
|
626
622
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a54418613d6492e80f644f3db86abc9ad"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a54418613d6492e80f644f3db86abc9ad">SVF::SymbolTableInfo::getModulusOffset</a></div><div class="ttdeci">virtual APOffset getModulusOffset(const MemObj *obj, const APOffset &apOffset)</div><div class="ttdoc">Given an offset from a Gep Instruction, return it modulus offset by considering memory layout.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00094">SymbolTableInfo.cpp:94</a></div></div>
|
|
627
623
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_ad5c4590f26859a5004b612a335a61916"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ad5c4590f26859a5004b612a335a61916">SVF::ObjTypeInfo::getByteSizeOfObj</a></div><div class="ttdeci">u32_t getByteSizeOfObj() const</div><div class="ttdoc">Get the byte size of this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00561">SymbolTableInfo.h:561</a></div></div>
|
|
628
624
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
629
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_ad1966c52f95775ac7d65c0ba6632c3cf"><div class="ttname"><a href="classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf">SVF::MemObj::isVarStruct</a></div><div class="ttdeci">bool isVarStruct() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
625
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_ad1966c52f95775ac7d65c0ba6632c3cf"><div class="ttname"><a href="classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf">SVF::MemObj::isVarStruct</a></div><div class="ttdeci">bool isVarStruct() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00515">SymbolTableInfo.cpp:515</a></div></div>
|
|
630
626
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a518c82138fcadc6634980566c1c0f762"><div class="ttname"><a href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">SVF::StInfo::getNumOfFlattenElements</a></div><div class="ttdeci">u32_t getNumOfFlattenElements() const</div><div class="ttdoc">Return number of elements after flattening (including array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00225">SVFType.h:225</a></div></div>
|
|
631
627
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a9df4f1df1e5638ab6c9cc8147c7b8efb"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a9df4f1df1e5638ab6c9cc8147c7b8efb">SVF::SymbolTableInfo::stInfos</a></div><div class="ttdeci">Set< const StInfo * > stInfos</div><div class="ttdoc">(owned) All StInfo</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00373">SymbolTableInfo.h:373</a></div></div>
|
|
632
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_ae47fcecc6380a2d5f2fff469f607af1b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae47fcecc6380a2d5f2fff469f607af1b">SVF::MemObj::isConstantByteSize</a></div><div class="ttdeci">bool isConstantByteSize() const</div><div class="ttdoc">Check if byte size is a const value.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
633
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a616e9f4d6f82a253f94391c47668b9a6"><div class="ttname"><a href="classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6">SVF::MemObj::isVarArray</a></div><div class="ttdeci">bool isVarArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
628
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_ae47fcecc6380a2d5f2fff469f607af1b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae47fcecc6380a2d5f2fff469f607af1b">SVF::MemObj::isConstantByteSize</a></div><div class="ttdeci">bool isConstantByteSize() const</div><div class="ttdoc">Check if byte size is a const value.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00436">SymbolTableInfo.cpp:436</a></div></div>
|
|
629
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a616e9f4d6f82a253f94391c47668b9a6"><div class="ttname"><a href="classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6">SVF::MemObj::isVarArray</a></div><div class="ttdeci">bool isVarArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00520">SymbolTableInfo.cpp:520</a></div></div>
|
|
634
630
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_ae5fad367673315da57a604e64b5889f0"><div class="ttname"><a href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">SVF::StInfo::getNumOfFlattenFields</a></div><div class="ttdeci">u32_t getNumOfFlattenFields() const</div><div class="ttdoc">Return the number of fields after flattening (ignoring array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00231">SVFType.h:231</a></div></div>
|
|
635
631
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_aa568dc82decd28d2ef40785a4a647602"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602">SVF::ObjTypeInfo::isStack</a></div><div class="ttdeci">bool isStack()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00605">SymbolTableInfo.h:605</a></div></div>
|
|
636
632
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a94c06e5ac0b50989743a9e63c9a6d5b9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9">SVF::SymbolTableInfo::varargSymMap</a></div><div class="ttdeci">FunToIDMapTy varargSymMap</div><div class="ttdoc">vararg map</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00085">SymbolTableInfo.h:85</a></div></div>
|
|
637
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a1a4ff4aaaf2573240a318e1b79328cd0"><div class="ttname"><a href="classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0">SVF::MemObj::isConstDataOrConstGlobal</a></div><div class="ttdeci">bool isConstDataOrConstGlobal() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
633
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a1a4ff4aaaf2573240a318e1b79328cd0"><div class="ttname"><a href="classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0">SVF::MemObj::isConstDataOrConstGlobal</a></div><div class="ttdeci">bool isConstDataOrConstGlobal() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00535">SymbolTableInfo.cpp:535</a></div></div>
|
|
638
634
|
<div class="ttc" id="aclassSVF_1_1MemObj_html_a3ab6f65ffbf6442daac4d3f70f2d3cb1"><div class="ttname"><a href="classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1">SVF::MemObj::getId</a></div><div class="ttdeci">SymID getId() const</div><div class="ttdoc">Get the memory object id.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00412">SymbolTableInfo.h:412</a></div></div>
|
|
639
|
-
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a040ae9ad6cd6b075df6594bb1f706d72"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72">SVF::ObjTypeInfo::isNonPtrFieldObj</a></div><div class="ttdeci">virtual bool isNonPtrFieldObj(const APOffset &apOffset)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
635
|
+
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a040ae9ad6cd6b075df6594bb1f706d72"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72">SVF::ObjTypeInfo::isNonPtrFieldObj</a></div><div class="ttdeci">virtual bool isNonPtrFieldObj(const APOffset &apOffset)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00368">SymbolTableInfo.cpp:368</a></div></div>
|
|
640
636
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_adaed6e68c2f53260ed4c4fc38b5c4721"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">SVF::SymbolTableInfo::nullPtrSymID</a></div><div class="ttdeci">SymID nullPtrSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00188">SymbolTableInfo.h:188</a></div></div>
|
|
641
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a132df66e2751e5db6b0ba82d767a3286"><div class="ttname"><a href="classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286">SVF::MemObj::isStruct</a></div><div class="ttdeci">bool isStruct() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
642
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_aa14b59ba9e14140bf158f3c4ebef9fa5"><div class="ttname"><a href="classSVF_1_1MemObj.html#aa14b59ba9e14140bf158f3c4ebef9fa5">SVF::MemObj::getNumOfElements</a></div><div class="ttdeci">u32_t getNumOfElements() const</div><div class="ttdoc">Get the number of elements of this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
643
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_af588c401d129de6ba9abc1819774e342"><div class="ttname"><a href="classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342">SVF::MemObj::MemObj</a></div><div class="ttdeci">MemObj(SymID id, ObjTypeInfo *ti, const SVFValue *val=nullptr)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
644
|
-
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a72be51342f633844f59c5a46b7e01583"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a72be51342f633844f59c5a46b7e01583">SVF::SymbolTableInfo::getValSym</a></div><div class="ttdeci">SymID getValSym(const SVFValue *val)</div><div class="ttdoc">Get different kinds of syms.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
637
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a132df66e2751e5db6b0ba82d767a3286"><div class="ttname"><a href="classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286">SVF::MemObj::isStruct</a></div><div class="ttdeci">bool isStruct() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00505">SymbolTableInfo.cpp:505</a></div></div>
|
|
638
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_aa14b59ba9e14140bf158f3c4ebef9fa5"><div class="ttname"><a href="classSVF_1_1MemObj.html#aa14b59ba9e14140bf158f3c4ebef9fa5">SVF::MemObj::getNumOfElements</a></div><div class="ttdeci">u32_t getNumOfElements() const</div><div class="ttdoc">Get the number of elements of this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00424">SymbolTableInfo.cpp:424</a></div></div>
|
|
639
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_af588c401d129de6ba9abc1819774e342"><div class="ttname"><a href="classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342">SVF::MemObj::MemObj</a></div><div class="ttdeci">MemObj(SymID id, ObjTypeInfo *ti, const SVFValue *val=nullptr)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00410">SymbolTableInfo.cpp:410</a></div></div>
|
|
640
|
+
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a72be51342f633844f59c5a46b7e01583"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a72be51342f633844f59c5a46b7e01583">SVF::SymbolTableInfo::getValSym</a></div><div class="ttdeci">SymID getValSym(const SVFValue *val)</div><div class="ttdoc">Get different kinds of syms.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00565">SymbolTableInfo.cpp:565</a></div></div>
|
|
645
641
|
<div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
|
|
646
642
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a1e24131ab0a212df00889e32e6ee04f9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a1e24131ab0a212df00889e32e6ee04f9">SVF::SymbolTableInfo::printFlattenFields</a></div><div class="ttdeci">void printFlattenFields(const SVFType *type)</div><div class="ttdoc">Debug method.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00237">SymbolTableInfo.cpp:237</a></div></div>
|
|
647
643
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a24df52313f8093bb651ae9da972cd663"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo::getFlattenedElemIdx</a></div><div class="ttdeci">u32_t getFlattenedElemIdx(const SVFType *T, u32_t origId)</div><div class="ttdoc">Flattened element idx of an array or struct by considering stride.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00181">SymbolTableInfo.cpp:181</a></div></div>
|
|
648
644
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a26c179394fbda9a9261d0bf3f52b619d"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d">SVF::ObjTypeInfo::isHeap</a></div><div class="ttdeci">bool isHeap()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00609">SymbolTableInfo.h:609</a></div></div>
|
|
649
645
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a41f916ab4e3a2c163fca636eae948ce7"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7">SVF::ObjTypeInfo::isConstantStruct</a></div><div class="ttdeci">bool isConstantStruct()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00622">SymbolTableInfo.h:622</a></div></div>
|
|
650
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a898c5bb3956402578266a6fb142e02b1"><div class="ttname"><a href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj::isHeap</a></div><div class="ttdeci">bool isHeap() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
646
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a898c5bb3956402578266a6fb142e02b1"><div class="ttname"><a href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj::isHeap</a></div><div class="ttdeci">bool isHeap() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00500">SymbolTableInfo.cpp:500</a></div></div>
|
|
651
647
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_aca1e900f9b0a774684af77666cf033e3"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3">SVF::ObjTypeInfo::isVarArray</a></div><div class="ttdeci">bool isVarArray()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00630">SymbolTableInfo.h:630</a></div></div>
|
|
652
648
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00480">SymbolTableInfo.h:480</a></div></div>
|
|
653
649
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a9329740d5db9212c69ed28ca6410559e"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a9329740d5db9212c69ed28ca6410559e">SVF::ObjTypeInfo::getNumOfElements</a></div><div class="ttdeci">u32_t getNumOfElements() const</div><div class="ttdoc">Get the number of elements of this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00555">SymbolTableInfo.h:555</a></div></div>
|
|
@@ -657,25 +653,25 @@ $(function() {
|
|
|
657
653
|
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00469">SVFType.h:469</a></div></div>
|
|
658
654
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a5dc699aa85fe879eb4b2c9109cf3030d"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo::getTypeInfo</a></div><div class="ttdeci">const StInfo * getTypeInfo(const SVFType *T) const</div><div class="ttdoc">Get struct info.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00056">SymbolTableInfo.cpp:56</a></div></div>
|
|
659
655
|
<div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
|
|
660
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a16dbca26cbb5af9be4a0b0aa04325810"><div class="ttname"><a href="classSVF_1_1MemObj.html#a16dbca26cbb5af9be4a0b0aa04325810">SVF::MemObj::getType</a></div><div class="ttdeci">const SVFType * getType() const</div><div class="ttdoc">Get obj type.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
656
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a16dbca26cbb5af9be4a0b0aa04325810"><div class="ttname"><a href="classSVF_1_1MemObj.html#a16dbca26cbb5af9be4a0b0aa04325810">SVF::MemObj::getType</a></div><div class="ttdeci">const SVFType * getType() const</div><div class="ttdoc">Get obj type.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00449">SymbolTableInfo.cpp:449</a></div></div>
|
|
661
657
|
<div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
|
|
662
658
|
<div class="ttc" id="aclassSVF_1_1StInfo_html"><div class="ttname"><a href="classSVF_1_1StInfo.html">SVF::StInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00132">SVFType.h:132</a></div></div>
|
|
663
659
|
<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00436">SVFType.h:436</a></div></div>
|
|
664
660
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_aff6341f4e2a79b3c999ec955e48555c9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#aff6341f4e2a79b3c999ec955e48555c9">SVF::SymbolTableInfo::svfTypes</a></div><div class="ttdeci">SVFTypeSet svfTypes</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00370">SymbolTableInfo.h:370</a></div></div>
|
|
665
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_aef4ed89ab63d6af36e7f291171c150ac"><div class="ttname"><a href="classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac">SVF::MemObj::isNonPtrFieldObj</a></div><div class="ttdeci">bool isNonPtrFieldObj(const APOffset &apOffset) const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
666
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a40462512a99eb258d8cd442c38d812b4"><div class="ttname"><a href="classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4">SVF::MemObj::isGlobalObj</a></div><div class="ttdeci">bool isGlobalObj() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
661
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_aef4ed89ab63d6af36e7f291171c150ac"><div class="ttname"><a href="classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac">SVF::MemObj::isNonPtrFieldObj</a></div><div class="ttdeci">bool isNonPtrFieldObj(const APOffset &apOffset) const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00550">SymbolTableInfo.cpp:550</a></div></div>
|
|
662
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a40462512a99eb258d8cd442c38d812b4"><div class="ttname"><a href="classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4">SVF::MemObj::isGlobalObj</a></div><div class="ttdeci">bool isGlobalObj() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00485">SymbolTableInfo.cpp:485</a></div></div>
|
|
667
663
|
<div class="ttc" id="aclassSVF_1_1Options_html_a3914c0785473a773c7cb3da01229f2ee"><div class="ttname"><a href="classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee">SVF::Options::CyclicFldIdx</a></div><div class="ttdeci">static const Option< bool > CyclicFldIdx</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00220">Options.h:220</a></div></div>
|
|
668
664
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_ac1ee7a720959c0e97496870d6e759212"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212">SVF::ObjTypeInfo::isConstantArray</a></div><div class="ttdeci">bool isConstantArray()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00634">SymbolTableInfo.h:634</a></div></div>
|
|
669
665
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a9fff869c63776c6ebeff78933e0f6092"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">SVF::ObjTypeInfo::setMaxFieldOffsetLimit</a></div><div class="ttdeci">void setMaxFieldOffsetLimit(u32_t limit)</div><div class="ttdoc">Get max field offset limit.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00542">SymbolTableInfo.h:542</a></div></div>
|
|
670
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a7b890ca9e93b1c61cc6437b7e6a82a8c"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c">SVF::MemObj::isBlackHoleObj</a></div><div class="ttdeci">bool isBlackHoleObj() const</div><div class="ttdoc">Whether it is a black hole object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
671
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_ab993dcaf5bcc1d6144cd94bcb8e18c6d"><div class="ttname"><a href="classSVF_1_1MemObj.html#ab993dcaf5bcc1d6144cd94bcb8e18c6d">SVF::MemObj::getByteSizeOfObj</a></div><div class="ttdeci">u32_t getByteSizeOfObj() const</div><div class="ttdoc">Get the byte size of this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
666
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a7b890ca9e93b1c61cc6437b7e6a82a8c"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c">SVF::MemObj::isBlackHoleObj</a></div><div class="ttdeci">bool isBlackHoleObj() const</div><div class="ttdoc">Whether it is a black hole object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00418">SymbolTableInfo.cpp:418</a></div></div>
|
|
667
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_ab993dcaf5bcc1d6144cd94bcb8e18c6d"><div class="ttname"><a href="classSVF_1_1MemObj.html#ab993dcaf5bcc1d6144cd94bcb8e18c6d">SVF::MemObj::getByteSizeOfObj</a></div><div class="ttdeci">u32_t getByteSizeOfObj() const</div><div class="ttdoc">Get the byte size of this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00430">SymbolTableInfo.cpp:430</a></div></div>
|
|
672
668
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c">SVF::ObjTypeInfo::HEAP_OBJ</a></div><div class="ttdeci">@ HEAP_OBJ</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00493">SymbolTableInfo.h:493</a></div></div>
|
|
673
669
|
<div class="ttc" id="aSVFModule_8h_html"><div class="ttname"><a href="SVFModule_8h.html">SVFModule.h</a></div></div>
|
|
674
670
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a8e6c60978df9828c1dcb54086e83edc1"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1">SVF::ObjTypeInfo::isConstDataOrConstGlobal</a></div><div class="ttdeci">bool isConstDataOrConstGlobal()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00642">SymbolTableInfo.h:642</a></div></div>
|
|
675
671
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_ad6fb2bfae3d4b73a6821a87106f65f49"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ad6fb2bfae3d4b73a6821a87106f65f49">SVF::ObjTypeInfo::setFlag</a></div><div class="ttdeci">void setFlag(MEMTYPE mask)</div><div class="ttdoc">Flag for this object type.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00581">SymbolTableInfo.h:581</a></div></div>
|
|
676
672
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
|
|
677
673
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_aaf05447c20c9f90eea64ab6e88d6ab05"><div class="ttname"><a href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">SVF::StInfo::getFlattenedFieldIdxVec</a></div><div class="ttdeci">std::vector< u32_t > & getFlattenedFieldIdxVec()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00180">SVFType.h:180</a></div></div>
|
|
678
|
-
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a7d3001549966444622d5918e5811e89e"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e">SVF::SymbolTableInfo::toString</a></div><div class="ttdeci">static std::string toString(SYMTYPE symtype)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
674
|
+
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a7d3001549966444622d5918e5811e89e"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e">SVF::SymbolTableInfo::toString</a></div><div class="ttdeci">static std::string toString(SYMTYPE symtype)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00283">SymbolTableInfo.cpp:283</a></div></div>
|
|
679
675
|
<div class="ttc" id="aclassSVF_1_1MemObj_html_a2f70e9c830b18f25c56b530722f106c4"><div class="ttname"><a href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">SVF::MemObj::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdoc">Get the reference value to this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00406">SymbolTableInfo.h:406</a></div></div>
|
|
680
676
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_ae39b1a2330b157312727a560fddbd0dc"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#ae39b1a2330b157312727a560fddbd0dc">SVF::SymbolTableInfo::createDummyObj</a></div><div class="ttdeci">const MemObj * createDummyObj(SymID symId, const SVFType *type)</div><div class="ttdoc">Can only be invoked by SVFIR::addDummyNode() when creating SVFIR from file.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00163">SymbolTableInfo.cpp:163</a></div></div>
|
|
681
677
|
<div class="ttc" id="aclassSVF_1_1Options_html_a429c3000ee2ac45119b8c241aa06762c"><div class="ttname"><a href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">SVF::Options::ModelArrays</a></div><div class="ttdeci">static const Option< bool > ModelArrays</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00219">Options.h:219</a></div></div>
|
|
@@ -686,54 +682,54 @@ $(function() {
|
|
|
686
682
|
<div class="ttc" id="acJSON_8cpp_html_a95bf816579e97b6f33bdb5e25ed6d5de"><div class="ttname"><a href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a></div><div class="ttdeci">buffer offset</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01113">cJSON.cpp:1113</a></div></div>
|
|
687
683
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_ac0a9f85f90524abfd519d3cd2ac95a56"><div class="ttname"><a href="classSVF_1_1StInfo.html#ac0a9f85f90524abfd519d3cd2ac95a56">SVF::StInfo::getFlattenFieldTypes</a></div><div class="ttdeci">std::vector< const SVFType * > & getFlattenFieldTypes()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00192">SVFType.h:192</a></div></div>
|
|
688
684
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a806ae865d29c4b05b69c499284758c6f"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a806ae865d29c4b05b69c499284758c6f">SVF::SymbolTableInfo::getFlatternedElemType</a></div><div class="ttdeci">const SVFType * getFlatternedElemType(const SVFType *baseType, u32_t flatten_idx)</div><div class="ttdoc">Return the type of a flattened element given a flattened index.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00212">SymbolTableInfo.cpp:212</a></div></div>
|
|
689
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_af7316c697eafc71d5fc93108da4e2cee"><div class="ttname"><a href="classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee">SVF::MemObj::isStack</a></div><div class="ttdeci">bool isStack() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
690
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a37b75ada7d18139ac2f2add6c232ea68"><div class="ttname"><a href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68">SVF::MemObj::isConstDataOrAggData</a></div><div class="ttdeci">bool isConstDataOrAggData() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
685
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_af7316c697eafc71d5fc93108da4e2cee"><div class="ttname"><a href="classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee">SVF::MemObj::isStack</a></div><div class="ttdeci">bool isStack() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00495">SymbolTableInfo.cpp:495</a></div></div>
|
|
686
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a37b75ada7d18139ac2f2add6c232ea68"><div class="ttname"><a href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68">SVF::MemObj::isConstDataOrAggData</a></div><div class="ttdeci">bool isConstDataOrAggData() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00540">SymbolTableInfo.cpp:540</a></div></div>
|
|
691
687
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_afd2cf6ef6d7f2a583c709a72067be89b"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89b">SVF::SymbolTableInfo::SYMTYPE</a></div><div class="ttdeci">SYMTYPE</div><div class="ttdoc">Symbol types.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00056">SymbolTableInfo.h:56</a></div></div>
|
|
692
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a6dae1b3429c6049f0153ec006d329082"><div class="ttname"><a href="classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082">SVF::MemObj::hasPtrObj</a></div><div class="ttdeci">bool hasPtrObj() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
688
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a6dae1b3429c6049f0153ec006d329082"><div class="ttname"><a href="classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082">SVF::MemObj::hasPtrObj</a></div><div class="ttdeci">bool hasPtrObj() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00545">SymbolTableInfo.cpp:545</a></div></div>
|
|
693
689
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a3594dc1c1943dbac0ab72f2ff163c523"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523">SVF::ObjTypeInfo::isStaticObj</a></div><div class="ttdeci">bool isStaticObj()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00601">SymbolTableInfo.h:601</a></div></div>
|
|
694
690
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a1689fa03795200b501ae3887906e7e72"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72">SVF::SymbolTableInfo::blkPtrSymID</a></div><div class="ttdeci">SymID blkPtrSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00183">SymbolTableInfo.h:183</a></div></div>
|
|
695
691
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a4bf84ef15f3b4cc865ac64ca0aae84e7"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a4bf84ef15f3b4cc865ac64ca0aae84e7">SVF::SymbolTableInfo::getOriginalElemType</a></div><div class="ttdeci">const SVFType * getOriginalElemType(const SVFType *baseType, u32_t origId) const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00206">SymbolTableInfo.cpp:206</a></div></div>
|
|
696
692
|
<div class="ttc" id="aclassSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00387">SymbolTableInfo.h:387</a></div></div>
|
|
697
693
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
|
|
698
694
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00047">SymbolTableInfo.h:47</a></div></div>
|
|
699
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_ab9637ea9acd1f8ae4933b4ab2b997e5c"><div class="ttname"><a href="classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c">SVF::MemObj::setFieldInsensitive</a></div><div class="ttdeci">void setFieldInsensitive()</div><div class="ttdoc">Set the memory object to be field insensitive.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
700
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a7f828731597450f1d43b61413ab0e7bb"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj::isConstantArray</a></div><div class="ttdeci">bool isConstantArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
695
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_ab9637ea9acd1f8ae4933b4ab2b997e5c"><div class="ttname"><a href="classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c">SVF::MemObj::setFieldInsensitive</a></div><div class="ttdeci">void setFieldInsensitive()</div><div class="ttdoc">Set the memory object to be field insensitive.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00475">SymbolTableInfo.cpp:475</a></div></div>
|
|
696
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a7f828731597450f1d43b61413ab0e7bb"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj::isConstantArray</a></div><div class="ttdeci">bool isConstantArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00530">SymbolTableInfo.cpp:530</a></div></div>
|
|
701
697
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_ac99fa14fdf7bc0dd3e9ff36c7a3a351f"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f">SVF::ObjTypeInfo::isFunction</a></div><div class="ttdeci">bool isFunction()</div><div class="ttdoc">Object attributes.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00593">SymbolTableInfo.h:593</a></div></div>
|
|
702
698
|
<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00058">SVFType.h:58</a></div></div>
|
|
703
699
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_aaffd94b311238f183031a525376c55a2"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aaffd94b311238f183031a525376c55a2">SVF::ObjTypeInfo::getType</a></div><div class="ttdeci">const SVFType * getType() const</div><div class="ttdoc">Get LLVM type.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00530">SymbolTableInfo.h:530</a></div></div>
|
|
704
|
-
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#
|
|
700
|
+
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01354">LLVMUtil.cpp:1354</a></div></div>
|
|
705
701
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9">SVF::ObjTypeInfo::HASPTR_OBJ</a></div><div class="ttdeci">@ HASPTR_OBJ</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00500">SymbolTableInfo.h:500</a></div></div>
|
|
706
702
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a87cc3289dd69e5378487dd9ae2c9e82e"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a87cc3289dd69e5378487dd9ae2c9e82e">SVF::SymbolTableInfo::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Clean up memory.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00143">SymbolTableInfo.cpp:143</a></div></div>
|
|
707
703
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_aff17d13e520a731accedd06350af6221"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221">SVF::ObjTypeInfo::setNumOfElements</a></div><div class="ttdeci">void setNumOfElements(u32_t num)</div><div class="ttdoc">Set the number of elements of this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00548">SymbolTableInfo.h:548</a></div></div>
|
|
708
704
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a1f65ce2d46190ef85a572a2471d3586b"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a1f65ce2d46190ef85a572a2471d3586b">SVF::SymbolTableInfo::getFlattenFieldTypes</a></div><div class="ttdeci">const std::vector< const SVFType * > & getFlattenFieldTypes(const SVFStructType *T)</div><div class="ttdoc">Return the flattened field type for struct type only.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00229">SymbolTableInfo.cpp:229</a></div></div>
|
|
709
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a614b26f4a3db926055a576b13842c1d7"><div class="ttname"><a href="classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7">SVF::MemObj::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
705
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a614b26f4a3db926055a576b13842c1d7"><div class="ttname"><a href="classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7">SVF::MemObj::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00555">SymbolTableInfo.cpp:555</a></div></div>
|
|
710
706
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html_acb5d0311477899abb4c222cd44376c73"><div class="ttname"><a href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">SVF::SVFValue::isblackHole</a></div><div class="ttdeci">bool isblackHole() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00268">SVFValue.h:268</a></div></div>
|
|
711
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_ae1d14e2bf0be36cdadebf119822f607b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b">SVF::MemObj::isFunction</a></div><div class="ttdeci">bool isFunction() const</div><div class="ttdoc">object attributes methods</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
707
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_ae1d14e2bf0be36cdadebf119822f607b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b">SVF::MemObj::isFunction</a></div><div class="ttdeci">bool isFunction() const</div><div class="ttdoc">object attributes methods</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00480">SymbolTableInfo.cpp:480</a></div></div>
|
|
712
708
|
<div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option< u32_t > MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
|
|
713
709
|
<div class="ttc" id="aclassSVF_1_1Options_html_a18dd95e01a50aa82165c46a3801053c5"><div class="ttname"><a href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">SVF::Options::ModelConsts</a></div><div class="ttdeci">static const Option< bool > ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00218">Options.h:218</a></div></div>
|
|
714
710
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00328">SVFType.h:328</a></div></div>
|
|
715
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a51be7ad70bc2c6a4230bd2f6b86bdc88"><div class="ttname"><a href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">SVF::MemObj::getMaxFieldOffsetLimit</a></div><div class="ttdeci">u32_t getMaxFieldOffsetLimit() const</div><div class="ttdoc">Get max field offset limit.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
716
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a904c5a96407574565e9c48eb2d31e869"><div class="ttname"><a href="classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869">SVF::MemObj::setNumOfElements</a></div><div class="ttdeci">void setNumOfElements(u32_t num)</div><div class="ttdoc">Set the number of elements of this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
717
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_aeba6eeed4843a1a90cf1d4b7deb197af"><div class="ttname"><a href="classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af">SVF::MemObj::isArray</a></div><div class="ttdeci">bool isArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
711
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a51be7ad70bc2c6a4230bd2f6b86bdc88"><div class="ttname"><a href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">SVF::MemObj::getMaxFieldOffsetLimit</a></div><div class="ttdeci">u32_t getMaxFieldOffsetLimit() const</div><div class="ttdoc">Get max field offset limit.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00463">SymbolTableInfo.cpp:463</a></div></div>
|
|
712
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a904c5a96407574565e9c48eb2d31e869"><div class="ttname"><a href="classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869">SVF::MemObj::setNumOfElements</a></div><div class="ttdeci">void setNumOfElements(u32_t num)</div><div class="ttdoc">Set the number of elements of this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00443">SymbolTableInfo.cpp:443</a></div></div>
|
|
713
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_aeba6eeed4843a1a90cf1d4b7deb197af"><div class="ttname"><a href="classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af">SVF::MemObj::isArray</a></div><div class="ttdeci">bool isArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00510">SymbolTableInfo.cpp:510</a></div></div>
|
|
718
714
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a4fbb8ea4b4796d10d13c027b7455505c"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo::symInfo</a></div><div class="ttdeci">static SymbolTableInfo * symInfo</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00089">SymbolTableInfo.h:89</a></div></div>
|
|
719
715
|
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00509">SVFType.h:509</a></div></div>
|
|
720
716
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a055697f565cb9d73b41110090fe50159"><div class="ttname"><a href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">SVF::StInfo::getOriginalElemType</a></div><div class="ttdeci">const SVFType * getOriginalElemType(u32_t fldIdx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00026">SVFValue.cpp:26</a></div></div>
|
|
721
717
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a5054f95a7b77257ffb283044aab17b08"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">SVF::SymbolTableInfo::valSymMap</a></div><div class="ttdeci">ValueToIDMapTy valSymMap</div><div class="ttdoc">map a value to its sym id</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00082">SymbolTableInfo.h:82</a></div></div>
|
|
722
718
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a3620a491a32ff0af93f0d92f55911498"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">SVF::ObjTypeInfo::type</a></div><div class="ttdeci">const SVFType * type</div><div class="ttdoc">SVF type.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00505">SymbolTableInfo.h:505</a></div></div>
|
|
723
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a954eba54eda95e6735eb1d32bd8a276e"><div class="ttname"><a href="classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e">SVF::MemObj::isStaticObj</a></div><div class="ttdeci">bool isStaticObj() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
719
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a954eba54eda95e6735eb1d32bd8a276e"><div class="ttname"><a href="classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e">SVF::MemObj::isStaticObj</a></div><div class="ttdeci">bool isStaticObj() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00490">SymbolTableInfo.cpp:490</a></div></div>
|
|
724
720
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a0627e8b9dda2e13cc77c334eefab21e1"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1">SVF::ObjTypeInfo::isArray</a></div><div class="ttdeci">bool isArray()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00638">SymbolTableInfo.h:638</a></div></div>
|
|
725
721
|
<div class="ttc" id="aSymbolTableInfo_8h_html"><div class="ttname"><a href="SymbolTableInfo_8h.html">SymbolTableInfo.h</a></div></div>
|
|
726
722
|
<div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
|
|
727
723
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a6cc6751c847c667d4fc3052a30195e14"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a6cc6751c847c667d4fc3052a30195e14">SVF::ObjTypeInfo::isConstDataOrAggData</a></div><div class="ttdeci">bool isConstDataOrAggData()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00646">SymbolTableInfo.h:646</a></div></div>
|
|
728
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a1e6ff4c2b04b07c5f71e5e7a6a0d7735"><div class="ttname"><a href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">SVF::MemObj::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Clean up memory.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
724
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a1e6ff4c2b04b07c5f71e5e7a6a0d7735"><div class="ttname"><a href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">SVF::MemObj::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Clean up memory.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00456">SymbolTableInfo.cpp:456</a></div></div>
|
|
729
725
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_ae6f8a4dbe09ff4756983ffdbed6d0681"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681">SVF::SymbolTableInfo::returnSymMap</a></div><div class="ttdeci">FunToIDMapTy returnSymMap</div><div class="ttdoc">return map</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00084">SymbolTableInfo.h:84</a></div></div>
|
|
730
726
|
<div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
731
727
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a55e5fd85f232c1867c5c6a73646d53eb"><div class="ttname"><a href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">SVF::StInfo::getFlattenedElemIdxVec</a></div><div class="ttdeci">std::vector< u32_t > & getFlattenedElemIdxVec()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00184">SVFType.h:184</a></div></div>
|
|
732
|
-
<div class="ttc" id="aclassSVF_1_1MemObj_html_a019a77516c403f1f3cc72917b810a41f"><div class="ttname"><a href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">SVF::MemObj::isConstantStruct</a></div><div class="ttdeci">bool isConstantStruct() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
728
|
+
<div class="ttc" id="aclassSVF_1_1MemObj_html_a019a77516c403f1f3cc72917b810a41f"><div class="ttname"><a href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">SVF::MemObj::isConstantStruct</a></div><div class="ttdeci">bool isConstantStruct() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00525">SymbolTableInfo.cpp:525</a></div></div>
|
|
733
729
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a811a3489df0f793c7a5482d31d470a4c"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c">SVF::SymbolTableInfo::getNumOfFlattenElements</a></div><div class="ttdeci">u32_t getNumOfFlattenElements(const SVFType *T)</div><div class="ttdoc">Number of flattened elements of an array or struct.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00172">SymbolTableInfo.cpp:172</a></div></div>
|
|
734
730
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a4decfc9e7f5dc096d7bfa42d6965763d"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d">SVF::SymbolTableInfo::setModelConstants</a></div><div class="ttdeci">void setModelConstants(bool _modelConstants)</div><div class="ttdoc">Set / Get modelConstants.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00130">SymbolTableInfo.h:130</a></div></div>
|
|
735
731
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab2e0196e0ce547ab4a483cc6d2646b24"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24">SVF::SVFUtil::writeWrnMsg</a></div><div class="ttdeci">void writeWrnMsg(const std::string &msg)</div><div class="ttdoc">Writes a message run through wrnMsg.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00066">SVFUtil.cpp:66</a></div></div>
|
|
736
|
-
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_af5e91f2ace726b1f05b045681d2bd117"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117">SVF::SymbolTableInfo::hasValSym</a></div><div class="ttdeci">bool hasValSym(const SVFValue *val)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
732
|
+
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_af5e91f2ace726b1f05b045681d2bd117"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117">SVF::SymbolTableInfo::hasValSym</a></div><div class="ttdeci">bool hasValSym(const SVFValue *val)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00580">SymbolTableInfo.cpp:580</a></div></div>
|
|
737
733
|
<div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a81bc3d785062c7e527ecf8e564cd52a4"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">SVF::ObjTypeInfo::getMaxFieldOffsetLimit</a></div><div class="ttdeci">u32_t getMaxFieldOffsetLimit()</div><div class="ttdoc">Get max field offset limit.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00536">SymbolTableInfo.h:536</a></div></div>
|
|
738
734
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_aff272bc1d00f2e57b7677d1826a31237"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237">SVF::SymbolTableInfo::SymbolTableInfo</a></div><div class="ttdeci">SymbolTableInfo(void)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00105">SymbolTableInfo.h:105</a></div></div>
|
|
739
735
|
<!-- start footer part -->
|