svf-tools 1.0.338 → 1.0.342

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.
Files changed (201) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/html/BasicTypes_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +3 -3
  9. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +1 -1
  10. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +38 -36
  11. package/SVF-doxygen/html/html/ICFG_8h_source.html +18 -18
  12. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +3 -3
  13. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +4 -4
  17. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/html/Options_8cpp_source.html +2 -2
  20. package/SVF-doxygen/html/html/Options_8h_source.html +2 -2
  21. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  22. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +6 -6
  23. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  24. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +4 -4
  25. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
  26. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
  27. package/SVF-doxygen/html/html/SVFG_8h_source.html +4 -4
  28. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
  29. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +7 -7
  30. package/SVF-doxygen/html/html/SVFIR_8h_source.html +12 -12
  31. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +20 -20
  32. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +8 -8
  33. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +5 -5
  34. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +3 -3
  35. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +91 -87
  36. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +20 -19
  38. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +30 -28
  40. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +48 -46
  41. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  42. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +9 -9
  44. package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -3
  45. package/SVF-doxygen/html/html/VFG_8h_source.html +4 -4
  46. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +3 -3
  48. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +3 -3
  49. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +4 -4
  50. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  51. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
  52. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +6 -5
  53. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  54. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +15 -12
  55. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +5 -3
  56. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
  57. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +1 -1
  58. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +4 -4
  59. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +13 -11
  61. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +12 -12
  62. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +12 -12
  63. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +6 -5
  64. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  65. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +1 -1
  66. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +3 -3
  68. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +2 -2
  69. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +46 -14
  70. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +2 -2
  71. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +45 -14
  72. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +17 -17
  73. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +3 -3
  74. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +2 -2
  75. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +4 -2
  76. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +4 -2
  77. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +1 -3
  78. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  79. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +35 -35
  80. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +4 -4
  81. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +30 -30
  82. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +3 -1
  83. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +46 -46
  84. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +15 -15
  85. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +2 -2
  86. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  87. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  88. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +7 -3
  89. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
  90. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  91. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
  92. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +4 -4
  93. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
  94. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
  95. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +6 -6
  96. package/SVF-doxygen/html/html/classSVF_1_1MemObj-members.html +23 -22
  97. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +70 -47
  98. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +4 -4
  99. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +4 -4
  100. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  101. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +4 -4
  102. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo-members.html +17 -15
  103. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +141 -106
  104. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +21 -21
  105. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +27 -27
  106. package/SVF-doxygen/html/html/classSVF_1_1Options.html +26 -26
  107. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +1 -1
  108. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  109. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +6 -6
  110. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +6 -6
  111. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +5 -5
  112. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +5 -3
  113. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
  114. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +4 -4
  115. package/SVF-doxygen/html/html/classSVF_1_1RetPN-members.html +75 -73
  116. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +60 -16
  117. package/SVF-doxygen/html/html/classSVF_1_1RetPN.png +0 -0
  118. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +4 -4
  119. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +8 -8
  120. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +2 -2
  121. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +12 -12
  122. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +12 -12
  123. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +1 -1
  124. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +3 -3
  125. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.png +0 -0
  126. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  127. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +24 -24
  128. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +4 -4
  129. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +22 -21
  130. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +34 -34
  131. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +1 -1
  132. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +4 -4
  133. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +4 -4
  134. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  135. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  137. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +15 -15
  138. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +10 -9
  139. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  140. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +6 -6
  141. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +20 -14
  142. package/SVF-doxygen/html/html/classSVF_1_1ValVar.png +0 -0
  143. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN-members.html +74 -72
  144. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +60 -16
  145. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.png +0 -0
  146. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +4 -4
  147. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +3 -3
  148. package/SVF-doxygen/html/html/functions_c.html +18 -13
  149. package/SVF-doxygen/html/html/functions_eval_c.html +5 -2
  150. package/SVF-doxygen/html/html/functions_func_c.html +19 -19
  151. package/SVF-doxygen/html/html/functions_func_i.html +19 -17
  152. package/SVF-doxygen/html/html/functions_i.html +19 -17
  153. package/SVF-doxygen/html/html/functions_m.html +1 -1
  154. package/SVF-doxygen/html/html/functions_n.html +3 -3
  155. package/SVF-doxygen/html/html/functions_o.html +10 -10
  156. package/SVF-doxygen/html/html/functions_p.html +19 -28
  157. package/SVF-doxygen/html/html/functions_s.html +13 -12
  158. package/SVF-doxygen/html/html/functions_t.html +4 -4
  159. package/SVF-doxygen/html/html/functions_v.html +3 -3
  160. package/SVF-doxygen/html/html/functions_vars_p.html +0 -3
  161. package/SVF-doxygen/html/html/functions_vars_s.html +3 -0
  162. package/SVF-doxygen/html/html/functions_w.html +5 -9
  163. package/SVF-doxygen/html/html/hierarchy.html +5 -5
  164. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +11 -11
  165. package/SVF-doxygen/html/html/search/all_10.js +11 -12
  166. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  167. package/SVF-doxygen/html/html/search/all_13.js +6 -5
  168. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  169. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  170. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  171. package/SVF-doxygen/html/html/search/all_3.js +3 -2
  172. package/SVF-doxygen/html/html/search/all_9.js +4 -4
  173. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  174. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  175. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  176. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  177. package/SVF-doxygen/html/html/search/enumvalues_2.js +2 -1
  178. package/SVF-doxygen/html/html/search/functions_2.js +1 -1
  179. package/SVF-doxygen/html/html/search/functions_8.js +4 -4
  180. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  181. package/SVF-doxygen/html/html/search/variables_10.js +0 -1
  182. package/SVF-doxygen/html/html/search/variables_13.js +1 -0
  183. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  184. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  185. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +17 -17
  186. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  187. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  188. package/include/MemoryModel/SVFIR.h +1 -1
  189. package/include/MemoryModel/SVFVariables.h +25 -4
  190. package/include/MemoryModel/SymbolTableInfo.h +17 -11
  191. package/include/Util/Options.h +1 -1
  192. package/lib/Graphs/ICFG.cpp +39 -27
  193. package/lib/MSSA/MemSSA.cpp +1 -1
  194. package/lib/MemoryModel/SVFStatements.cpp +53 -49
  195. package/lib/MemoryModel/SVFVariables.cpp +10 -10
  196. package/lib/MemoryModel/SymbolTableInfo.cpp +12 -7
  197. package/lib/SVF-FE/SymbolTableBuilder.cpp +10 -10
  198. package/lib/Util/Options.cpp +3 -3
  199. package/lib/Util/PTAStat.cpp +3 -3
  200. package/lib/Util/SVFUtil.cpp +2 -0
  201. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1MemObj.html CHANGED
