svf-tools 1.0.406 → 1.0.409

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 (109) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/ConsG_8h_source.html +1 -1
  4. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +4 -4
  6. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +9 -9
  9. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +15 -11
  10. package/SVF-doxygen/html/html/LLVMUtil_8h.html +3 -0
  11. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +20 -19
  12. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +3 -3
  14. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +11 -11
  16. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +2 -2
  19. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +4 -4
  20. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +9 -9
  21. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/html/SVFIR_8h_source.html +1 -1
  23. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +1 -1
  24. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  25. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +32 -33
  26. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +5 -5
  27. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +53 -52
  28. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +49 -49
  29. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  33. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +1 -1
  34. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +1 -1
  35. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  36. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
  37. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  38. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  39. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  40. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  41. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +1 -1
  42. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
  43. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +3 -3
  44. package/SVF-doxygen/html/html/classSVF_1_1MemObj-members.html +29 -28
  45. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +91 -69
  46. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +1 -1
  47. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo-members.html +1 -1
  48. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +97 -97
  49. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  50. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +11 -11
  51. package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +6 -6
  52. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
  53. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +2 -2
  54. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +9 -9
  55. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  56. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +36 -36
  57. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder-members.html +7 -8
  58. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +50 -78
  59. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +24 -24
  60. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  61. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +1 -1
  62. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  63. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  64. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  65. package/SVF-doxygen/html/html/functions_func_g.html +12 -14
  66. package/SVF-doxygen/html/html/functions_g.html +12 -14
  67. package/SVF-doxygen/html/html/functions_i.html +4 -4
  68. package/SVF-doxygen/html/html/functions_l.html +5 -5
  69. package/SVF-doxygen/html/html/functions_p.html +7 -7
  70. package/SVF-doxygen/html/html/functions_r.html +1 -1
  71. package/SVF-doxygen/html/html/functions_s.html +14 -14
  72. package/SVF-doxygen/html/html/functions_t.html +3 -1
  73. package/SVF-doxygen/html/html/functions_v.html +6 -6
  74. package/SVF-doxygen/html/html/globals_r.html +3 -3
  75. package/SVF-doxygen/html/html/globals_s.html +5 -7
  76. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  77. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  78. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +73 -41
  79. package/SVF-doxygen/html/html/namespacemembers_func.html +4 -1
  80. package/SVF-doxygen/html/html/namespacemembers_g.html +3 -0
  81. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  82. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  83. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  84. package/SVF-doxygen/html/html/search/all_12.js +2 -2
  85. package/SVF-doxygen/html/html/search/all_13.js +13 -13
  86. package/SVF-doxygen/html/html/search/all_14.js +3 -3
  87. package/SVF-doxygen/html/html/search/all_16.js +3 -3
  88. package/SVF-doxygen/html/html/search/all_7.js +3 -3
  89. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  90. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  91. package/SVF-doxygen/html/html/search/all_e.js +4 -4
  92. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  93. package/SVF-doxygen/html/html/search/functions_6.js +3 -3
  94. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  95. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  96. package/SVF-doxygen/html/html/search/variables_e.js +3 -3
  97. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +16 -16
  98. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  99. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  100. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  101. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  102. package/include/MemoryModel/SymbolTableInfo.h +4 -1
  103. package/include/SVF-FE/LLVMUtil.h +3 -0
  104. package/include/SVF-FE/SymbolTableBuilder.h +1 -3
  105. package/lib/Graphs/ICFG.cpp +24 -21
  106. package/lib/MemoryModel/SymbolTableInfo.cpp +6 -11
  107. package/lib/SVF-FE/LLVMUtil.cpp +21 -4
  108. package/lib/SVF-FE/SymbolTableBuilder.cpp +16 -30
  109. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1MemObj.html CHANGED
@@ -92,6 +92,9 @@ Public Member Functions</h2></td></tr>
92
92
  <tr class="memitem:aa4fa7a1b86d66692ffffeaee0e187216"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">getType</a> () const</td></tr>
