svf-tools 1.0.829 → 1.0.830
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 +225 -224
- package/SVF-doxygen/html/AccessPath_8h_source.html +11 -11
- package/SVF-doxygen/html/AndersenSFR_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
- package/SVF-doxygen/html/BasicTypes_8h.html +2 -0
- package/SVF-doxygen/html/BasicTypes_8h_source.html +123 -121
- 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 +11 -11
- 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 +12 -12
- package/SVF-doxygen/html/DCHG_8h_source.html +5 -5
- 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/ICFGBuilder_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 +145 -144
- package/SVF-doxygen/html/LLVMModule_8h_source.html +3 -3
- package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +1138 -1066
- package/SVF-doxygen/html/LLVMUtil_8h.html +2 -0
- package/SVF-doxygen/html/LLVMUtil_8h_source.html +419 -414
- package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAAnnotator_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 +363 -362
- package/SVF-doxygen/html/PointerAnalysis_8h_source.html +13 -13
- package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +7 -7
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +11 -10
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +927 -924
- package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +35 -34
- package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +2 -2
- 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 -37
- 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 +653 -651
- package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +17 -17
- package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +339 -338
- 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-members.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +236 -235
- 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 +11 -11
- 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 +12 -12
- 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_1ICFGBuilder.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 +141 -140
- 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_1MTAAnnotator.html +1 -1
- 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 +29 -29
- 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 +342 -341
- 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 +6 -6
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +11 -10
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +868 -864
- 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 +3 -2
- 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 +634 -631
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +125 -124
- 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/functions_func_g.html +10 -10
- package/SVF-doxygen/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/functions_g.html +6 -6
- package/SVF-doxygen/html/functions_r.html +2 -2
- package/SVF-doxygen/html/functions_s.html +5 -5
- package/SVF-doxygen/html/functions_t.html +7 -7
- package/SVF-doxygen/html/functions_v.html +3 -1
- package/SVF-doxygen/html/functions_w.html +8 -8
- package/SVF-doxygen/html/namespaceSVF.html +43 -25
- package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1233 -1138
- package/SVF-doxygen/html/namespacemembers_func_g.html +6 -3
- package/SVF-doxygen/html/namespacemembers_g.html +10 -4
- package/SVF-doxygen/html/namespacemembers_type_g.html +3 -0
- 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 +895 -893
- 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 +857 -856
- 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 -55
- 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/include/MemoryModel/AccessPath.h +2 -2
- package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +2 -2
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +4 -4
- package/svf/lib/MemoryModel/AccessPath.cpp +6 -5
- package/svf/lib/MemoryModel/PointerAnalysis.cpp +1 -0
- package/svf/lib/SVFIR/SVFType.cpp +1 -0
- package/svf/lib/SVFIR/SymbolTableInfo.cpp +1 -0
- package/svf-llvm/include/SVF-LLVM/BasicTypes.h +1 -0
- package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +6 -0
- package/svf-llvm/lib/LLVMModule.cpp +1 -0
- package/svf-llvm/lib/LLVMUtil.cpp +70 -0
- package/svf-llvm/lib/SVFIRBuilder.cpp +3 -1
- package/svf-llvm/lib/SymbolTableBuilder.cpp +4 -1
|
@@ -299,354 +299,355 @@ $(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>  <a class="code" href="
|
|
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>  << <span class="stringliteral">"\n"</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> 
|
|
310
|
-
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span> 
|
|
311
|
-
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span> 
|
|
312
|
-
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span> 
|
|
313
|
-
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span> 
|
|
314
|
-
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span> 
|
|
315
|
-
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span> 
|
|
316
|
-
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span> 
|
|
317
|
-
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span> 
|
|
318
|
-
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span> 
|
|
319
|
-
<div class="line"><a name="
|
|
320
|
-
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  <a class="code" href="
|
|
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>  << <span class="stringliteral">"\n"</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> }</div>
|
|
325
|
-
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span> 
|
|
326
|
-
<div class="line"><a name="l00286"></a><span class="lineno"
|
|
327
|
-
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span> 
|
|
328
|
-
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span> 
|
|
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> 
|
|
332
|
-
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span> 
|
|
333
|
-
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span> 
|
|
334
|
-
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span> 
|
|
335
|
-
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span> 
|
|
336
|
-
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span> 
|
|
337
|
-
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span> 
|
|
338
|
-
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span> 
|
|
339
|
-
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span> 
|
|
340
|
-
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span> 
|
|
341
|
-
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span> 
|
|
342
|
-
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span> 
|
|
343
|
-
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span> 
|
|
344
|
-
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span> 
|
|
345
|
-
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span> 
|
|
346
|
-
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span> 
|
|
347
|
-
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span> 
|
|
348
|
-
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span> 
|
|
349
|
-
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span> 
|
|
350
|
-
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span> 
|
|
351
|
-
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span> 
|
|
352
|
-
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span> 
|
|
353
|
-
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span> 
|
|
354
|
-
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span> 
|
|
355
|
-
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span> 
|
|
356
|
-
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span> 
|
|
357
|
-
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span> 
|
|
358
|
-
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span> 
|
|
359
|
-
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span> 
|
|
360
|
-
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span> 
|
|
361
|
-
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span> 
|
|
362
|
-
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span> 
|
|
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> 
|
|
302
|
+
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <span class="comment">// TODO: getPtrElementType to be removed</span></div>
|
|
303
|
+
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> eSize = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c">getNumOfFlattenElements</a>(pt->getPtrElementType());</div>
|
|
304
|
+
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <span class="stringliteral">" {Type: "</span> << *pt << <span class="stringliteral">"}\n"</span></div>
|
|
305
|
+
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  << <span class="stringliteral">"\t [target size = "</span> << eSize << <span class="stringliteral">"]\n"</span></div>
|
|
306
|
+
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  << <span class="stringliteral">"\n"</span>;</div>
|
|
307
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  }</div>
|
|
308
|
+
<div class="line"><a name="l00267"></a><span class="lineno"> 267</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>
|
|
309
|
+
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  SVFUtil::dyn_cast<SVFFunctionType>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
|
|
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> << *fu << <span class="stringliteral">"}\n\n"</span>;</div>
|
|
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> <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>
|
|
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="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <span class="stringliteral">" {Type: "</span><< *ot << <span class="stringliteral">"(SVFOtherType)}\n\n"</span>;</div>
|
|
316
|
+
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  }</div>
|
|
317
|
+
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  <span class="keywordflow">else</span></div>
|
|
318
|
+
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  {</div>
|
|
319
|
+
<div class="line"><a name="l00278"></a><span class="lineno"> 278</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>
|
|
320
|
+
<div class="line"><a name="l00280"></a><span class="lineno"> 280</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>
|
|
321
|
+
<div class="line"><a name="l00281"></a><span class="lineno"> 281</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>
|
|
322
|
+
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  << <span class="stringliteral">"\t [object size = "</span> << eSize << <span class="stringliteral">"]\n"</span></div>
|
|
323
|
+
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  << <span class="stringliteral">"\n"</span>;</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> }</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"><a class="line" href="classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e"> 287</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>
|
|
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">switch</span> (symtype)</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::BlackHole:</div>
|
|
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">"BlackHole"</span>;</div>
|
|
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::ConstantObj:</div>
|
|
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">"ConstantObj"</span>;</div>
|
|
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::BlkPtr:</div>
|
|
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">"BlkPtr"</span>;</div>
|
|
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::NullPtr:</div>
|
|
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">"NullPtr"</span>;</div>
|
|
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::ValSymbol:</div>
|
|
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">"ValSym"</span>;</div>
|
|
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::ObjSymbol:</div>
|
|
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">"ObjSym"</span>;</div>
|
|
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::RetSymbol:</div>
|
|
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">"RetSym"</span>;</div>
|
|
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">case</span> SYMTYPE::VarargSymbol:</div>
|
|
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">"VarargSym"</span>;</div>
|
|
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>  <span class="keywordflow">default</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>  <span class="keywordflow">return</span> <span class="stringliteral">"Invalid SYMTYPE"</span>;</div>
|
|
366
366
|
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  }</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> 
|
|
369
|
-
<div class="line"><a name="l00329"></a><span class="lineno"
|
|
370
|
-
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span> 
|
|
371
|
-
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span> 
|
|
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="l00365"></a><span class="lineno"> 365</span> 
|
|
406
|
-
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span> }
|
|
407
|
-
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span> 
|
|
408
|
-
<div class="line"><a name="
|
|
409
|
-
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span> 
|
|
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>  </div>
|
|
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>  </div>
|
|
415
|
-
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span> 
|
|
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>  </div>
|
|
423
|
-
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span> 
|
|
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> 
|
|
430
|
-
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  <span class="
|
|
431
|
-
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span> 
|
|
432
|
-
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span> 
|
|
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="l00398"></a><span class="lineno"> 398</span> 
|
|
436
|
-
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span> }</div>
|
|
437
|
-
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span> 
|
|
438
|
-
<div class="line"><a name="
|
|
439
|
-
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span> 
|
|
440
|
-
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span> 
|
|
441
|
-
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span> 
|
|
442
|
-
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span> 
|
|
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> }</div>
|
|
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"><a class="line" href="classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9"> 330</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9">SymbolTableInfo::dump</a>()</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>  <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap<SymID, SVFValue*></a> idmap;</div>
|
|
373
|
+
<div class="line"><a name="l00333"></a><span class="lineno"> 333</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>
|
|
374
|
+
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  ++iter)</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="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter->second;</div>
|
|
377
|
+
<div class="line"><a name="l00337"></a><span class="lineno"> 337</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>
|
|
378
|
+
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  idmap[i] = val;</div>
|
|
379
|
+
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  }</div>
|
|
380
|
+
<div class="line"><a name="l00340"></a><span class="lineno"> 340</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>
|
|
381
|
+
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  ++iter)</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="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter->second;</div>
|
|
384
|
+
<div class="line"><a name="l00344"></a><span class="lineno"> 344</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>
|
|
385
|
+
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  idmap[i] = val;</div>
|
|
386
|
+
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  }</div>
|
|
387
|
+
<div class="line"><a name="l00347"></a><span class="lineno"> 347</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>
|
|
388
|
+
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  ++iter)</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="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter->second;</div>
|
|
391
|
+
<div class="line"><a name="l00351"></a><span class="lineno"> 351</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>
|
|
392
|
+
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  idmap[i] = val;</div>
|
|
393
|
+
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  }</div>
|
|
394
|
+
<div class="line"><a name="l00354"></a><span class="lineno"> 354</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>
|
|
395
|
+
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  ++iter)</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>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter->second;</div>
|
|
398
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</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>
|
|
399
|
+
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  idmap[i] = val;</div>
|
|
400
|
+
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  }</div>
|
|
401
|
+
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <span class="stringliteral">"{SymbolTableInfo \n"</span>;</div>
|
|
402
|
+
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> iter : idmap)</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>  <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>
|
|
405
|
+
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  }</div>
|
|
406
|
+
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <span class="stringliteral">"}\n"</span>;</div>
|
|
407
|
+
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span> }</div>
|
|
408
|
+
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  </div>
|
|
409
|
+
<div class="line"><a name="l00372"></a><span class="lineno"><a class="line" href="classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72"> 372</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>
|
|
410
|
+
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span> {</div>
|
|
411
|
+
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>() == <span class="keyword">false</span>)</div>
|
|
412
|
+
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</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>  <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>
|
|
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>  <span class="keywordflow">if</span> (SVFUtil::isa<SVFStructType, SVFArrayType>(ety))</div>
|
|
417
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  {</div>
|
|
418
|
+
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> sz = 0;</div>
|
|
419
|
+
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">Options::ModelArrays</a>())</div>
|
|
420
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</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>
|
|
421
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  <span class="keywordflow">else</span></div>
|
|
422
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</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>
|
|
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>  <span class="keywordflow">if</span>(sz <= (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>) apOffset)</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>  <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>
|
|
427
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  <span class="keywordflow">return</span> <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>  </div>
|
|
430
|
+
<div class="line"><a name="l00393"></a><span class="lineno"> 393</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>
|
|
431
|
+
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  <span class="keywordflow">return</span> (elemTy-><a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() == <span class="keyword">false</span>);</div>
|
|
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>  <span class="keywordflow">else</span></div>
|
|
434
|
+
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  {</div>
|
|
435
|
+
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>() == <span class="keyword">false</span>);</div>
|
|
436
|
+
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  }</div>
|
|
437
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span> }</div>
|
|
438
|
+
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  </div>
|
|
439
|
+
<div class="line"><a name="l00405"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca"> 405</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca">MemObj::setFieldSensitive</a>()</div>
|
|
440
|
+
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span> {</div>
|
|
441
|
+
<div class="line"><a name="l00407"></a><span class="lineno"> 407</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>
|
|
442
|
+
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span> }</div>
|
|
443
443
|
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  </div>
|
|
444
|
-
<div class="line"><a name="
|
|
445
|
-
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span> 
|
|
446
|
-
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span> 
|
|
447
|
-
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span> 
|
|
448
|
-
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span> 
|
|
449
|
-
<div class="line"><a name="
|
|
450
|
-
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span> <span class="
|
|
451
|
-
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span> 
|
|
452
|
-
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span> 
|
|
453
|
-
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span> 
|
|
454
|
-
<div class="line"><a name="
|
|
455
|
-
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span> <span class="keyword"
|
|
456
|
-
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span> 
|
|
457
|
-
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span> 
|
|
458
|
-
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span> 
|
|
459
|
-
<div class="line"><a name="
|
|
460
|
-
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span> <span class="keyword"
|
|
461
|
-
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span> 
|
|
462
|
-
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span> 
|
|
463
|
-
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span> 
|
|
464
|
-
<div class="line"><a name="
|
|
465
|
-
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span> <span class="
|
|
466
|
-
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span> 
|
|
467
|
-
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span> 
|
|
468
|
-
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span> 
|
|
444
|
+
<div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  </div>
|
|
445
|
+
<div class="line"><a name="l00414"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342"> 414</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>
|
|
446
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  typeInfo(ti), refVal(val), symId(id)</div>
|
|
447
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span> {</div>
|
|
448
|
+
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span> }</div>
|
|
449
|
+
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  </div>
|
|
450
|
+
<div class="line"><a name="l00422"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c"> 422</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>
|
|
451
|
+
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span> <span class="keyword"></span>{</div>
|
|
452
|
+
<div class="line"><a name="l00424"></a><span class="lineno"> 424</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>
|
|
453
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span> }</div>
|
|
454
|
+
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  </div>
|
|
455
|
+
<div class="line"><a name="l00428"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#aa14b59ba9e14140bf158f3c4ebef9fa5"> 428</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>
|
|
456
|
+
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span> <span class="keyword"></span>{</div>
|
|
457
|
+
<div class="line"><a name="l00430"></a><span class="lineno"> 430</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>
|
|
458
|
+
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span> }</div>
|
|
459
|
+
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  </div>
|
|
460
|
+
<div class="line"><a name="l00434"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#ab993dcaf5bcc1d6144cd94bcb8e18c6d"> 434</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>
|
|
461
|
+
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span> <span class="keyword"></span>{</div>
|
|
462
|
+
<div class="line"><a name="l00436"></a><span class="lineno"> 436</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>
|
|
463
|
+
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span> }</div>
|
|
464
|
+
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  </div>
|
|
465
|
+
<div class="line"><a name="l00440"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#ae47fcecc6380a2d5f2fff469f607af1b"> 440</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>
|
|
466
|
+
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span> <span class="keyword"></span>{</div>
|
|
467
|
+
<div class="line"><a name="l00442"></a><span class="lineno"> 442</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>
|
|
468
|
+
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span> }</div>
|
|
469
469
|
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  </div>
|
|
470
|
-
<div class="line"><a name="
|
|
471
|
-
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span> 
|
|
472
|
-
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span> 
|
|
473
|
-
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span> 
|
|
474
|
-
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span> 
|
|
475
|
-
<div class="line"><a name="
|
|
476
|
-
<div class="line"><a name="l00453"></a><span class="lineno"> 453</span> <span class="keyword"
|
|
477
|
-
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span> 
|
|
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> <span class="comment"
|
|
481
|
-
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span> <span class="comment">
|
|
482
|
-
<div class="line"><a name="l00459"></a><span class="lineno"
|
|
483
|
-
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span> 
|
|
484
|
-
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span> 
|
|
485
|
-
<div class="line"><a name="l00462"></a><span class="lineno"> 462</span>  <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a
|
|
486
|
-
<div class="line"><a name="l00463"></a><span class="lineno"> 463</span> 
|
|
487
|
-
<div class="line"><a name="l00464"></a><span class="lineno"> 464</span> 
|
|
488
|
-
<div class="line"><a name="
|
|
489
|
-
<div class="line"><a name="l00467"></a><span class="lineno"> 467</span> <span class="keyword"
|
|
490
|
-
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span> 
|
|
491
|
-
<div class="line"><a name="l00469"></a><span class="lineno"> 469</span> 
|
|
492
|
-
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span> 
|
|
493
|
-
<div class="line"><a name="
|
|
494
|
-
<div class="line"><a name="l00473"></a><span class="lineno"> 473</span> <span class="
|
|
495
|
-
<div class="line"><a name="l00474"></a><span class="lineno"> 474</span> 
|
|
496
|
-
<div class="line"><a name="l00475"></a><span class="lineno"> 475</span> 
|
|
497
|
-
<div class="line"><a name="l00476"></a><span class="lineno"> 476</span> 
|
|
498
|
-
<div class="line"><a name="
|
|
499
|
-
<div class="line"><a name="l00479"></a><span class="lineno"> 479</span> 
|
|
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"
|
|
504
|
-
<div class="line"><a name="l00484"></a><span class="lineno"> 484</span> <span class="
|
|
505
|
-
<div class="line"><a name="l00485"></a><span class="lineno"> 485</span> 
|
|
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"
|
|
509
|
-
<div class="line"><a name="l00489"></a><span class="lineno"> 489</span> <span class="
|
|
510
|
-
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span> 
|
|
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"
|
|
514
|
-
<div class="line"><a name="l00494"></a><span class="lineno"> 494</span> <span class="
|
|
515
|
-
<div class="line"><a name="l00495"></a><span class="lineno"> 495</span> 
|
|
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"
|
|
519
|
-
<div class="line"><a name="l00499"></a><span class="lineno"> 499</span> <span class="
|
|
520
|
-
<div class="line"><a name="l00500"></a><span class="lineno"> 500</span> 
|
|
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"
|
|
524
|
-
<div class="line"><a name="l00504"></a><span class="lineno"> 504</span> <span class="
|
|
525
|
-
<div class="line"><a name="l00505"></a><span class="lineno"> 505</span> 
|
|
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"
|
|
529
|
-
<div class="line"><a name="l00509"></a><span class="lineno"> 509</span> <span class="
|
|
530
|
-
<div class="line"><a name="l00510"></a><span class="lineno"> 510</span> 
|
|
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"
|
|
534
|
-
<div class="line"><a name="l00514"></a><span class="lineno"> 514</span> <span class="
|
|
535
|
-
<div class="line"><a name="l00515"></a><span class="lineno"> 515</span> 
|
|
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"
|
|
539
|
-
<div class="line"><a name="l00519"></a><span class="lineno"> 519</span> <span class="
|
|
540
|
-
<div class="line"><a name="l00520"></a><span class="lineno"> 520</span> 
|
|
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"
|
|
544
|
-
<div class="line"><a name="l00524"></a><span class="lineno"> 524</span> <span class="
|
|
545
|
-
<div class="line"><a name="l00525"></a><span class="lineno"> 525</span> 
|
|
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"
|
|
549
|
-
<div class="line"><a name="l00529"></a><span class="lineno"> 529</span> <span class="
|
|
550
|
-
<div class="line"><a name="l00530"></a><span class="lineno"> 530</span> 
|
|
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"
|
|
554
|
-
<div class="line"><a name="l00534"></a><span class="lineno"> 534</span> <span class="
|
|
555
|
-
<div class="line"><a name="l00535"></a><span class="lineno"> 535</span> 
|
|
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"
|
|
559
|
-
<div class="line"><a name="l00539"></a><span class="lineno"> 539</span> <span class="
|
|
560
|
-
<div class="line"><a name="l00540"></a><span class="lineno"> 540</span> 
|
|
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"
|
|
564
|
-
<div class="line"><a name="l00544"></a><span class="lineno"> 544</span> <span class="
|
|
565
|
-
<div class="line"><a name="l00545"></a><span class="lineno"> 545</span> 
|
|
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"
|
|
569
|
-
<div class="line"><a name="l00549"></a><span class="lineno"> 549</span> <span class="
|
|
570
|
-
<div class="line"><a name="l00550"></a><span class="lineno"> 550</span> 
|
|
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"
|
|
574
|
-
<div class="line"><a name="l00554"></a><span class="lineno"> 554</span> <span class="keyword"
|
|
575
|
-
<div class="line"><a name="l00555"></a><span class="lineno"> 555</span> 
|
|
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"
|
|
579
|
-
<div class="line"><a name="l00559"></a><span class="lineno"> 559</span> <span class="keyword"
|
|
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>  std::
|
|
582
|
-
<div class="line"><a name="l00562"></a><span class="lineno"> 562</span>  rawstr
|
|
583
|
-
<div class="line"><a name="l00563"></a><span class="lineno"> 563</span>  <span class="
|
|
584
|
-
<div class="line"><a name="l00564"></a><span class="lineno"> 564</span> 
|
|
585
|
-
<div class="line"><a name="l00565"></a><span class="lineno"> 565</span> 
|
|
586
|
-
<div class="line"><a name="
|
|
587
|
-
<div class="line"><a name="l00568"></a><span class="lineno"
|
|
588
|
-
<div class="line"><a name="l00569"></a><span class="lineno"> 569</span> 
|
|
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> 
|
|
591
|
-
<div class="line"><a name="l00572"></a><span class="lineno"> 572</span> 
|
|
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> }</div>
|
|
601
|
-
<div class="line"><a name="l00582"></a><span class="lineno"> 582</span> 
|
|
602
|
-
<div class="line"><a name="l00583"></a><span class="lineno"
|
|
603
|
-
<div class="line"><a name="l00584"></a><span class="lineno"> 584</span> 
|
|
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> 
|
|
607
|
-
<div class="line"><a name="l00588"></a><span class="lineno"> 588</span> 
|
|
608
|
-
<div class="line"><a name="l00589"></a><span class="lineno"> 589</span> 
|
|
470
|
+
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  </div>
|
|
471
|
+
<div class="line"><a name="l00447"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869"> 447</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>
|
|
472
|
+
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span> {</div>
|
|
473
|
+
<div class="line"><a name="l00449"></a><span class="lineno"> 449</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>
|
|
474
|
+
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span> }</div>
|
|
475
|
+
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  </div>
|
|
476
|
+
<div class="line"><a name="l00453"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a16dbca26cbb5af9be4a0b0aa04325810"> 453</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>
|
|
477
|
+
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span> <span class="keyword"></span>{</div>
|
|
478
|
+
<div class="line"><a name="l00455"></a><span class="lineno"> 455</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>
|
|
479
|
+
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span> }</div>
|
|
480
|
+
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span> <span class="comment">/*</span></div>
|
|
481
|
+
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span> <span class="comment"> * Destroy the fields of the memory object</span></div>
|
|
482
|
+
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span> <span class="comment"> */</span></div>
|
|
483
|
+
<div class="line"><a name="l00460"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735"> 460</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">MemObj::destroy</a>()</div>
|
|
484
|
+
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span> {</div>
|
|
485
|
+
<div class="line"><a name="l00462"></a><span class="lineno"> 462</span>  <span class="keyword">delete</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>;</div>
|
|
486
|
+
<div class="line"><a name="l00463"></a><span class="lineno"> 463</span>  <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a> = <span class="keyword">nullptr</span>;</div>
|
|
487
|
+
<div class="line"><a name="l00464"></a><span class="lineno"> 464</span> }</div>
|
|
488
|
+
<div class="line"><a name="l00465"></a><span class="lineno"> 465</span>  </div>
|
|
489
|
+
<div class="line"><a name="l00467"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88"> 467</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>
|
|
490
|
+
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span> <span class="keyword"></span>{</div>
|
|
491
|
+
<div class="line"><a name="l00469"></a><span class="lineno"> 469</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>
|
|
492
|
+
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span> }</div>
|
|
493
|
+
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  </div>
|
|
494
|
+
<div class="line"><a name="l00473"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc"> 473</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>
|
|
495
|
+
<div class="line"><a name="l00474"></a><span class="lineno"> 474</span> <span class="keyword"></span>{</div>
|
|
496
|
+
<div class="line"><a name="l00475"></a><span class="lineno"> 475</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">getMaxFieldOffsetLimit</a>() == 0;</div>
|
|
497
|
+
<div class="line"><a name="l00476"></a><span class="lineno"> 476</span> }</div>
|
|
498
|
+
<div class="line"><a name="l00477"></a><span class="lineno"> 477</span>  </div>
|
|
499
|
+
<div class="line"><a name="l00479"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c"> 479</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c">MemObj::setFieldInsensitive</a>()</div>
|
|
500
|
+
<div class="line"><a name="l00480"></a><span class="lineno"> 480</span> {</div>
|
|
501
|
+
<div class="line"><a name="l00481"></a><span class="lineno"> 481</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>
|
|
502
|
+
<div class="line"><a name="l00482"></a><span class="lineno"> 482</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b"> 484</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>
|
|
505
|
+
<div class="line"><a name="l00485"></a><span class="lineno"> 485</span> <span class="keyword"></span>{</div>
|
|
506
|
+
<div class="line"><a name="l00486"></a><span class="lineno"> 486</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>
|
|
507
|
+
<div class="line"><a name="l00487"></a><span class="lineno"> 487</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4"> 489</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>
|
|
510
|
+
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span> <span class="keyword"></span>{</div>
|
|
511
|
+
<div class="line"><a name="l00491"></a><span class="lineno"> 491</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>
|
|
512
|
+
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e"> 494</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>
|
|
515
|
+
<div class="line"><a name="l00495"></a><span class="lineno"> 495</span> <span class="keyword"></span>{</div>
|
|
516
|
+
<div class="line"><a name="l00496"></a><span class="lineno"> 496</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>
|
|
517
|
+
<div class="line"><a name="l00497"></a><span class="lineno"> 497</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee"> 499</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>
|
|
520
|
+
<div class="line"><a name="l00500"></a><span class="lineno"> 500</span> <span class="keyword"></span>{</div>
|
|
521
|
+
<div class="line"><a name="l00501"></a><span class="lineno"> 501</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>
|
|
522
|
+
<div class="line"><a name="l00502"></a><span class="lineno"> 502</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1"> 504</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>
|
|
525
|
+
<div class="line"><a name="l00505"></a><span class="lineno"> 505</span> <span class="keyword"></span>{</div>
|
|
526
|
+
<div class="line"><a name="l00506"></a><span class="lineno"> 506</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>
|
|
527
|
+
<div class="line"><a name="l00507"></a><span class="lineno"> 507</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286"> 509</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>
|
|
530
|
+
<div class="line"><a name="l00510"></a><span class="lineno"> 510</span> <span class="keyword"></span>{</div>
|
|
531
|
+
<div class="line"><a name="l00511"></a><span class="lineno"> 511</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>
|
|
532
|
+
<div class="line"><a name="l00512"></a><span class="lineno"> 512</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af"> 514</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>
|
|
535
|
+
<div class="line"><a name="l00515"></a><span class="lineno"> 515</span> <span class="keyword"></span>{</div>
|
|
536
|
+
<div class="line"><a name="l00516"></a><span class="lineno"> 516</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>
|
|
537
|
+
<div class="line"><a name="l00517"></a><span class="lineno"> 517</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf"> 519</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>
|
|
540
|
+
<div class="line"><a name="l00520"></a><span class="lineno"> 520</span> <span class="keyword"></span>{</div>
|
|
541
|
+
<div class="line"><a name="l00521"></a><span class="lineno"> 521</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>
|
|
542
|
+
<div class="line"><a name="l00522"></a><span class="lineno"> 522</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6"> 524</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>
|
|
545
|
+
<div class="line"><a name="l00525"></a><span class="lineno"> 525</span> <span class="keyword"></span>{</div>
|
|
546
|
+
<div class="line"><a name="l00526"></a><span class="lineno"> 526</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>
|
|
547
|
+
<div class="line"><a name="l00527"></a><span class="lineno"> 527</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f"> 529</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>
|
|
550
|
+
<div class="line"><a name="l00530"></a><span class="lineno"> 530</span> <span class="keyword"></span>{</div>
|
|
551
|
+
<div class="line"><a name="l00531"></a><span class="lineno"> 531</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>
|
|
552
|
+
<div class="line"><a name="l00532"></a><span class="lineno"> 532</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb"> 534</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>
|
|
555
|
+
<div class="line"><a name="l00535"></a><span class="lineno"> 535</span> <span class="keyword"></span>{</div>
|
|
556
|
+
<div class="line"><a name="l00536"></a><span class="lineno"> 536</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>
|
|
557
|
+
<div class="line"><a name="l00537"></a><span class="lineno"> 537</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0"> 539</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>
|
|
560
|
+
<div class="line"><a name="l00540"></a><span class="lineno"> 540</span> <span class="keyword"></span>{</div>
|
|
561
|
+
<div class="line"><a name="l00541"></a><span class="lineno"> 541</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>
|
|
562
|
+
<div class="line"><a name="l00542"></a><span class="lineno"> 542</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68"> 544</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>
|
|
565
|
+
<div class="line"><a name="l00545"></a><span class="lineno"> 545</span> <span class="keyword"></span>{</div>
|
|
566
|
+
<div class="line"><a name="l00546"></a><span class="lineno"> 546</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>
|
|
567
|
+
<div class="line"><a name="l00547"></a><span class="lineno"> 547</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082"> 549</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>
|
|
570
|
+
<div class="line"><a name="l00550"></a><span class="lineno"> 550</span> <span class="keyword"></span>{</div>
|
|
571
|
+
<div class="line"><a name="l00551"></a><span class="lineno"> 551</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>
|
|
572
|
+
<div class="line"><a name="l00552"></a><span class="lineno"> 552</span> }</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"><a class="line" href="classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac"> 554</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>
|
|
575
|
+
<div class="line"><a name="l00555"></a><span class="lineno"> 555</span> <span class="keyword"></span>{</div>
|
|
576
|
+
<div class="line"><a name="l00556"></a><span class="lineno"> 556</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>
|
|
577
|
+
<div class="line"><a name="l00557"></a><span class="lineno"> 557</span> }</div>
|
|
578
|
+
<div class="line"><a name="l00558"></a><span class="lineno"> 558</span>  </div>
|
|
579
|
+
<div class="line"><a name="l00559"></a><span class="lineno"><a class="line" href="classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7"> 559</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>
|
|
580
|
+
<div class="line"><a name="l00560"></a><span class="lineno"> 560</span> <span class="keyword"></span>{</div>
|
|
581
|
+
<div class="line"><a name="l00561"></a><span class="lineno"> 561</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
|
|
582
|
+
<div class="line"><a name="l00562"></a><span class="lineno"> 562</span>  std::stringstream rawstr(str);</div>
|
|
583
|
+
<div class="line"><a name="l00563"></a><span class="lineno"> 563</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>
|
|
584
|
+
<div class="line"><a name="l00564"></a><span class="lineno"> 564</span>  <span class="keywordflow">return</span> rawstr.str();</div>
|
|
585
|
+
<div class="line"><a name="l00565"></a><span class="lineno"> 565</span> }</div>
|
|
586
|
+
<div class="line"><a name="l00566"></a><span class="lineno"> 566</span>  </div>
|
|
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"><a class="line" href="classSVF_1_1SymbolTableInfo.html#a72be51342f633844f59c5a46b7e01583"> 569</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>
|
|
589
|
+
<div class="line"><a name="l00570"></a><span class="lineno"> 570</span> {</div>
|
|
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">if</span>(val-><a class="code" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>())</div>
|
|
592
|
+
<div class="line"><a name="l00573"></a><span class="lineno"> 573</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">nullPtrSymID</a>();</div>
|
|
593
|
+
<div class="line"><a name="l00574"></a><span class="lineno"> 574</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (val-><a class="code" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>())</div>
|
|
594
|
+
<div class="line"><a name="l00575"></a><span class="lineno"> 575</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72">blkPtrSymID</a>();</div>
|
|
595
|
+
<div class="line"><a name="l00576"></a><span class="lineno"> 576</span>  <span class="keywordflow">else</span></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>  ValueToIDMapTy::const_iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.find(val);</div>
|
|
598
|
+
<div class="line"><a name="l00579"></a><span class="lineno"> 579</span>  assert(iter!=<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end() &&<span class="stringliteral">"value sym not found"</span>);</div>
|
|
599
|
+
<div class="line"><a name="l00580"></a><span class="lineno"> 580</span>  <span class="keywordflow">return</span> iter->second;</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> }</div>
|
|
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"><a class="line" href="classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117"> 584</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>
|
|
604
|
+
<div class="line"><a name="l00585"></a><span class="lineno"> 585</span> {</div>
|
|
605
|
+
<div class="line"><a name="l00586"></a><span class="lineno"> 586</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>
|
|
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>
|
|
609
610
|
</div><!-- fragment --></div><!-- contents -->
|
|
610
611
|
<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>
|
|
611
612
|
<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>
|
|
612
613
|
<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>
|
|
613
614
|
<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>
|
|
614
|
-
<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#
|
|
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#l00473">SymbolTableInfo.cpp:473</a></div></div>
|
|
615
616
|
<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>
|
|
616
617
|
<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>
|
|
617
|
-
<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#
|
|
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#l00330">SymbolTableInfo.cpp:330</a></div></div>
|
|
618
619
|
<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>
|
|
619
620
|
<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>
|
|
620
621
|
<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>
|
|
621
|
-
<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#
|
|
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#l00405">SymbolTableInfo.cpp:405</a></div></div>
|
|
622
623
|
<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>
|
|
623
624
|
<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>
|
|
624
625
|
<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>
|
|
625
626
|
<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>
|
|
626
627
|
<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>
|
|
627
628
|
<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>
|
|
628
|
-
<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#
|
|
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#l00519">SymbolTableInfo.cpp:519</a></div></div>
|
|
629
630
|
<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>
|
|
630
631
|
<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>
|
|
631
|
-
<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#
|
|
632
|
-
<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#
|
|
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#l00440">SymbolTableInfo.cpp:440</a></div></div>
|
|
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#l00524">SymbolTableInfo.cpp:524</a></div></div>
|
|
633
634
|
<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>
|
|
634
635
|
<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>
|
|
635
636
|
<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>
|
|
636
|
-
<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#
|
|
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#l00539">SymbolTableInfo.cpp:539</a></div></div>
|
|
637
638
|
<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>
|
|
638
|
-
<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#
|
|
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#l00372">SymbolTableInfo.cpp:372</a></div></div>
|
|
639
640
|
<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>
|
|
640
|
-
<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#
|
|
641
|
-
<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#
|
|
642
|
-
<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#
|
|
643
|
-
<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#
|
|
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#l00509">SymbolTableInfo.cpp:509</a></div></div>
|
|
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#l00428">SymbolTableInfo.cpp:428</a></div></div>
|
|
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#l00414">SymbolTableInfo.cpp:414</a></div></div>
|
|
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#l00569">SymbolTableInfo.cpp:569</a></div></div>
|
|
644
645
|
<div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
|
|
645
646
|
<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>
|
|
646
647
|
<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>
|
|
647
648
|
<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>
|
|
648
649
|
<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>
|
|
649
|
-
<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#
|
|
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#l00504">SymbolTableInfo.cpp:504</a></div></div>
|
|
650
651
|
<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>
|
|
651
652
|
<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>
|
|
652
653
|
<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>
|
|
@@ -656,25 +657,25 @@ $(function() {
|
|
|
656
657
|
<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>
|
|
657
658
|
<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>
|
|
658
659
|
<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>
|
|
659
|
-
<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#
|
|
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#l00453">SymbolTableInfo.cpp:453</a></div></div>
|
|
660
661
|
<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>
|
|
661
662
|
<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>
|
|
662
663
|
<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>
|
|
663
664
|
<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>
|
|
664
|
-
<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#
|
|
665
|
-
<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#
|
|
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#l00554">SymbolTableInfo.cpp:554</a></div></div>
|
|
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#l00489">SymbolTableInfo.cpp:489</a></div></div>
|
|
666
667
|
<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>
|
|
667
668
|
<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>
|
|
668
669
|
<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>
|
|
669
|
-
<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#
|
|
670
|
-
<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#
|
|
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#l00422">SymbolTableInfo.cpp:422</a></div></div>
|
|
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#l00434">SymbolTableInfo.cpp:434</a></div></div>
|
|
671
672
|
<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>
|
|
672
673
|
<div class="ttc" id="aSVFModule_8h_html"><div class="ttname"><a href="SVFModule_8h.html">SVFModule.h</a></div></div>
|
|
673
674
|
<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>
|
|
674
675
|
<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>
|
|
675
676
|
<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>
|
|
676
677
|
<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>
|
|
677
|
-
<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#
|
|
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#l00287">SymbolTableInfo.cpp:287</a></div></div>
|
|
678
679
|
<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>
|
|
679
680
|
<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>
|
|
680
681
|
<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>
|
|
@@ -685,54 +686,54 @@ $(function() {
|
|
|
685
686
|
<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>
|
|
686
687
|
<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>
|
|
687
688
|
<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>
|
|
688
|
-
<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#
|
|
689
|
-
<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#
|
|
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#l00499">SymbolTableInfo.cpp:499</a></div></div>
|
|
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#l00544">SymbolTableInfo.cpp:544</a></div></div>
|
|
690
691
|
<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>
|
|
691
|
-
<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#
|
|
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#l00549">SymbolTableInfo.cpp:549</a></div></div>
|
|
692
693
|
<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>
|
|
693
694
|
<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>
|
|
694
695
|
<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>
|
|
695
696
|
<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>
|
|
696
697
|
<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>
|
|
697
698
|
<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>
|
|
698
|
-
<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#
|
|
699
|
-
<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#
|
|
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#l00479">SymbolTableInfo.cpp:479</a></div></div>
|
|
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#l00534">SymbolTableInfo.cpp:534</a></div></div>
|
|
700
701
|
<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>
|
|
701
702
|
<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>
|
|
702
703
|
<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>
|
|
703
|
-
<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#
|
|
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#l01385">LLVMUtil.cpp:1385</a></div></div>
|
|
704
705
|
<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>
|
|
705
706
|
<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>
|
|
706
707
|
<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>
|
|
707
708
|
<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>
|
|
708
|
-
<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#
|
|
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#l00559">SymbolTableInfo.cpp:559</a></div></div>
|
|
709
710
|
<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>
|
|
710
|
-
<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#
|
|
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#l00484">SymbolTableInfo.cpp:484</a></div></div>
|
|
711
712
|
<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>
|
|
712
713
|
<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>
|
|
713
714
|
<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>
|
|
714
|
-
<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#
|
|
715
|
-
<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#
|
|
716
|
-
<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#
|
|
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#l00467">SymbolTableInfo.cpp:467</a></div></div>
|
|
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#l00447">SymbolTableInfo.cpp:447</a></div></div>
|
|
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#l00514">SymbolTableInfo.cpp:514</a></div></div>
|
|
717
718
|
<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>
|
|
718
719
|
<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>
|
|
719
720
|
<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>
|
|
720
721
|
<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>
|
|
721
722
|
<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>
|
|
722
|
-
<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#
|
|
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#l00494">SymbolTableInfo.cpp:494</a></div></div>
|
|
723
724
|
<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>
|
|
724
725
|
<div class="ttc" id="aSymbolTableInfo_8h_html"><div class="ttname"><a href="SymbolTableInfo_8h.html">SymbolTableInfo.h</a></div></div>
|
|
725
726
|
<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>
|
|
726
727
|
<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>
|
|
727
|
-
<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#
|
|
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#l00460">SymbolTableInfo.cpp:460</a></div></div>
|
|
728
729
|
<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>
|
|
729
730
|
<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>
|
|
730
731
|
<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>
|
|
731
|
-
<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#
|
|
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#l00529">SymbolTableInfo.cpp:529</a></div></div>
|
|
732
733
|
<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>
|
|
733
734
|
<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>
|
|
734
735
|
<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>
|
|
735
|
-
<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#
|
|
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#l00584">SymbolTableInfo.cpp:584</a></div></div>
|
|
736
737
|
<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>
|
|
737
738
|
<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>
|
|
738
739
|
<!-- start footer part -->
|