@@ -133,12 +133,14 @@ Public Member Functions</h2></td></tr>
133
133
  <tr class="separator:ad1966c52f95775ac7d65c0ba6632c3cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
134
134
  <tr class="memitem:a616e9f4d6f82a253f94391c47668b9a6"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6">isVarArray</a> () const</td></tr>
135
135
  <tr class="separator:a616e9f4d6f82a253f94391c47668b9a6"><td class="memSeparator" colspan="2">&#160;</td></tr>
136
- <tr class="memitem:a0f5283e512d6c749b33ba9cfc2d70d17"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a0f5283e512d6c749b33ba9cfc2d70d17">isConstStruct</a> () const</td></tr>
137
- <tr class="separator:a0f5283e512d6c749b33ba9cfc2d70d17"><td class="memSeparator" colspan="2">&#160;</td></tr>
138
- <tr class="memitem:ae30d2d8f6f621795a70ba046ca25af2d"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#ae30d2d8f6f621795a70ba046ca25af2d">isConstArray</a> () const</td></tr>
139
- <tr class="separator:ae30d2d8f6f621795a70ba046ca25af2d"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
- <tr class="memitem:a3f429b085f749ed0c8269517eb9094ae"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a3f429b085f749ed0c8269517eb9094ae">isConstant</a> () const</td></tr>
141
- <tr class="separator:a3f429b085f749ed0c8269517eb9094ae"><td class="memSeparator" colspan="2">&#160;</td></tr>
136
+ <tr class="memitem:a019a77516c403f1f3cc72917b810a41f"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">isConstantStruct</a> () const</td></tr>
137
+ <tr class="separator:a019a77516c403f1f3cc72917b810a41f"><td class="memSeparator" colspan="2">&#160;</td></tr>
138
+ <tr class="memitem:a7f828731597450f1d43b61413ab0e7bb"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">isConstantArray</a> () const</td></tr>
139
+ <tr class="separator:a7f828731597450f1d43b61413ab0e7bb"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
+ <tr class="memitem:a1a4ff4aaaf2573240a318e1b79328cd0"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0">isConstDataOrConstGlobal</a> () const</td></tr>
141
+ <tr class="separator:a1a4ff4aaaf2573240a318e1b79328cd0"><td class="memSeparator" colspan="2">&#160;</td></tr>
142
+ <tr class="memitem:aa50d7c3b4e7ac0aa769bc094bea26e16"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#aa50d7c3b4e7ac0aa769bc094bea26e16">isConstantData</a> () const</td></tr>
143
+ <tr class="separator:aa50d7c3b4e7ac0aa769bc094bea26e16"><td class="memSeparator" colspan="2">&#160;</td></tr>
142
144
  <tr class="memitem:a6dae1b3429c6049f0153ec006d329082"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082">hasPtrObj</a> () const</td></tr>