93
93
  <tr class="memdesc:aa4fa7a1b86d66692ffffeaee0e187216"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get obj type. <a href="#aa4fa7a1b86d66692ffffeaee0e187216">More...</a><br /></td></tr>
94
94
  <tr class="separator:aa4fa7a1b86d66692ffffeaee0e187216"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
+ <tr class="memitem:aa14b59ba9e14140bf158f3c4ebef9fa5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#aa14b59ba9e14140bf158f3c4ebef9fa5">getNumOfElements</a> () const</td></tr>
96
+ <tr class="memdesc:aa14b59ba9e14140bf158f3c4ebef9fa5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get the number of elements of this object. <a href="#aa14b59ba9e14140bf158f3c4ebef9fa5">More...</a><br /></td></tr>
97
+ <tr class="separator:aa14b59ba9e14140bf158f3c4ebef9fa5"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
98
  <tr class="memitem:a51be7ad70bc2c6a4230bd2f6b86bdc88"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">getMaxFieldOffsetLimit</a> () const</td></tr>
96
99
  <tr class="memdesc:a51be7ad70bc2c6a4230bd2f6b86bdc88"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get max field offset limit. <a href="#a51be7ad70bc2c6a4230bd2f6b86bdc88">More...</a><br /></td></tr>
97
100
  <tr class="separator:a51be7ad70bc2c6a4230bd2f6b86bdc88"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -231,7 +234,7 @@ Private Attributes</h2></td></tr>
231
234
  <p>Destructor. </p>
232
235
 