143
145
  <tr class="separator:a6dae1b3429c6049f0153ec006d329082"><td class="memSeparator" colspan="2">&#160;</td></tr>
144
146
  <tr class="memitem:ad6926becf26a625cfe165aec120b2a1e"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#ad6926becf26a625cfe165aec120b2a1e">isNonPtrFieldObj</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;ls) const</td></tr>
@@ -305,7 +307,7 @@ Private Attributes</h2></td></tr>
305
307
 
306
308
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00643">643</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
307
309
  <div class="fragment"><div class="line"><a name="l00644"></a><span class="lineno"> 644</span>&#160;{</div><div class="line"><a name="l00645"></a><span class="lineno"> 645</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">getMaxFieldOffsetLimit</a>();</div><div class="line"><a name="l00646"></a><span class="lineno"> 646</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
308
- <div class="ttc" id="classSVF_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#l00638">SymbolTableInfo.h:638</a></div></div>
310
+ <div class="ttc" id="classSVF_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#l00640">SymbolTableInfo.h:640</a></div></div>
309
311
  </div><!-- fragment -->
310
312
  </div>
311
313
  </div>
@@ -330,7 +332,7 @@ Private Attributes</h2></td></tr>
330
332
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00619">619</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
331
333
  <div class="fragment"><div class="line"><a name="l00620"></a><span class="lineno"> 620</span>&#160;{</div><div class="line"><a name="l00621"></a><span class="lineno"> 621</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">isHeap</a>() == <span class="keyword">false</span>)</div><div class="line"><a name="l00622"></a><span class="lineno"> 622</span>&#160; {</div><div class="line"><a name="l00623"></a><span class="lineno"> 623</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">PointerType</a>* type = SVFUtil::dyn_cast&lt;PointerType&gt;(<a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>()))</div><div class="line"><a name="l00624"></a><span class="lineno"> 624</span>&#160; <span class="keywordflow">return</span> type-&gt;getElementType();</div><div class="line"><a name="l00625"></a><span class="lineno"> 625</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00626"></a><span class="lineno"> 626</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>();</div><div class="line"><a name="l00627"></a><span class="lineno"> 627</span>&#160; }</div><div class="line"><a name="l00628"></a><span class="lineno"> 628</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a>() &amp;&amp; SVFUtil::isa&lt;Instruction&gt;(<a class="code" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a>()))</div><div class="line"><a name="l00629"></a><span class="lineno"> 629</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce">SVFUtil::getTypeOfHeapAlloc</a>(SVFUtil::cast&lt;Instruction&gt;(<a class="code" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a>()));</div><div class="line"><a name="l00630"></a><span class="lineno"> 630</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00631"></a><span class="lineno"> 631</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>();</div><div class="line"><a name="l00632"></a><span class="lineno"> 632</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
332
334
  <div class="ttc" id="namespaceSVF_html_aa962cc1d782cc46553251e96b64a754b"><div class="ttname"><a href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF::PointerType</a></div><div class="ttdeci">llvm::PointerType PointerType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00108">BasicTypes.h:108</a></div></div>
333
- <div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a706cdc47e78732853252d5a4af85653a"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">SVF::ObjTypeInfo::getType</a></div><div class="ttdeci">const Type * getType() const</div><div class="ttdoc">Get LLVM type. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00632">SymbolTableInfo.h:632</a></div></div>
335
+ <div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a706cdc47e78732853252d5a4af85653a"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">SVF::ObjTypeInfo::getType</a></div><div class="ttdeci">const Type * getType() const</div><div class="ttdoc">Get LLVM type. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00634">SymbolTableInfo.h:634</a></div></div>
334
336
  <div class="ttc" id="classSVF_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#l00680">SymbolTableInfo.cpp:680</a></div></div>
335
337
  <div class="ttc" id="classSVF_1_1MemObj_html_a4da54ef60231d2e6c26669226b99d2f3"><div class="ttname"><a href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">SVF::MemObj::getValue</a></div><div class="ttdeci">const Value * 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#l00442">SymbolTableInfo.h:442</a></div></div>