233
236
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00420">420</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
234
- <div class="fragment"><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; {</div><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; <a class="code" href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">destroy</a>();</div><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; }</div><div class="ttc" id="classSVF_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#l00665">SymbolTableInfo.cpp:665</a></div></div>
237
+ <div class="fragment"><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; {</div><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; <a class="code" href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">destroy</a>();</div><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; }</div><div class="ttc" id="classSVF_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#l00660">SymbolTableInfo.cpp:660</a></div></div>
235
238
  </div><!-- fragment -->
236
239
  </div>
237
240
  </div>
@@ -253,8 +256,8 @@ Private Attributes</h2></td></tr>
253
256
 
254
257
  <p>Clean up memory. </p>
255
258
 
256
- <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>
257
- <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="keyword">delete</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>;</div><div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160; <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00669"></a><span class="lineno"> 669</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#l00409">SymbolTableInfo.h:409</a></div></div>
259
+ <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>
260
+ <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="keyword">delete</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>;</div><div class="line"><a name="l00663"></a><span class="lineno"> 663</span>&#160; <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00664"></a><span class="lineno"> 664</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#l00409">SymbolTableInfo.h:409</a></div></div>
258
261
  </div><!-- fragment -->
259
262
  </div>
260
263
  </div>
@@ -305,9 +308,32 @@ Private Attributes</h2></td></tr>
305
308
 
306
309
  <p>Get max field offset limit. </p>
307
310
 
308
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00672">672</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
309
- <div class="fragment"><div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160;{</div><div class="line"><a name="l00674"></a><span class="lineno"> 674</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="l00675"></a><span class="lineno"> 675</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#l00409">SymbolTableInfo.h:409</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#l00630">SymbolTableInfo.h:630</a></div></div>
311
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00667">667</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
312
+ <div class="fragment"><div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160;{</div><div class="line"><a name="l00669"></a><span class="lineno"> 669</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="l00670"></a><span class="lineno"> 670</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#l00409">SymbolTableInfo.h:409</a></div></div>
313
+ <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#l00633">SymbolTableInfo.h:633</a></div></div>
314
+ </div><!-- fragment -->
315
+ </div>
316
+ </div>
317
+ <a id="aa14b59ba9e14140bf158f3c4ebef9fa5"></a>
318
+ <h2 class="memtitle"><span class="permalink"><a href="#aa14b59ba9e14140bf158f3c4ebef9fa5">&#9670;&nbsp;</a></span>getNumOfElements()</h2>
319
+
320
+ <div class="memitem">
321
+ <div class="memproto">
322
+ <table class="memname">
323
+ <tr>
324
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> MemObj::getNumOfElements </td>
325
+ <td>(</td>
326
+ <td class="paramname"></td><td>)</td>
327
+ <td> const</td>
328
+ </tr>
329
+ </table>
330
+ </div><div class="memdoc">
331
+
332
+ <p>Get the number of elements of this object. </p>
333
+
334
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00647">647</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
335
+ <div class="fragment"><div class="line"><a name="l00648"></a><span class="lineno"> 648</span>&#160;{</div><div class="line"><a name="l00649"></a><span class="lineno"> 649</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#a9329740d5db9212c69ed28ca6410559e">getNumOfElements</a>();</div><div class="line"><a name="l00650"></a><span class="lineno"> 650</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#l00409">SymbolTableInfo.h:409</a></div></div>
336
+ <div class="ttc" id="classSVF_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#l00652">SymbolTableInfo.h:652</a></div></div>
311
337
  </div><!-- fragment -->
312
338
  </div>
313
339
  </div>
@@ -329,13 +355,9 @@ Private Attributes</h2></td></tr>
329
355
  <p>Get obj type. </p>
330
356
  <p>Get obj type info. </p>
331
357
 
332
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00648">648</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
333
- <div class="fragment"><div class="line"><a name="l00649"></a><span class="lineno"> 649</span>&#160;{</div><div class="line"><a name="l00650"></a><span class="lineno"> 650</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="l00651"></a><span class="lineno"> 651</span>&#160; {</div><div class="line"><a name="l00652"></a><span class="lineno"> 652</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="l00653"></a><span class="lineno"> 653</span>&#160; <span class="keywordflow">return</span> type-&gt;getElementType();</div><div class="line"><a name="l00654"></a><span class="lineno"> 654</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00655"></a><span class="lineno"> 655</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="l00656"></a><span class="lineno"> 656</span>&#160; }</div><div class="line"><a name="l00657"></a><span class="lineno"> 657</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="l00658"></a><span class="lineno"> 658</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="l00659"></a><span class="lineno"> 659</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00660"></a><span class="lineno"> 660</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="l00661"></a><span class="lineno"> 661</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#l00409">SymbolTableInfo.h:409</a></div></div>
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="Util_2BasicTypes_8h_source.html#l00103">BasicTypes.h:103</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#l00624">SymbolTableInfo.h:624</a></div></div>
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#l00709">SymbolTableInfo.cpp:709</a></div></div>
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#l00428">SymbolTableInfo.h:428</a></div></div>
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#l00270">LLVMUtil.cpp:270</a></div></div>
358
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00653">653</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
359
+ <div class="fragment"><div class="line"><a name="l00654"></a><span class="lineno"> 654</span>&#160;{</div><div class="line"><a name="l00655"></a><span class="lineno"> 655</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="l00656"></a><span class="lineno"> 656</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#l00409">SymbolTableInfo.h:409</a></div></div>
360
+ <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#l00627">SymbolTableInfo.h:627</a></div></div>
339
361
  </div><!-- fragment -->
340
362
  </div>
341
363
  </div>
@@ -384,9 +406,9 @@ Private Attributes</h2></td></tr>
384
406
  </table>
385
407
  </div><div class="memdoc">
386
408
 
387
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00754">754</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
388
- <div class="fragment"><div class="line"><a name="l00755"></a><span class="lineno"> 755</span>&#160;{</div><div class="line"><a name="l00756"></a><span class="lineno"> 756</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="l00757"></a><span class="lineno"> 757</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#l00409">SymbolTableInfo.h:409</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#l00725">SymbolTableInfo.h:725</a></div></div>
409
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00749">749</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
410
+ <div class="fragment"><div class="line"><a name="l00750"></a><span class="lineno"> 750</span>&#160;{</div><div class="line"><a name="l00751"></a><span class="lineno"> 751</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="l00752"></a><span class="lineno"> 752</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#l00409">SymbolTableInfo.h:409</a></div></div>
411
+ <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#l00728">SymbolTableInfo.h:728</a></div></div>
390
412
  </div><!-- fragment -->
391
413
  </div>
392
414
  </div>
@@ -405,9 +427,9 @@ Private Attributes</h2></td></tr>
405
427
  </table>
406
428
  </div><div class="memdoc">
407
429
 
408
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00719">719</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
409
- <div class="fragment"><div class="line"><a name="l00720"></a><span class="lineno"> 720</span>&#160;{</div><div class="line"><a name="l00721"></a><span class="lineno"> 721</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="l00722"></a><span class="lineno"> 722</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#l00409">SymbolTableInfo.h:409</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#l00713">SymbolTableInfo.h:713</a></div></div>
430
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00714">714</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
431
+ <div class="fragment"><div class="line"><a name="l00715"></a><span class="lineno"> 715</span>&#160;{</div><div class="line"><a name="l00716"></a><span class="lineno"> 716</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="l00717"></a><span class="lineno"> 717</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#l00409">SymbolTableInfo.h:409</a></div></div>
432
+ <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#l00716">SymbolTableInfo.h:716</a></div></div>
411
433
  </div><!-- fragment -->
412
434
  </div>
413
435
  </div>
@@ -450,9 +472,9 @@ Private Attributes</h2></td></tr>
450
472
  </table>
451
473
  </div><div class="memdoc">
452
474
 
453
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00739">739</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
454
- <div class="fragment"><div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160;{</div><div class="line"><a name="l00741"></a><span class="lineno"> 741</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="l00742"></a><span class="lineno"> 742</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#l00409">SymbolTableInfo.h:409</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#l00709">SymbolTableInfo.h:709</a></div></div>
475
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00734">734</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
476
+ <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; <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="l00737"></a><span class="lineno"> 737</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#l00409">SymbolTableInfo.h:409</a></div></div>
477
+ <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#l00712">SymbolTableInfo.h:712</a></div></div>
456
478
  </div><!-- fragment -->
457
479
  </div>
458
480
  </div>
@@ -471,9 +493,9 @@ Private Attributes</h2></td></tr>
471
493
  </table>
472
494
  </div><div class="memdoc">
473
495
 
474
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00749">749</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
475
- <div class="fragment"><div class="line"><a name="l00750"></a><span class="lineno"> 750</span>&#160;{</div><div class="line"><a name="l00751"></a><span class="lineno"> 751</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="l00752"></a><span class="lineno"> 752</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#l00409">SymbolTableInfo.h:409</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#l00721">SymbolTableInfo.h:721</a></div></div>
496
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00744">744</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
497
+ <div class="fragment"><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160;{</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</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="l00747"></a><span class="lineno"> 747</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#l00409">SymbolTableInfo.h:409</a></div></div>
498
+ <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#l00724">SymbolTableInfo.h:724</a></div></div>
477
499
  </div><!-- fragment -->
478
500
  </div>
479
501
  </div>
@@ -492,9 +514,9 @@ Private Attributes</h2></td></tr>
492
514
  </table>
493
515
  </div><div class="memdoc">
494
516
 
495
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00734">734</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
496
- <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; <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="l00737"></a><span class="lineno"> 737</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#l00409">SymbolTableInfo.h:409</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#l00697">SymbolTableInfo.h:697</a></div></div>
517
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00729">729</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
518
+ <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; <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="l00732"></a><span class="lineno"> 732</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#l00409">SymbolTableInfo.h:409</a></div></div>
519
+ <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#l00700">SymbolTableInfo.h:700</a></div></div>
498
520
  </div><!-- fragment -->
499
521
  </div>
500
522
  </div>
@@ -513,9 +535,9 @@ Private Attributes</h2></td></tr>
513
535
  </table>
514
536
  </div><div class="memdoc">
515
537
 
516
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00744">744</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
517
- <div class="fragment"><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160;{</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</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="l00747"></a><span class="lineno"> 747</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#l00409">SymbolTableInfo.h:409</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#l00717">SymbolTableInfo.h:717</a></div></div>
538
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00739">739</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
539
+ <div class="fragment"><div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160;{</div><div class="line"><a name="l00741"></a><span class="lineno"> 741</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="l00742"></a><span class="lineno"> 742</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#l00409">SymbolTableInfo.h:409</a></div></div>
540
+ <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#l00720">SymbolTableInfo.h:720</a></div></div>
519
541
  </div><!-- fragment -->
520
542
  </div>
521
543
  </div>
@@ -536,8 +558,8 @@ Private Attributes</h2></td></tr>
536
558
 
537
559
  <p>Return true if its field limit is 0. </p>
538
560
 
539
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00678">678</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
540
- <div class="fragment"><div class="line"><a name="l00679"></a><span class="lineno"> 679</span>&#160;{</div><div class="line"><a name="l00680"></a><span class="lineno"> 680</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">getMaxFieldOffsetLimit</a>() == 0;</div><div class="line"><a name="l00681"></a><span class="lineno"> 681</span>&#160;}</div><div class="ttc" id="classSVF_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#l00672">SymbolTableInfo.cpp:672</a></div></div>
561
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00673">673</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
562
+ <div class="fragment"><div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160;{</div><div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">getMaxFieldOffsetLimit</a>() == 0;</div><div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160;}</div><div class="ttc" id="classSVF_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#l00667">SymbolTableInfo.cpp:667</a></div></div>
541
563
  </div><!-- fragment -->
542
564
  </div>
543
565
  </div>
@@ -558,9 +580,9 @@ Private Attributes</h2></td></tr>
558
580
 
559
581
  <p>object attributes methods </p>
560
582
 
561
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00689">689</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
562
- <div class="fragment"><div class="line"><a name="l00690"></a><span class="lineno"> 690</span>&#160;{</div><div class="line"><a name="l00691"></a><span class="lineno"> 691</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="l00692"></a><span class="lineno"> 692</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#l00409">SymbolTableInfo.h:409</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#l00668">SymbolTableInfo.h:668</a></div></div>
583
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00684">684</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
584
+ <div class="fragment"><div class="line"><a name="l00685"></a><span class="lineno"> 685</span>&#160;{</div><div class="line"><a name="l00686"></a><span class="lineno"> 686</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="l00687"></a><span class="lineno"> 687</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#l00409">SymbolTableInfo.h:409</a></div></div>
585
+ <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#l00671">SymbolTableInfo.h:671</a></div></div>
564
586
  </div><!-- fragment -->
565
587
  </div>
566
588
  </div>
@@ -579,9 +601,9 @@ Private Attributes</h2></td></tr>
579
601
  </table>
580
602
  </div><div class="memdoc">
581
603
 
582
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00694">694</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
583
- <div class="fragment"><div class="line"><a name="l00695"></a><span class="lineno"> 695</span>&#160;{</div><div class="line"><a name="l00696"></a><span class="lineno"> 696</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="l00697"></a><span class="lineno"> 697</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#l00409">SymbolTableInfo.h:409</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#l00672">SymbolTableInfo.h:672</a></div></div>
604
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00689">689</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
605
+ <div class="fragment"><div class="line"><a name="l00690"></a><span class="lineno"> 690</span>&#160;{</div><div class="line"><a name="l00691"></a><span class="lineno"> 691</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="l00692"></a><span class="lineno"> 692</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#l00409">SymbolTableInfo.h:409</a></div></div>
606
+ <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#l00675">SymbolTableInfo.h:675</a></div></div>
585
607
  </div><!-- fragment -->
586
608
  </div>
587
609
  </div>
@@ -600,9 +622,9 @@ Private Attributes</h2></td></tr>
600
622
  </table>
601
623
  </div><div class="memdoc">
602
624
 
603
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00709">709</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
604
- <div class="fragment"><div class="line"><a name="l00710"></a><span class="lineno"> 710</span>&#160;{</div><div class="line"><a name="l00711"></a><span class="lineno"> 711</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="l00712"></a><span class="lineno"> 712</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#l00409">SymbolTableInfo.h:409</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#l00684">SymbolTableInfo.h:684</a></div></div>
625
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00704">704</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
626
+ <div class="fragment"><div class="line"><a name="l00705"></a><span class="lineno"> 705</span>&#160;{</div><div class="line"><a name="l00706"></a><span class="lineno"> 706</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="l00707"></a><span class="lineno"> 707</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#l00409">SymbolTableInfo.h:409</a></div></div>
627
+ <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#l00687">SymbolTableInfo.h:687</a></div></div>
606
628
  </div><!-- fragment -->
607
629
  </div>
608
630
  </div>
@@ -622,8 +644,8 @@ Private Attributes</h2></td></tr>
622
644
  </table>
623
645
  </div><div class="memdoc">
624
646
 
625
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00759">759</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
626
- <div class="fragment"><div class="line"><a name="l00760"></a><span class="lineno"> 760</span>&#160;{</div><div class="line"><a name="l00761"></a><span class="lineno"> 761</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="l00762"></a><span class="lineno"> 762</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#l00409">SymbolTableInfo.h:409</a></div></div>
647
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00754">754</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
648
+ <div class="fragment"><div class="line"><a name="l00755"></a><span class="lineno"> 755</span>&#160;{</div><div class="line"><a name="l00756"></a><span class="lineno"> 756</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="l00757"></a><span class="lineno"> 757</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#l00409">SymbolTableInfo.h:409</a></div></div>
627
649
  <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#l00596">SymbolTableInfo.cpp:596</a></div></div>
628
650
  </div><!-- fragment -->
629
651
  </div>
@@ -643,9 +665,9 @@ Private Attributes</h2></td></tr>
643
665
  </table>
644
666
  </div><div class="memdoc">
645
667
 
646
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00704">704</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
647
- <div class="fragment"><div class="line"><a name="l00705"></a><span class="lineno"> 705</span>&#160;{</div><div class="line"><a name="l00706"></a><span class="lineno"> 706</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="l00707"></a><span class="lineno"> 707</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#l00409">SymbolTableInfo.h:409</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#l00680">SymbolTableInfo.h:680</a></div></div>
668
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00699">699</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
669
+ <div class="fragment"><div class="line"><a name="l00700"></a><span class="lineno"> 700</span>&#160;{</div><div class="line"><a name="l00701"></a><span class="lineno"> 701</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="l00702"></a><span class="lineno"> 702</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#l00409">SymbolTableInfo.h:409</a></div></div>
670
+ <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#l00683">SymbolTableInfo.h:683</a></div></div>
649
671
  </div><!-- fragment -->
650
672
  </div>
651
673
  </div>
@@ -664,9 +686,9 @@ Private Attributes</h2></td></tr>
664
686
  </table>
665
687
  </div><div class="memdoc">
666
688
 
667
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00699">699</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
668
- <div class="fragment"><div class="line"><a name="l00700"></a><span class="lineno"> 700</span>&#160;{</div><div class="line"><a name="l00701"></a><span class="lineno"> 701</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="l00702"></a><span class="lineno"> 702</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#l00409">SymbolTableInfo.h:409</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#l00676">SymbolTableInfo.h:676</a></div></div>
689
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00694">694</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
690
+ <div class="fragment"><div class="line"><a name="l00695"></a><span class="lineno"> 695</span>&#160;{</div><div class="line"><a name="l00696"></a><span class="lineno"> 696</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="l00697"></a><span class="lineno"> 697</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#l00409">SymbolTableInfo.h:409</a></div></div>
691
+ <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#l00679">SymbolTableInfo.h:679</a></div></div>
670
692
  </div><!-- fragment -->
671
693
  </div>
672
694
  </div>
@@ -685,9 +707,9 @@ Private Attributes</h2></td></tr>
685
707
  </table>
686
708
  </div><div class="memdoc">
687
709
 
688
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00714">714</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
689
- <div class="fragment"><div class="line"><a name="l00715"></a><span class="lineno"> 715</span>&#160;{</div><div class="line"><a name="l00716"></a><span class="lineno"> 716</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="l00717"></a><span class="lineno"> 717</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#l00409">SymbolTableInfo.h:409</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#l00701">SymbolTableInfo.h:701</a></div></div>
710
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00709">709</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
711
+ <div class="fragment"><div class="line"><a name="l00710"></a><span class="lineno"> 710</span>&#160;{</div><div class="line"><a name="l00711"></a><span class="lineno"> 711</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="l00712"></a><span class="lineno"> 712</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#l00409">SymbolTableInfo.h:409</a></div></div>
712
+ <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#l00704">SymbolTableInfo.h:704</a></div></div>
691
713
  </div><!-- fragment -->
692
714
  </div>
693
715
  </div>
@@ -706,9 +728,9 @@ Private Attributes</h2></td></tr>
706
728
  </table>
707
729
  </div><div class="memdoc">
708
730
 
709
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00729">729</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
710
- <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; <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="l00732"></a><span class="lineno"> 732</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#l00409">SymbolTableInfo.h:409</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#l00705">SymbolTableInfo.h:705</a></div></div>
731
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00724">724</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
732
+ <div class="fragment"><div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160;{</div><div class="line"><a name="l00726"></a><span class="lineno"> 726</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="l00727"></a><span class="lineno"> 727</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#l00409">SymbolTableInfo.h:409</a></div></div>
733
+ <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#l00708">SymbolTableInfo.h:708</a></div></div>
712
734
  </div><!-- fragment -->
713
735
  </div>
714
736
  </div>
@@ -727,9 +749,9 @@ Private Attributes</h2></td></tr>
727
749
  </table>
728
750
  </div><div class="memdoc">
729
751
 
730
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00724">724</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
731
- <div class="fragment"><div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160;{</div><div class="line"><a name="l00726"></a><span class="lineno"> 726</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="l00727"></a><span class="lineno"> 727</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#l00409">SymbolTableInfo.h:409</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#l00693">SymbolTableInfo.h:693</a></div></div>
752
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00719">719</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
753
+ <div class="fragment"><div class="line"><a name="l00720"></a><span class="lineno"> 720</span>&#160;{</div><div class="line"><a name="l00721"></a><span class="lineno"> 721</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="l00722"></a><span class="lineno"> 722</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#l00409">SymbolTableInfo.h:409</a></div></div>
754
+ <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#l00696">SymbolTableInfo.h:696</a></div></div>
733
755
  </div><!-- fragment -->
734
756
  </div>
735
757
  </div>
@@ -759,8 +781,8 @@ Private Attributes</h2></td></tr>
759
781
 
760
782
  <p>Operator overloading. </p>
761
783
 
762
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00477">477</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
763
- <div class="fragment"><div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; {</div><div class="line"><a name="l00479"></a><span class="lineno"> 479</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="l00480"></a><span class="lineno"> 480</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#l00428">SymbolTableInfo.h:428</a></div></div>
784
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00480">480</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
785
+ <div class="fragment"><div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; {</div><div class="line"><a name="l00482"></a><span class="lineno"> 482</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="l00483"></a><span class="lineno"> 483</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#l00428">SymbolTableInfo.h:428</a></div></div>
764
786
  </div><!-- fragment -->
765
787
  </div>
766
788
  </div>
@@ -781,9 +803,9 @@ Private Attributes</h2></td></tr>
781
803
 
782
804
  <p>Set the memory object to be field insensitive. </p>
783
805
 
784
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00684">684</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
785
- <div class="fragment"><div class="line"><a name="l00685"></a><span class="lineno"> 685</span>&#160;{</div><div class="line"><a name="l00686"></a><span class="lineno"> 686</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="l00687"></a><span class="lineno"> 687</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#l00409">SymbolTableInfo.h:409</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#l00636">SymbolTableInfo.h:636</a></div></div>
806
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00679">679</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
807
+ <div class="fragment"><div class="line"><a name="l00680"></a><span class="lineno"> 680</span>&#160;{</div><div class="line"><a name="l00681"></a><span class="lineno"> 681</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="l00682"></a><span class="lineno"> 682</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#l00409">SymbolTableInfo.h:409</a></div></div>
808
+ <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#l00639">SymbolTableInfo.h:639</a></div></div>
787
809
  </div><!-- fragment -->
788
810
  </div>
789
811
  </div>
@@ -806,9 +828,9 @@ Private Attributes</h2></td></tr>
806
828
  <p>Set mem object to be field sensitive (up to maximum field limit) </p>
807
829
 
808
830
  <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00624">624</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
809
- <div class="fragment"><div class="line"><a name="l00625"></a><span class="lineno"> 625</span>&#160;{</div><div class="line"><a name="l00626"></a><span class="lineno"> 626</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_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a357e0965ff2a6d5468c87809fcdb2eb9">getNumOfElements</a>());</div><div class="line"><a name="l00627"></a><span class="lineno"> 627</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#l00409">SymbolTableInfo.h:409</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#l00636">SymbolTableInfo.h:636</a></div></div>
811
- <div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a357e0965ff2a6d5468c87809fcdb2eb9"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a357e0965ff2a6d5468c87809fcdb2eb9">SVF::ObjTypeInfo::getNumOfElements</a></div><div class="ttdeci">u32_t getNumOfElements()</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#l00649">SymbolTableInfo.h:649</a></div></div>
831
+ <div class="fragment"><div class="line"><a name="l00625"></a><span class="lineno"> 625</span>&#160;{</div><div class="line"><a name="l00626"></a><span class="lineno"> 626</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_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a9329740d5db9212c69ed28ca6410559e">getNumOfElements</a>());</div><div class="line"><a name="l00627"></a><span class="lineno"> 627</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#l00409">SymbolTableInfo.h:409</a></div></div>
832
+ <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#l00639">SymbolTableInfo.h:639</a></div></div>
833
+ <div class="ttc" id="classSVF_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#l00652">SymbolTableInfo.h:652</a></div></div>
812
834
  </div><!-- fragment -->
813
835
  </div>
814
836
  </div>
@@ -835,8 +857,8 @@ Private Attributes</h2></td></tr>
835
857
  </table>
836
858
  </div><div class="memdoc">
837
859
 
838
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00764">764</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
839
- <div class="fragment"><div class="line"><a name="l00764"></a><span class="lineno"> 764</span>&#160; {</div><div class="line"><a name="l00765"></a><span class="lineno"> 765</span>&#160; std::string str;</div><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00767"></a><span class="lineno"> 767</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="l00768"></a><span class="lineno"> 768</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00769"></a><span class="lineno"> 769</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="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
860
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00759">759</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
861
+ <div class="fragment"><div class="line"><a name="l00759"></a><span class="lineno"> 759</span>&#160; {</div><div class="line"><a name="l00760"></a><span class="lineno"> 760</span>&#160; std::string str;</div><div class="line"><a name="l00761"></a><span class="lineno"> 761</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00762"></a><span class="lineno"> 762</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="l00763"></a><span class="lineno"> 763</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00764"></a><span class="lineno"> 764</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="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
840
862
  <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>
841
863
  <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#l00434">SymbolTableInfo.h:434</a></div></div>
842
864
  <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#l00428">SymbolTableInfo.h:428</a></div></div>