336
338
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a973113323e30a01fd904b35ac18d40ce"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce">SVF::SVFUtil::getTypeOfHeapAlloc</a></div><div class="ttdeci">const Type * getTypeOfHeapAlloc(const llvm::Instruction *inst)</div><div class="ttdoc">Get the type of the heap allocation. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00269">LLVMUtil.cpp:269</a></div></div>
@@ -382,9 +384,9 @@ Private Attributes</h2></td></tr>
382
384
  </table>
383
385
  </div><div class="memdoc">
384
386
 
385
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00720">720</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
386
- <div class="fragment"><div class="line"><a name="l00721"></a><span class="lineno"> 721</span>&#160;{</div><div class="line"><a name="l00722"></a><span class="lineno"> 722</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>();</div><div class="line"><a name="l00723"></a><span class="lineno"> 723</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
387
- <div class="ttc" id="classSVF_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#l00716">SymbolTableInfo.h:716</a></div></div>
387
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00725">725</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
388
+ <div class="fragment"><div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160;{</div><div class="line"><a name="l00727"></a><span class="lineno"> 727</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>();</div><div class="line"><a name="l00728"></a><span class="lineno"> 728</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
389
+ <div class="ttc" id="classSVF_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#l00722">SymbolTableInfo.h:722</a></div></div>
388
390
  </div><!-- fragment -->
389
391
  </div>
390
392
  </div>
@@ -405,7 +407,7 @@ Private Attributes</h2></td></tr>
405
407
 
406
408
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00690">690</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
407
409
  <div class="fragment"><div class="line"><a name="l00691"></a><span class="lineno"> 691</span>&#160;{</div><div class="line"><a name="l00692"></a><span class="lineno"> 692</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1">isArray</a>();</div><div class="line"><a name="l00693"></a><span class="lineno"> 693</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
408
- <div class="ttc" id="classSVF_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#l00708">SymbolTableInfo.h:708</a></div></div>
410
+ <div class="ttc" id="classSVF_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#l00710">SymbolTableInfo.h:710</a></div></div>
409
411
  </div><!-- fragment -->
410
412
  </div>
411
413
  </div>
@@ -433,14 +435,14 @@ Private Attributes</h2></td></tr>
433
435
  </div><!-- fragment -->
434
436
  </div>
435
437
  </div>
436
- <a id="a3f429b085f749ed0c8269517eb9094ae"></a>
437
- <h2 class="memtitle"><span class="permalink"><a href="#a3f429b085f749ed0c8269517eb9094ae">&#9670;&nbsp;</a></span>isConstant()</h2>
438
+ <a id="a7f828731597450f1d43b61413ab0e7bb"></a>
439
+ <h2 class="memtitle"><span class="permalink"><a href="#a7f828731597450f1d43b61413ab0e7bb">&#9670;&nbsp;</a></span>isConstantArray()</h2>
438
440
 
439
441
  <div class="memitem">
440
442
  <div class="memproto">
441
443
  <table class="memname">
442
444
  <tr>
443
- <td class="memname">bool MemObj::isConstant </td>
445
+ <td class="memname">bool MemObj::isConstantArray </td>
444
446
  <td>(</td>
445
447
  <td class="paramname"></td><td>)</td>
446
448
  <td> const</td>
@@ -448,20 +450,20 @@ Private Attributes</h2></td></tr>
448
450
  </table>
449
451
  </div><div class="memdoc">
450
452
 
451
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00715">715</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
452
- <div class="fragment"><div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160;{</div><div class="line"><a name="l00717"></a><span class="lineno"> 717</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a8c0ae8e177452b88b3a4ec81bf77c378">isConstant</a>();</div><div class="line"><a name="l00718"></a><span class="lineno"> 718</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
453
- <div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a8c0ae8e177452b88b3a4ec81bf77c378"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a8c0ae8e177452b88b3a4ec81bf77c378">SVF::ObjTypeInfo::isConstant</a></div><div class="ttdeci">bool isConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00712">SymbolTableInfo.h:712</a></div></div>
453
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00710">710</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
454
+ <div class="fragment"><div class="line"><a name="l00711"></a><span class="lineno"> 711</span>&#160;{</div><div class="line"><a name="l00712"></a><span class="lineno"> 712</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212">isConstantArray</a>();</div><div class="line"><a name="l00713"></a><span class="lineno"> 713</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
455
+ <div class="ttc" id="classSVF_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#l00706">SymbolTableInfo.h:706</a></div></div>
454
456
  </div><!-- fragment -->
455
457
  </div>
456
458
  </div>
457
- <a id="ae30d2d8f6f621795a70ba046ca25af2d"></a>
458
- <h2 class="memtitle"><span class="permalink"><a href="#ae30d2d8f6f621795a70ba046ca25af2d">&#9670;&nbsp;</a></span>isConstArray()</h2>
459
+ <a id="aa50d7c3b4e7ac0aa769bc094bea26e16"></a>
460
+ <h2 class="memtitle"><span class="permalink"><a href="#aa50d7c3b4e7ac0aa769bc094bea26e16">&#9670;&nbsp;</a></span>isConstantData()</h2>
459
461
 
460
462
  <div class="memitem">
461
463
  <div class="memproto">
462
464
  <table class="memname">
463
465
  <tr>
464
- <td class="memname">bool MemObj::isConstArray </td>
466
+ <td class="memname">bool MemObj::isConstantData </td>
465
467
  <td>(</td>
466
468
  <td class="paramname"></td><td>)</td>
467
469
  <td> const</td>
@@ -469,20 +471,20 @@ Private Attributes</h2></td></tr>
469
471
  </table>
470
472
  </div><div class="memdoc">
471
473
 
472
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00710">710</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
473
- <div class="fragment"><div class="line"><a name="l00711"></a><span class="lineno"> 711</span>&#160;{</div><div class="line"><a name="l00712"></a><span class="lineno"> 712</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ad90ea6a01cca9c370b7f17b408dcc5a7">isConstArray</a>();</div><div class="line"><a name="l00713"></a><span class="lineno"> 713</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
474
- <div class="ttc" id="classSVF_1_1ObjTypeInfo_html_ad90ea6a01cca9c370b7f17b408dcc5a7"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ad90ea6a01cca9c370b7f17b408dcc5a7">SVF::ObjTypeInfo::isConstArray</a></div><div class="ttdeci">bool isConstArray()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00704">SymbolTableInfo.h:704</a></div></div>
474
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00720">720</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
475
+ <div class="fragment"><div class="line"><a name="l00721"></a><span class="lineno"> 721</span>&#160;{</div><div class="line"><a name="l00722"></a><span class="lineno"> 722</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a6f6c80f7d067a6082a9af04d2547cf34">isConstantData</a>();</div><div class="line"><a name="l00723"></a><span class="lineno"> 723</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
476
+ <div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a6f6c80f7d067a6082a9af04d2547cf34"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a6f6c80f7d067a6082a9af04d2547cf34">SVF::ObjTypeInfo::isConstantData</a></div><div class="ttdeci">bool isConstantData()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00718">SymbolTableInfo.h:718</a></div></div>
475
477
  </div><!-- fragment -->
476
478
  </div>
477
479
  </div>
478
- <a id="a0f5283e512d6c749b33ba9cfc2d70d17"></a>
479
- <h2 class="memtitle"><span class="permalink"><a href="#a0f5283e512d6c749b33ba9cfc2d70d17">&#9670;&nbsp;</a></span>isConstStruct()</h2>
480
+ <a id="a019a77516c403f1f3cc72917b810a41f"></a>
481
+ <h2 class="memtitle"><span class="permalink"><a href="#a019a77516c403f1f3cc72917b810a41f">&#9670;&nbsp;</a></span>isConstantStruct()</h2>
480
482
 
481
483
  <div class="memitem">
482
484
  <div class="memproto">
483
485
  <table class="memname">
484
486
  <tr>
485
- <td class="memname">bool MemObj::isConstStruct </td>
487
+ <td class="memname">bool MemObj::isConstantStruct </td>
486
488
  <td>(</td>
487
489
  <td class="paramname"></td><td>)</td>
488
490
  <td> const</td>
@@ -491,8 +493,29 @@ Private Attributes</h2></td></tr>
491
493
  </div><div class="memdoc">
492
494
 
493
495
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00705">705</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
494
- <div class="fragment"><div class="line"><a name="l00706"></a><span class="lineno"> 706</span>&#160;{</div><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a5d4afc5e1ba5cbcedf049467f75ef7c4">isConstStruct</a>();</div><div class="line"><a name="l00708"></a><span class="lineno"> 708</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
495
- <div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a5d4afc5e1ba5cbcedf049467f75ef7c4"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a5d4afc5e1ba5cbcedf049467f75ef7c4">SVF::ObjTypeInfo::isConstStruct</a></div><div class="ttdeci">bool isConstStruct()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00692">SymbolTableInfo.h:692</a></div></div>
496
+ <div class="fragment"><div class="line"><a name="l00706"></a><span class="lineno"> 706</span>&#160;{</div><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7">isConstantStruct</a>();</div><div class="line"><a name="l00708"></a><span class="lineno"> 708</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
497
+ <div class="ttc" id="classSVF_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#l00694">SymbolTableInfo.h:694</a></div></div>
498
+ </div><!-- fragment -->
499
+ </div>
500
+ </div>
501
+ <a id="a1a4ff4aaaf2573240a318e1b79328cd0"></a>
502
+ <h2 class="memtitle"><span class="permalink"><a href="#a1a4ff4aaaf2573240a318e1b79328cd0">&#9670;&nbsp;</a></span>isConstDataOrConstGlobal()</h2>
503
+
504
+ <div class="memitem">
505
+ <div class="memproto">
506
+ <table class="memname">
507
+ <tr>
508
+ <td class="memname">bool MemObj::isConstDataOrConstGlobal </td>
509
+ <td>(</td>
510
+ <td class="paramname"></td><td>)</td>
511
+ <td> const</td>
512
+ </tr>
513
+ </table>
514
+ </div><div class="memdoc">
515
+
516
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00715">715</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
517
+ <div class="fragment"><div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160;{</div><div class="line"><a name="l00717"></a><span class="lineno"> 717</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1">isConstDataOrConstGlobal</a>();</div><div class="line"><a name="l00718"></a><span class="lineno"> 718</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
518
+ <div class="ttc" id="classSVF_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#l00714">SymbolTableInfo.h:714</a></div></div>
496
519
  </div><!-- fragment -->
497
520
  </div>
498
521
  </div>
@@ -537,7 +560,7 @@ Private Attributes</h2></td></tr>
537
560
 
538
561
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00660">660</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
539
562
  <div class="fragment"><div class="line"><a name="l00661"></a><span class="lineno"> 661</span>&#160;{</div><div class="line"><a name="l00662"></a><span class="lineno"> 662</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f">isFunction</a>();</div><div class="line"><a name="l00663"></a><span class="lineno"> 663</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
540
- <div class="ttc" id="classSVF_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#l00663">SymbolTableInfo.h:663</a></div></div>
563
+ <div class="ttc" id="classSVF_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#l00665">SymbolTableInfo.h:665</a></div></div>
541
564
  </div><!-- fragment -->
542
565
  </div>
543
566
  </div>
@@ -558,7 +581,7 @@ Private Attributes</h2></td></tr>
558
581
 
559
582
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00665">665</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
560
583
  <div class="fragment"><div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160;{</div><div class="line"><a name="l00667"></a><span class="lineno"> 667</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f">isGlobalObj</a>();</div><div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
561
- <div class="ttc" id="classSVF_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#l00667">SymbolTableInfo.h:667</a></div></div>
584
+ <div class="ttc" id="classSVF_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#l00669">SymbolTableInfo.h:669</a></div></div>
562
585
  </div><!-- fragment -->
563
586
  </div>
564
587
  </div>
@@ -579,7 +602,7 @@ Private Attributes</h2></td></tr>
579
602
 
580
603
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00680">680</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
581
604
  <div class="fragment"><div class="line"><a name="l00681"></a><span class="lineno"> 681</span>&#160;{</div><div class="line"><a name="l00682"></a><span class="lineno"> 682</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d">isHeap</a>();</div><div class="line"><a name="l00683"></a><span class="lineno"> 683</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
582
- <div class="ttc" id="classSVF_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#l00679">SymbolTableInfo.h:679</a></div></div>
605
+ <div class="ttc" id="classSVF_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#l00681">SymbolTableInfo.h:681</a></div></div>
583
606
  </div><!-- fragment -->
584
607
  </div>
585
608
  </div>
@@ -599,8 +622,8 @@ Private Attributes</h2></td></tr>
599
622
  </table>
600
623
  </div><div class="memdoc">
601
624
 
602
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00725">725</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
603
- <div class="fragment"><div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160;{</div><div class="line"><a name="l00727"></a><span class="lineno"> 727</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a3a58b1e0192b92dac5bbfad24adbcdac">isNonPtrFieldObj</a>(ls);</div><div class="line"><a name="l00728"></a><span class="lineno"> 728</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
625
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00730">730</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
626
+ <div class="fragment"><div class="line"><a name="l00731"></a><span class="lineno"> 731</span>&#160;{</div><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a3a58b1e0192b92dac5bbfad24adbcdac">isNonPtrFieldObj</a>(ls);</div><div class="line"><a name="l00733"></a><span class="lineno"> 733</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
604
627
  <div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a3a58b1e0192b92dac5bbfad24adbcdac"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a3a58b1e0192b92dac5bbfad24adbcdac">SVF::ObjTypeInfo::isNonPtrFieldObj</a></div><div class="ttdeci">virtual bool isNonPtrFieldObj(const LocationSet &amp;ls)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00538">SymbolTableInfo.cpp:538</a></div></div>
605
628
  </div><!-- fragment -->
606
629
  </div>
@@ -622,7 +645,7 @@ Private Attributes</h2></td></tr>
622
645
 
623
646
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00675">675</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
624
647
  <div class="fragment"><div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160;{</div><div class="line"><a name="l00677"></a><span class="lineno"> 677</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602">isStack</a>();</div><div class="line"><a name="l00678"></a><span class="lineno"> 678</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
625
- <div class="ttc" id="classSVF_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#l00675">SymbolTableInfo.h:675</a></div></div>
648
+ <div class="ttc" id="classSVF_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#l00677">SymbolTableInfo.h:677</a></div></div>
626
649
  </div><!-- fragment -->
627
650
  </div>
628
651
  </div>
@@ -643,7 +666,7 @@ Private Attributes</h2></td></tr>
643
666
 
644
667
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00670">670</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
645
668
  <div class="fragment"><div class="line"><a name="l00671"></a><span class="lineno"> 671</span>&#160;{</div><div class="line"><a name="l00672"></a><span class="lineno"> 672</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523">isStaticObj</a>();</div><div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
646
- <div class="ttc" id="classSVF_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#l00671">SymbolTableInfo.h:671</a></div></div>
669
+ <div class="ttc" id="classSVF_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#l00673">SymbolTableInfo.h:673</a></div></div>
647
670
  </div><!-- fragment -->
648
671
  </div>
649
672
  </div>
@@ -664,7 +687,7 @@ Private Attributes</h2></td></tr>
664
687
 
665
688
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00685">685</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
666
689
  <div class="fragment"><div class="line"><a name="l00686"></a><span class="lineno"> 686</span>&#160;{</div><div class="line"><a name="l00687"></a><span class="lineno"> 687</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a">isStruct</a>();</div><div class="line"><a name="l00688"></a><span class="lineno"> 688</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
667
- <div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a06493939f797f122b70b90bbf22cad7a"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a">SVF::ObjTypeInfo::isStruct</a></div><div class="ttdeci">bool isStruct()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00696">SymbolTableInfo.h:696</a></div></div>
690
+ <div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a06493939f797f122b70b90bbf22cad7a"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a">SVF::ObjTypeInfo::isStruct</a></div><div class="ttdeci">bool isStruct()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00698">SymbolTableInfo.h:698</a></div></div>
668
691
  </div><!-- fragment -->
669
692
  </div>
670
693
  </div>
@@ -685,7 +708,7 @@ Private Attributes</h2></td></tr>
685
708
 
686
709
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00700">700</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
687
710
  <div class="fragment"><div class="line"><a name="l00701"></a><span class="lineno"> 701</span>&#160;{</div><div class="line"><a name="l00702"></a><span class="lineno"> 702</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3">isVarArray</a>();</div><div class="line"><a name="l00703"></a><span class="lineno"> 703</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
688
- <div class="ttc" id="classSVF_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#l00700">SymbolTableInfo.h:700</a></div></div>
711
+ <div class="ttc" id="classSVF_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#l00702">SymbolTableInfo.h:702</a></div></div>
689
712
  </div><!-- fragment -->
690
713
  </div>
691
714
  </div>
@@ -706,7 +729,7 @@ Private Attributes</h2></td></tr>
706
729
 
707
730
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00695">695</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
708
731
  <div class="fragment"><div class="line"><a name="l00696"></a><span class="lineno"> 696</span>&#160;{</div><div class="line"><a name="l00697"></a><span class="lineno"> 697</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">isVarStruct</a>();</div><div class="line"><a name="l00698"></a><span class="lineno"> 698</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
709
- <div class="ttc" id="classSVF_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#l00688">SymbolTableInfo.h:688</a></div></div>
732
+ <div class="ttc" id="classSVF_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#l00690">SymbolTableInfo.h:690</a></div></div>
710
733
  </div><!-- fragment -->
711
734
  </div>
712
735
  </div>
@@ -736,8 +759,8 @@ Private Attributes</h2></td></tr>
736
759
 
737
760
  <p>Operator overloading. </p>
738
761
 
739
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00490">490</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
740
- <div class="fragment"><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160; {</div><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a>() == mem.getValue();</div><div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; }</div><div class="ttc" id="classSVF_1_1MemObj_html_a4da54ef60231d2e6c26669226b99d2f3"><div class="ttname"><a href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">SVF::MemObj::getValue</a></div><div class="ttdeci">const Value * 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#l00442">SymbolTableInfo.h:442</a></div></div>
762
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00491">491</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
763
+ <div class="fragment"><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; {</div><div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a>() == mem.getValue();</div><div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160; }</div><div class="ttc" id="classSVF_1_1MemObj_html_a4da54ef60231d2e6c26669226b99d2f3"><div class="ttname"><a href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">SVF::MemObj::getValue</a></div><div class="ttdeci">const Value * 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#l00442">SymbolTableInfo.h:442</a></div></div>
741
764
  </div><!-- fragment -->
742
765
  </div>
743
766
  </div>
@@ -760,7 +783,7 @@ Private Attributes</h2></td></tr>
760
783
 
761
784
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00655">655</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
762
785
  <div class="fragment"><div class="line"><a name="l00656"></a><span class="lineno"> 656</span>&#160;{</div><div class="line"><a name="l00657"></a><span class="lineno"> 657</span>&#160; <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">setMaxFieldOffsetLimit</a>(0);</div><div class="line"><a name="l00658"></a><span class="lineno"> 658</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
763
- <div class="ttc" id="classSVF_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#l00644">SymbolTableInfo.h:644</a></div></div>
786
+ <div class="ttc" id="classSVF_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#l00646">SymbolTableInfo.h:646</a></div></div>
764
787
  </div><!-- fragment -->
765
788
  </div>
766
789
  </div>
@@ -784,8 +807,8 @@ Private Attributes</h2></td></tr>
784
807
 
785
808
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00595">595</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
786
809
  <div class="fragment"><div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160;{</div><div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160; <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">setMaxFieldOffsetLimit</a>(<a class="code" href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">StInfo::getMaxFieldLimit</a>());</div><div class="line"><a name="l00598"></a><span class="lineno"> 598</span>&#160;}</div><div class="ttc" id="classSVF_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#l00423">SymbolTableInfo.h:423</a></div></div>
787
- <div class="ttc" id="classSVF_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#l00644">SymbolTableInfo.h:644</a></div></div>
788
- <div class="ttc" id="classSVF_1_1StInfo_html_ad6e599717952f8ccc2771cd72254b6b2"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo::getMaxFieldLimit</a></div><div class="ttdeci">static u32_t getMaxFieldLimit()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00534">SymbolTableInfo.h:534</a></div></div>
810
+ <div class="ttc" id="classSVF_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#l00646">SymbolTableInfo.h:646</a></div></div>
811
+ <div class="ttc" id="classSVF_1_1StInfo_html_ad6e599717952f8ccc2771cd72254b6b2"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo::getMaxFieldLimit</a></div><div class="ttdeci">static u32_t getMaxFieldLimit()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00535">SymbolTableInfo.h:535</a></div></div>
789
812
  </div><!-- fragment -->
790
813
  </div>
791
814
  </div>
@@ -812,9 +835,9 @@ Private Attributes</h2></td></tr>
812
835
  </table>
813
836
  </div><div class="memdoc">
814
837
 
815
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00730">730</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
816
- <div class="fragment"><div class="line"><a name="l00730"></a><span class="lineno"> 730</span>&#160; {</div><div class="line"><a name="l00731"></a><span class="lineno"> 731</span>&#160; std::string str;</div><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00733"></a><span class="lineno"> 733</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;MemObj : &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1">getId</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVFUtil::value2String</a>(<a class="code" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a>())&lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00734"></a><span class="lineno"> 734</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00735"></a><span class="lineno"> 735</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
817
- <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
838
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00735">735</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
839
+ <div class="fragment"><div class="line"><a name="l00735"></a><span class="lineno"> 735</span>&#160; {</div><div class="line"><a name="l00736"></a><span class="lineno"> 736</span>&#160; std::string str;</div><div class="line"><a name="l00737"></a><span class="lineno"> 737</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00738"></a><span class="lineno"> 738</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;MemObj : &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1">getId</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVFUtil::value2String</a>(<a class="code" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a>())&lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00739"></a><span class="lineno"> 739</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
840
+ <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
818
841
  <div class="ttc" id="classSVF_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#l00448">SymbolTableInfo.h:448</a></div></div>
819
842
  <div class="ttc" id="classSVF_1_1MemObj_html_a4da54ef60231d2e6c26669226b99d2f3"><div class="ttname"><a href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">SVF::MemObj::getValue</a></div><div class="ttdeci">const Value * 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#l00442">SymbolTableInfo.h:442</a></div></div>
820
843
  </div><!-- fragment -->