svf-tools 1.0.831 → 1.0.832

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (230) hide show
  1. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/DCHG_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +3 -3
  4. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +5 -5
  5. package/SVF-doxygen/html/LLVMUtil_8h.html +3 -8
  6. package/SVF-doxygen/html/LLVMUtil_8h_source.html +332 -371
  7. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +10 -10
  8. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +198 -198
  10. package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +4 -4
  11. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +1 -1
  12. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +1 -1
  13. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +3 -3
  14. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +11 -11
  15. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +194 -194
  16. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +210 -301
  17. package/SVF-doxygen/html/namespacemembers_func_g.html +0 -6
  18. package/SVF-doxygen/html/namespacemembers_func_i.html +9 -6
  19. package/SVF-doxygen/html/namespacemembers_g.html +4 -10
  20. package/SVF-doxygen/html/namespacemembers_i.html +10 -7
  21. package/SVF-doxygen/html/search/all_10.js +324 -324
  22. package/SVF-doxygen/html/search/all_11.js +223 -223
  23. package/SVF-doxygen/html/search/all_12.js +553 -553
  24. package/SVF-doxygen/html/search/all_13.js +192 -192
  25. package/SVF-doxygen/html/search/all_14.js +67 -67
  26. package/SVF-doxygen/html/search/all_15.js +167 -167
  27. package/SVF-doxygen/html/search/all_16.js +63 -63
  28. package/SVF-doxygen/html/search/all_17.js +1 -1
  29. package/SVF-doxygen/html/search/all_18.js +1 -1
  30. package/SVF-doxygen/html/search/all_19.js +11 -11
  31. package/SVF-doxygen/html/search/all_1a.js +172 -172
  32. package/SVF-doxygen/html/search/all_7.js +246 -248
  33. package/SVF-doxygen/html/search/all_8.js +198 -198
  34. package/SVF-doxygen/html/search/all_9.js +607 -606
  35. package/SVF-doxygen/html/search/all_a.js +46 -46
  36. package/SVF-doxygen/html/search/all_b.js +26 -26
  37. package/SVF-doxygen/html/search/all_c.js +115 -115
  38. package/SVF-doxygen/html/search/all_d.js +198 -198
  39. package/SVF-doxygen/html/search/all_e.js +207 -207
  40. package/SVF-doxygen/html/search/all_f.js +116 -116
  41. package/SVF-doxygen/html/search/classes_0.js +26 -26
  42. package/SVF-doxygen/html/search/classes_1.js +9 -9
  43. package/SVF-doxygen/html/search/classes_10.js +73 -73
  44. package/SVF-doxygen/html/search/classes_11.js +15 -15
  45. package/SVF-doxygen/html/search/classes_12.js +2 -2
  46. package/SVF-doxygen/html/search/classes_13.js +10 -10
  47. package/SVF-doxygen/html/search/classes_14.js +14 -14
  48. package/SVF-doxygen/html/search/classes_15.js +1 -1
  49. package/SVF-doxygen/html/search/classes_2.js +80 -80
  50. package/SVF-doxygen/html/search/classes_3.js +37 -37
  51. package/SVF-doxygen/html/search/classes_4.js +9 -9
  52. package/SVF-doxygen/html/search/classes_5.js +28 -28
  53. package/SVF-doxygen/html/search/classes_6.js +104 -104
  54. package/SVF-doxygen/html/search/classes_7.js +34 -34
  55. package/SVF-doxygen/html/search/classes_8.js +56 -56
  56. package/SVF-doxygen/html/search/classes_9.js +1 -1
  57. package/SVF-doxygen/html/search/classes_a.js +12 -12
  58. package/SVF-doxygen/html/search/classes_b.js +29 -29
  59. package/SVF-doxygen/html/search/classes_c.js +6 -6
  60. package/SVF-doxygen/html/search/classes_d.js +18 -18
  61. package/SVF-doxygen/html/search/classes_e.js +36 -36
  62. package/SVF-doxygen/html/search/classes_f.js +25 -25
  63. package/SVF-doxygen/html/search/defines_0.js +3 -3
  64. package/SVF-doxygen/html/search/defines_1.js +2 -2
  65. package/SVF-doxygen/html/search/defines_2.js +30 -30
  66. package/SVF-doxygen/html/search/defines_3.js +21 -21
  67. package/SVF-doxygen/html/search/defines_4.js +2 -2
  68. package/SVF-doxygen/html/search/defines_5.js +4 -4
  69. package/SVF-doxygen/html/search/defines_6.js +2 -2
  70. package/SVF-doxygen/html/search/defines_7.js +5 -5
  71. package/SVF-doxygen/html/search/defines_8.js +11 -11
  72. package/SVF-doxygen/html/search/defines_9.js +9 -9
  73. package/SVF-doxygen/html/search/defines_a.js +2 -2
  74. package/SVF-doxygen/html/search/defines_b.js +1 -1
  75. package/SVF-doxygen/html/search/defines_c.js +3 -3
  76. package/SVF-doxygen/html/search/defines_d.js +2 -2
  77. package/SVF-doxygen/html/search/defines_e.js +7 -7
  78. package/SVF-doxygen/html/search/defines_f.js +3 -3
  79. package/SVF-doxygen/html/search/enums_0.js +3 -3
  80. package/SVF-doxygen/html/search/enums_1.js +2 -2
  81. package/SVF-doxygen/html/search/enums_10.js +1 -1
  82. package/SVF-doxygen/html/search/enums_11.js +1 -1
  83. package/SVF-doxygen/html/search/enums_2.js +8 -8
  84. package/SVF-doxygen/html/search/enums_3.js +1 -1
  85. package/SVF-doxygen/html/search/enums_4.js +3 -3
  86. package/SVF-doxygen/html/search/enums_5.js +1 -1
  87. package/SVF-doxygen/html/search/enums_6.js +2 -2
  88. package/SVF-doxygen/html/search/enums_7.js +2 -2
  89. package/SVF-doxygen/html/search/enums_8.js +4 -4
  90. package/SVF-doxygen/html/search/enums_9.js +1 -1
  91. package/SVF-doxygen/html/search/enums_a.js +1 -1
  92. package/SVF-doxygen/html/search/enums_b.js +7 -7
  93. package/SVF-doxygen/html/search/enums_c.js +1 -1
  94. package/SVF-doxygen/html/search/enums_d.js +4 -4
  95. package/SVF-doxygen/html/search/enums_e.js +2 -2
  96. package/SVF-doxygen/html/search/enums_f.js +4 -4
  97. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  98. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  99. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  100. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  101. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  102. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  103. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  104. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  105. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  106. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  107. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  108. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  109. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  110. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  111. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  112. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  113. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  114. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  115. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  116. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  117. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  118. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  119. package/SVF-doxygen/html/search/files_0.js +13 -13
  120. package/SVF-doxygen/html/search/files_1.js +7 -7
  121. package/SVF-doxygen/html/search/files_10.js +8 -8
  122. package/SVF-doxygen/html/search/files_11.js +8 -8
  123. package/SVF-doxygen/html/search/files_12.js +2 -2
  124. package/SVF-doxygen/html/search/files_2.js +55 -55
  125. package/SVF-doxygen/html/search/files_3.js +14 -14
  126. package/SVF-doxygen/html/search/files_4.js +5 -5
  127. package/SVF-doxygen/html/search/files_5.js +13 -13
  128. package/SVF-doxygen/html/search/files_6.js +9 -9
  129. package/SVF-doxygen/html/search/files_7.js +14 -14
  130. package/SVF-doxygen/html/search/files_8.js +13 -13
  131. package/SVF-doxygen/html/search/files_9.js +18 -18
  132. package/SVF-doxygen/html/search/files_a.js +3 -3
  133. package/SVF-doxygen/html/search/files_b.js +2 -2
  134. package/SVF-doxygen/html/search/files_c.js +20 -20
  135. package/SVF-doxygen/html/search/files_d.js +4 -4
  136. package/SVF-doxygen/html/search/files_e.js +62 -62
  137. package/SVF-doxygen/html/search/files_f.js +8 -8
  138. package/SVF-doxygen/html/search/functions_0.js +13 -13
  139. package/SVF-doxygen/html/search/functions_1.js +360 -360
  140. package/SVF-doxygen/html/search/functions_10.js +140 -140
  141. package/SVF-doxygen/html/search/functions_11.js +139 -139
  142. package/SVF-doxygen/html/search/functions_12.js +288 -288
  143. package/SVF-doxygen/html/search/functions_13.js +59 -59
  144. package/SVF-doxygen/html/search/functions_14.js +39 -39
  145. package/SVF-doxygen/html/search/functions_15.js +71 -71
  146. package/SVF-doxygen/html/search/functions_16.js +32 -32
  147. package/SVF-doxygen/html/search/functions_17.js +3 -3
  148. package/SVF-doxygen/html/search/functions_18.js +172 -172
  149. package/SVF-doxygen/html/search/functions_2.js +89 -89
  150. package/SVF-doxygen/html/search/functions_3.js +258 -258
  151. package/SVF-doxygen/html/search/functions_4.js +78 -78
  152. package/SVF-doxygen/html/search/functions_5.js +53 -53
  153. package/SVF-doxygen/html/search/functions_6.js +60 -60
  154. package/SVF-doxygen/html/search/functions_7.js +855 -857
  155. package/SVF-doxygen/html/search/functions_8.js +149 -149
  156. package/SVF-doxygen/html/search/functions_9.js +423 -422
  157. package/SVF-doxygen/html/search/functions_a.js +30 -30
  158. package/SVF-doxygen/html/search/functions_b.js +2 -2
  159. package/SVF-doxygen/html/search/functions_c.js +25 -25
  160. package/SVF-doxygen/html/search/functions_d.js +79 -79
  161. package/SVF-doxygen/html/search/functions_e.js +35 -35
  162. package/SVF-doxygen/html/search/functions_f.js +56 -56
  163. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  164. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  165. package/SVF-doxygen/html/search/related_0.js +2 -2
  166. package/SVF-doxygen/html/search/related_1.js +2 -2
  167. package/SVF-doxygen/html/search/related_2.js +2 -2
  168. package/SVF-doxygen/html/search/related_3.js +2 -2
  169. package/SVF-doxygen/html/search/related_4.js +2 -2
  170. package/SVF-doxygen/html/search/related_5.js +1 -1
  171. package/SVF-doxygen/html/search/related_6.js +2 -2
  172. package/SVF-doxygen/html/search/related_7.js +4 -4
  173. package/SVF-doxygen/html/search/related_8.js +2 -2
  174. package/SVF-doxygen/html/search/related_9.js +4 -4
  175. package/SVF-doxygen/html/search/related_a.js +19 -19
  176. package/SVF-doxygen/html/search/related_b.js +4 -4
  177. package/SVF-doxygen/html/search/related_c.js +2 -2
  178. package/SVF-doxygen/html/search/related_d.js +12 -12
  179. package/SVF-doxygen/html/search/related_e.js +2 -2
  180. package/SVF-doxygen/html/search/related_f.js +2 -2
  181. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  182. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  183. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  184. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  185. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  186. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  187. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  188. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  189. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  190. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  191. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  192. package/SVF-doxygen/html/search/typedefs_6.js +56 -56
  193. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  194. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  195. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  196. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  197. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  198. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  199. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  200. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  201. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  202. package/SVF-doxygen/html/search/variables_0.js +151 -151
  203. package/SVF-doxygen/html/search/variables_1.js +75 -75
  204. package/SVF-doxygen/html/search/variables_10.js +97 -97
  205. package/SVF-doxygen/html/search/variables_11.js +44 -44
  206. package/SVF-doxygen/html/search/variables_12.js +92 -92
  207. package/SVF-doxygen/html/search/variables_13.js +76 -76
  208. package/SVF-doxygen/html/search/variables_14.js +14 -14
  209. package/SVF-doxygen/html/search/variables_15.js +48 -48
  210. package/SVF-doxygen/html/search/variables_16.js +9 -9
  211. package/SVF-doxygen/html/search/variables_17.js +1 -1
  212. package/SVF-doxygen/html/search/variables_18.js +2 -2
  213. package/SVF-doxygen/html/search/variables_2.js +38 -38
  214. package/SVF-doxygen/html/search/variables_3.js +142 -142
  215. package/SVF-doxygen/html/search/variables_4.js +55 -55
  216. package/SVF-doxygen/html/search/variables_5.js +37 -37
  217. package/SVF-doxygen/html/search/variables_6.js +66 -66
  218. package/SVF-doxygen/html/search/variables_7.js +34 -34
  219. package/SVF-doxygen/html/search/variables_8.js +7 -7
  220. package/SVF-doxygen/html/search/variables_9.js +78 -78
  221. package/SVF-doxygen/html/search/variables_a.js +4 -4
  222. package/SVF-doxygen/html/search/variables_b.js +10 -10
  223. package/SVF-doxygen/html/search/variables_c.js +45 -45
  224. package/SVF-doxygen/html/search/variables_d.js +56 -56
  225. package/SVF-doxygen/html/search/variables_e.js +123 -123
  226. package/SVF-doxygen/html/search/variables_f.js +30 -30
  227. package/package.json +1 -1
  228. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +1 -33
  229. package/svf-llvm/lib/LLVMUtil.cpp +1 -1
  230. package/svf-llvm/lib/SymbolTableBuilder.cpp +8 -8
@@ -804,7 +804,7 @@ $(function() {
804
804
  <div class="ttc" id="aclassSVF_1_1CHNode_html_aa4af6538c9994ec54a7b82691f846a31"><div class="ttname"><a href="classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31">SVF::CHNode::FuncVector</a></div><div class="ttdeci">std::vector&lt; const SVFFunction * &gt; FuncVector</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00121">CHG.h:121</a></div></div>
805
805
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
806
806
  <div class="ttc" id="acJSON_8cpp_html_ad00efb41ca386db28bacc7aefe79535c"><div class="ttname"><a href="cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c">child</a></div><div class="ttdeci">cJSON * child</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02723">cJSON.cpp:2723</a></div></div>
807
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_af983b0e1fbd371d8672e8f03f63084fc"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc">SVF::LLVMUtil::isCastConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isCastConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00269">LLVMUtil.h:269</a></div></div>
807
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_af983b0e1fbd371d8672e8f03f63084fc"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc">SVF::LLVMUtil::isCastConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isCastConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00237">LLVMUtil.h:237</a></div></div>
808
808
  <div class="ttc" id="aclassSVF_1_1CHGBuilder_html_a2828eb6b2bd86d6f279967c34da8e7e4"><div class="ttname"><a href="classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4">SVF::CHGBuilder::analyzeVTables</a></div><div class="ttdeci">void analyzeVTables(const Module &amp;M)</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00361">CHGBuilder.cpp:361</a></div></div>
809
809
  <div class="ttc" id="aclassSVF_1_1CHGBuilder_html_a443b021eb2b08b92164515750385b058"><div class="ttname"><a href="classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058">SVF::CHGBuilder::readInheritanceMetadataFromModule</a></div><div class="ttdeci">void readInheritanceMetadataFromModule(const Module &amp;M)</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00214">CHGBuilder.cpp:214</a></div></div>
810
810
  <div class="ttc" id="anamespaceSVF_html_a0fd33072b099f61eaa642e94ed0c03fc"><div class="ttname"><a href="namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc">SVF::GlobalAlias</a></div><div class="ttdeci">llvm::GlobalAlias GlobalAlias</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
@@ -1373,7 +1373,7 @@ $(function() {
1373
1373
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph&lt; DCHNode, DCHEdge &gt;::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
1374
1374
  <div class="ttc" id="anamespaceSVF_html_a09f5fa3bc44bf53612a085e3a611cc4e"><div class="ttname"><a href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">SVF::GlobalVariable</a></div><div class="ttdeci">llvm::GlobalVariable GlobalVariable</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
1375
1375
  <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a6d97a772afe16c1483e65eea81f82603"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603">SVF::DCHGraph::handleTypedef</a></div><div class="ttdeci">void handleTypedef(const DIType *typedefType)</div><div class="ttdoc">Attaches the typedef(s) to the base node.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00137">DCHG.cpp:137</a></div></div>
1376
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a63222955897ba34e921b9cfd8a2a3619"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a63222955897ba34e921b9cfd8a2a3619">SVF::LLVMUtil::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction(const std::string &amp;name)</div><div class="ttdoc">Get the corresponding Function based on its name.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00414">LLVMUtil.h:414</a></div></div>
1376
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a63222955897ba34e921b9cfd8a2a3619"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a63222955897ba34e921b9cfd8a2a3619">SVF::LLVMUtil::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction(const std::string &amp;name)</div><div class="ttdoc">Get the corresponding Function based on its name.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00382">LLVMUtil.h:382</a></div></div>
1377
1377
  <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
1378
1378
  <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a9d2be5aec5216cbc1d1709b41f79c44b"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b">SVF::DCHGraph::isAgg</a></div><div class="ttdeci">static bool isAgg(const DIType *t)</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00344">DCHG.cpp:344</a></div></div>
1379
1379
  <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
@@ -1663,7 +1663,7 @@ $(function() {
1663
1663
  <div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00828">SVFValue.h:828</a></div></div>
1664
1664
  <div class="ttc" id="anamespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00085">BasicTypes.h:85</a></div></div>
1665
1665
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a3a23aa54459a068e16c96e5b5eb72f77"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a3a23aa54459a068e16c96e5b5eb72f77">SVF::LLVMUtil::getVCallVtblPtr</a></div><div class="ttdeci">const Value * getVCallVtblPtr(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01180">LLVMUtil.cpp:1180</a></div></div>
1666
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a8a77403306e97ab4cb31a56d38bba5be"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a8a77403306e97ab4cb31a56d38bba5be">SVF::LLVMUtil::isConstDataOrAggData</a></div><div class="ttdeci">bool isConstDataOrAggData(const Value *val)</div><div class="ttdoc">Return true if the value refers to constant data, e.g., i32 0.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00420">LLVMUtil.h:420</a></div></div>
1666
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a8a77403306e97ab4cb31a56d38bba5be"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a8a77403306e97ab4cb31a56d38bba5be">SVF::LLVMUtil::isConstDataOrAggData</a></div><div class="ttdeci">bool isConstDataOrAggData(const Value *val)</div><div class="ttdoc">Return true if the value refers to constant data, e.g., i32 0.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00388">LLVMUtil.h:388</a></div></div>
1667
1667
  <div class="ttc" id="anamespaceSVF_html_a2bf58575ac7d068e0f1a4cf953b9e6cb"><div class="ttname"><a href="namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb">SVF::StructType</a></div><div class="ttdeci">llvm::StructType StructType</div><div class="ttdoc">LLVM types.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00092">BasicTypes.h:92</a></div></div>
1668
1668
  <div class="ttc" id="anamespaceSVF_html_a2b28f48dde0a9a91d251e654ce1f9477"><div class="ttname"><a href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF::ConstantStruct</a></div><div class="ttdeci">llvm::ConstantStruct ConstantStruct</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
1669
1669
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
@@ -1685,7 +1685,7 @@ $(function() {
1685
1685
  <div class="ttc" id="aSVFModule_8h_html"><div class="ttname"><a href="SVFModule_8h.html">SVFModule.h</a></div></div>
1686
1686
  <div class="ttc" id="aclassSVF_1_1StInfo_html_a1a07c2b1415c29d7d70791c6dfe602a3"><div class="ttname"><a href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">SVF::StInfo::setNumOfFieldsAndElems</a></div><div class="ttdeci">void setNumOfFieldsAndElems(u32_t nf, u32_t ne)</div><div class="ttdoc">Set number of fields and elements of an aggregate.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00218">SVFType.h:218</a></div></div>
1687
1687
  <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a58a764c27354d5f9b70995d30de65f1d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">SVF::ExtAPI::getExtAPI</a></div><div class="ttdeci">static ExtAPI * getExtAPI()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00040">ExtAPI.cpp:40</a></div></div>
1688
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a9e0c786488dfdc4605d4cbcf9943c85a"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a9e0c786488dfdc4605d4cbcf9943c85a">SVF::LLVMUtil::getGlobalRep</a></div><div class="ttdeci">const Value * getGlobalRep(const Value *val)</div><div class="ttdoc">find the unique defined global across multiple modules</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00427">LLVMUtil.h:427</a></div></div>
1688
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a9e0c786488dfdc4605d4cbcf9943c85a"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a9e0c786488dfdc4605d4cbcf9943c85a">SVF::LLVMUtil::getGlobalRep</a></div><div class="ttdeci">const Value * getGlobalRep(const Value *val)</div><div class="ttdoc">find the unique defined global across multiple modules</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00395">LLVMUtil.h:395</a></div></div>
1689
1689
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a8af6b911b728713f66f7c809d5c0fbf1"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1">SVF::LLVMModuleSet::addSVFMain</a></div><div class="ttdeci">void addSVFMain()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00685">LLVMModule.cpp:685</a></div></div>
1690
1690
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a8ba9092747108e0289014d52465a692d"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d">SVF::LLVMModuleSet::initDomTree</a></div><div class="ttdeci">void initDomTree(SVFFunction *func, const Function *f)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00373">LLVMModule.cpp:373</a></div></div>
1691
1691
  <div class="ttc" id="anamespaceSVF_html_aa7a770b5dd5cd0e37d06a1088f252906"><div class="ttname"><a href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF::Module</a></div><div class="ttdeci">llvm::Module Module</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
@@ -1695,7 +1695,7 @@ $(function() {
1695
1695
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a60797e9e8b9cbd6b32cc71fa5d00d80c"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a60797e9e8b9cbd6b32cc71fa5d00d80c">SVF::SVFFunction::back</a></div><div class="ttdeci">const SVFBasicBlock * back() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00427">SVFValue.h:427</a></div></div>
1696
1696
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00309">SVFUtil.h:309</a></div></div>
1697
1697
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a2fdc1bd61b8f6cdf6c07a5059b641b04"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04">SVF::LLVMModuleSet::preProcessBCs</a></div><div class="ttdeci">static void preProcessBCs(std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00470">LLVMModule.cpp:470</a></div></div>
1698
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a428bd75b33fab60988d8758090712f29"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a428bd75b33fab60988d8758090712f29">SVF::LLVMUtil::isArgOfUncalledFunction</a></div><div class="ttdeci">bool isArgOfUncalledFunction(const Value *val)</div><div class="ttdoc">Return true if the argument in a function does not have a caller.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00206">LLVMUtil.h:206</a></div></div>
1698
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a428bd75b33fab60988d8758090712f29"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a428bd75b33fab60988d8758090712f29">SVF::LLVMUtil::isArgOfUncalledFunction</a></div><div class="ttdeci">bool isArgOfUncalledFunction(const Value *val)</div><div class="ttdoc">Return true if the argument in a function does not have a caller.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00177">LLVMUtil.h:177</a></div></div>
1699
1699
  <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_ac979b49b449b97b2a23f195cb107ec77"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77">SVF::SVFCallInst::addArgument</a></div><div class="ttdeci">void addArgument(const SVFValue *a)</div><div class="ttdoc">attributes to be set only through Module builders e.g., LLVMModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00708">SVFValue.h:708</a></div></div>
1700
1700
  <div class="ttc" id="anamespaceSVF_html_ab34383ee87cd45eb485fa29db482ffef"><div class="ttname"><a href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF::PostDominatorTree</a></div><div class="ttdeci">llvm::PostDominatorTree PostDominatorTree</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00134">BasicTypes.h:134</a></div></div>
1701
1701
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_aa8de934358332505d4805db137d8ec29"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#aa8de934358332505d4805db137d8ec29">SVF::LLVMModuleSet::collectArrayInfo</a></div><div class="ttdeci">StInfo * collectArrayInfo(const ArrayType *T)</div><div class="ttdoc">Collect the array info.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01397">LLVMModule.cpp:1397</a></div></div>
@@ -472,7 +472,7 @@ $(function() {
472
472
  <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
473
473
  <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160;}</div>
474
474
  <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; </div>
475
- <div class="line"><a name="l00441"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1LLVMUtil.html#ae368713463c84425f9a1ad27ff401a47"> 441</a></span>&#160;<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>* <a class="code" href="namespaceSVF_1_1LLVMUtil.html#ae368713463c84425f9a1ad27ff401a47">LLVMUtil::getTypeOfHeapAlloc</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst)</div>
475
+ <div class="line"><a name="l00441"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1LLVMUtil.html#a9a7e07cbd487e829059f52a0fb62693f"> 441</a></span>&#160;<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>* <a class="code" href="namespaceSVF_1_1LLVMUtil.html#a9a7e07cbd487e829059f52a0fb62693f">LLVMUtil::inferTypeOfHeapObjOrStaticObj</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst)</div>
476
476
  <div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160;{</div>
477
477
  <div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">PointerType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = SVFUtil::dyn_cast&lt;PointerType&gt;(inst-&gt;getType());</div>
478
478
  <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* svfinst = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>()-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">getSVFInstruction</a>(inst);</div>
@@ -1392,6 +1392,7 @@ $(function() {
1392
1392
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a898e9c2ed163b618f2e86bc251131d8b"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a898e9c2ed163b618f2e86bc251131d8b">SVF::LLVMUtil::VCallInCtorOrDtor</a></div><div class="ttdeci">bool VCallInCtorOrDtor(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01196">LLVMUtil.cpp:1196</a></div></div>
1393
1393
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a07bd47ccfd02c5a2a6db26b537b2184f"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f">SVF::LLVMUtil::stripConstantCasts</a></div><div class="ttdeci">const Value * stripConstantCasts(const Value *val)</div><div class="ttdoc">Strip off the constant casts.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00232">LLVMUtil.cpp:232</a></div></div>
1394
1394
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a200539f965bff5627abac41920498ee8"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a200539f965bff5627abac41920498ee8">SVF::LLVMUtil::getFirstUseViaCastInst</a></div><div class="ttdeci">const Value * getFirstUseViaCastInst(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00414">LLVMUtil.cpp:414</a></div></div>
1395
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a9a7e07cbd487e829059f52a0fb62693f"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a9a7e07cbd487e829059f52a0fb62693f">SVF::LLVMUtil::inferTypeOfHeapObjOrStaticObj</a></div><div class="ttdeci">const Type * inferTypeOfHeapObjOrStaticObj(const Instruction *inst)</div><div class="ttdoc">Get the reference type of heap/static object from an allocation site.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00441">LLVMUtil.cpp:441</a></div></div>
1395
1396
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a2c61d741afbcfa853b505cd391f29f9b"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a2c61d741afbcfa853b505cd391f29f9b">SVF::LLVMUtil::isUncalledFunction</a></div><div class="ttdeci">bool isUncalledFunction(const Function *fun)</div><div class="ttdoc">whether this is a function without any possible caller?</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00154">LLVMUtil.cpp:154</a></div></div>
1396
1397
  <div class="ttc" id="anamespaceSVF_html_a412280b134578905248ce0122c5db7c9"><div class="ttname"><a href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></div><div class="ttdeci">llvm::SwitchInst SwitchInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00153">BasicTypes.h:153</a></div></div>
1397
1398
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a5f0bd932f3129a9c565f3a09711f7b99"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">SVF::LLVMModuleSet::getSVFType</a></div><div class="ttdeci">SVFType * getSVFType(const Type *T)</div><div class="ttdoc">Get or create SVFType and typeinfo.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01275">LLVMModule.cpp:1275</a></div></div>
@@ -1434,7 +1435,7 @@ $(function() {
1434
1435
  <div class="ttc" id="anamespaceSVF_1_1cppUtil_html_a745a2addadc136075d45c7fb8437af3e"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#a745a2addadc136075d45c7fb8437af3e">SVF::cppUtil::demangle</a></div><div class="ttdeci">struct DemangledName demangle(const std::string &amp;name)</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00153">CppUtil.cpp:153</a></div></div>
1435
1436
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a3a23aa54459a068e16c96e5b5eb72f77"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a3a23aa54459a068e16c96e5b5eb72f77">SVF::LLVMUtil::getVCallVtblPtr</a></div><div class="ttdeci">const Value * getVCallVtblPtr(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01180">LLVMUtil.cpp:1180</a></div></div>
1436
1437
  <div class="ttc" id="acJSON_8cpp_html_a930920b2bc42824a5c03be681830f4b2"><div class="ttname"><a href="cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2">true</a></div><div class="ttdeci">return true</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02295">cJSON.cpp:2295</a></div></div>
1437
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a8a77403306e97ab4cb31a56d38bba5be"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a8a77403306e97ab4cb31a56d38bba5be">SVF::LLVMUtil::isConstDataOrAggData</a></div><div class="ttdeci">bool isConstDataOrAggData(const Value *val)</div><div class="ttdoc">Return true if the value refers to constant data, e.g., i32 0.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00420">LLVMUtil.h:420</a></div></div>
1438
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a8a77403306e97ab4cb31a56d38bba5be"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a8a77403306e97ab4cb31a56d38bba5be">SVF::LLVMUtil::isConstDataOrAggData</a></div><div class="ttdeci">bool isConstDataOrAggData(const Value *val)</div><div class="ttdoc">Return true if the value refers to constant data, e.g., i32 0.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00388">LLVMUtil.h:388</a></div></div>
1438
1439
  <div class="ttc" id="anamespaceSVF_html_a2bf58575ac7d068e0f1a4cf953b9e6cb"><div class="ttname"><a href="namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb">SVF::StructType</a></div><div class="ttdeci">llvm::StructType StructType</div><div class="ttdoc">LLVM types.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00092">BasicTypes.h:92</a></div></div>
1439
1440
  <div class="ttc" id="anamespaceSVF_html_a2b28f48dde0a9a91d251e654ce1f9477"><div class="ttname"><a href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF::ConstantStruct</a></div><div class="ttdeci">llvm::ConstantStruct ConstantStruct</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
1440
1441
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
@@ -1446,8 +1447,8 @@ $(function() {
1446
1447
  <div class="ttc" id="anamespaceSVF_html_ad3d3cec1813411f039211c86236f7adb"><div class="ttname"><a href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF::MDNode</a></div><div class="ttdeci">llvm::MDNode MDNode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00110">BasicTypes.h:110</a></div></div>
1447
1448
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_af264312f0020bde9151697bccfde3263"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af264312f0020bde9151697bccfde3263">SVF::SVFFunction::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdoc">Returns the FunctionType.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00389">SVFValue.h:389</a></div></div>
1448
1449
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a206973624fcc58e6044c884dba23a754"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a206973624fcc58e6044c884dba23a754">SVF::LLVMUtil::isDestructor</a></div><div class="ttdeci">bool isDestructor(const Function *F)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01141">LLVMUtil.cpp:1141</a></div></div>
1449
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a151fd7fb2b2ebe72af7c417defbb4f4d"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a151fd7fb2b2ebe72af7c417defbb4f4d">SVF::LLVMUtil::getDataLayout</a></div><div class="ttdeci">static DataLayout * getDataLayout(Module *mod)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00337">LLVMUtil.h:337</a></div></div>
1450
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_adfa4a4e6d13004d14137d9168bd32463"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463">SVF::LLVMUtil::isInt2PtrConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isInt2PtrConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00249">LLVMUtil.h:249</a></div></div>
1450
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a151fd7fb2b2ebe72af7c417defbb4f4d"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a151fd7fb2b2ebe72af7c417defbb4f4d">SVF::LLVMUtil::getDataLayout</a></div><div class="ttdeci">static DataLayout * getDataLayout(Module *mod)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00305">LLVMUtil.h:305</a></div></div>
1451
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_adfa4a4e6d13004d14137d9168bd32463"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463">SVF::LLVMUtil::isInt2PtrConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isInt2PtrConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00217">LLVMUtil.h:217</a></div></div>
1451
1452
  <div class="ttc" id="aLLVMUtil_8cpp_html_a61c158146c07e77234eb4a2f9b940821"><div class="ttname"><a href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a></div><div class="ttdeci">const std::string structName</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00044">LLVMUtil.cpp:44</a></div></div>
1452
1453
  <div class="ttc" id="anamespaceSVF_html_a962e9a9044a46fc4bd2367384f6e0827"><div class="ttname"><a href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">SVF::CastInst</a></div><div class="ttdeci">llvm::CastInst CastInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00156">BasicTypes.h:156</a></div></div>
1453
1454
  <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a58a764c27354d5f9b70995d30de65f1d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">SVF::ExtAPI::getExtAPI</a></div><div class="ttdeci">static ExtAPI * getExtAPI()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00040">ExtAPI.cpp:40</a></div></div>
@@ -1481,7 +1482,6 @@ $(function() {
1481
1482
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a2b32283ee2dbb9cef1d17ab6f2719e0c"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a2b32283ee2dbb9cef1d17ab6f2719e0c">SVF::LLVMUtil::getSourceLocOfFunction</a></div><div class="ttdeci">const std::string getSourceLocOfFunction(const Function *F)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00857">LLVMUtil.cpp:857</a></div></div>
1482
1483
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_aab1cb59036d181e20a477bf1eebd81ff"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#aab1cb59036d181e20a477bf1eebd81ff">SVF::LLVMUtil::getThunkTarget</a></div><div class="ttdeci">const Function * getThunkTarget(const Function *F)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01029">LLVMUtil.cpp:1029</a></div></div>
1483
1484
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a207fe02ded216fd0412fc894e13bee6e"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a207fe02ded216fd0412fc894e13bee6e">SVF::LLVMUtil::getClassNameFromType</a></div><div class="ttdeci">std::string getClassNameFromType(const StructType *ty)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01209">LLVMUtil.cpp:1209</a></div></div>
1484
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ae368713463c84425f9a1ad27ff401a47"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ae368713463c84425f9a1ad27ff401a47">SVF::LLVMUtil::getTypeOfHeapAlloc</a></div><div class="ttdeci">const Type * getTypeOfHeapAlloc(const 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#l00441">LLVMUtil.cpp:441</a></div></div>
1485
1485
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a9bd6f54920929e5ad35102ba2f2223da"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a9bd6f54920929e5ad35102ba2f2223da">SVF::LLVMUtil::getFunReachableBBs</a></div><div class="ttdeci">void getFunReachableBBs(const Function *svfFun, std::vector&lt; const SVFBasicBlock * &gt; &amp;bbs)</div><div class="ttdoc">Get reachable basic block from function entry.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00069">LLVMUtil.cpp:69</a></div></div>
1486
1486
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a4b5d4c7ca2c580ace7305bfed58ffce8"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a4b5d4c7ca2c580ace7305bfed58ffce8">SVF::LLVMUtil::getPointeeType</a></div><div class="ttdeci">Type * getPointeeType(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00246">LLVMUtil.cpp:246</a></div></div>
1487
1487
  <div class="ttc" id="anamespaceSVF_html_a911dbaab38cb42deb9c195c7f687853d"><div class="ttname"><a href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF::ConstantExpr</a></div><div class="ttdeci">llvm::ConstantExpr ConstantExpr</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00118">BasicTypes.h:118</a></div></div>
@@ -123,11 +123,9 @@ Functions</h2></td></tr>
123
123
  <tr class="separator:abba4111230f6009bbf50518ee36a9870"><td class="memSeparator" colspan="2">&#160;</td></tr>
124
124
  <tr class="memitem:a4b5d4c7ca2c580ace7305bfed58ffce8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a4b5d4c7ca2c580ace7305bfed58ffce8">SVF::LLVMUtil::getPointeeType</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *value)</td></tr>
125
125
  <tr class="separator:a4b5d4c7ca2c580ace7305bfed58ffce8"><td class="memSeparator" colspan="2">&#160;</td></tr>
126
- <tr class="memitem:a6c5f2f951463494af2e7b0d3267f2772"><td class="memItemLeft" align="right" valign="top">const PointerType *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a6c5f2f951463494af2e7b0d3267f2772">SVF::LLVMUtil::getRefTypeOfHeapAllocOrStatic</a> (const CallBase *cs)</td></tr>
127
- <tr class="memdesc:a6c5f2f951463494af2e7b0d3267f2772"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get the reference type of heap/static object from an allocation site. <a href="namespaceSVF_1_1LLVMUtil.html#a6c5f2f951463494af2e7b0d3267f2772">More...</a><br /></td></tr>
128
- <tr class="separator:a6c5f2f951463494af2e7b0d3267f2772"><td class="memSeparator" colspan="2">&#160;</td></tr>
129
- <tr class="memitem:aa81614cdb6a2a912638d5dc980480af7"><td class="memItemLeft" align="right" valign="top">const PointerType *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#aa81614cdb6a2a912638d5dc980480af7">SVF::LLVMUtil::getRefTypeOfHeapAllocOrStatic</a> (const Instruction *inst)</td></tr>
130
- <tr class="separator:aa81614cdb6a2a912638d5dc980480af7"><td class="memSeparator" colspan="2">&#160;</td></tr>
126
+ <tr class="memitem:a9a7e07cbd487e829059f52a0fb62693f"><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="namespaceSVF_1_1LLVMUtil.html#a9a7e07cbd487e829059f52a0fb62693f">SVF::LLVMUtil::inferTypeOfHeapObjOrStaticObj</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst)</td></tr>
127
+ <tr class="memdesc:a9a7e07cbd487e829059f52a0fb62693f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get the reference type of heap/static object from an allocation site. <a href="namespaceSVF_1_1LLVMUtil.html#a9a7e07cbd487e829059f52a0fb62693f">More...</a><br /></td></tr>
128
+ <tr class="separator:a9a7e07cbd487e829059f52a0fb62693f"><td class="memSeparator" colspan="2">&#160;</td></tr>
131
129
  <tr class="memitem:aca11801ed6ef6ff8d2a1e85bc0fc5794"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794">SVF::LLVMUtil::isObject</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *ref)</td></tr>
132
130
  <tr class="memdesc:aca11801ed6ef6ff8d2a1e85bc0fc5794"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if this value refers to a object. <a href="namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794">More...</a><br /></td></tr>
133
131
  <tr class="separator:aca11801ed6ef6ff8d2a1e85bc0fc5794"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -163,9 +161,6 @@ Functions</h2></td></tr>
163
161
  <tr class="memitem:a38ce45ae5f017c90115ce444b44d478c"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c">SVF::LLVMUtil::stripAllCasts</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val)</td></tr>
164
162
  <tr class="memdesc:a38ce45ae5f017c90115ce444b44d478c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Strip off the all casts. <a href="namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c">More...</a><br /></td></tr>
165
163
  <tr class="separator:a38ce45ae5f017c90115ce444b44d478c"><td class="memSeparator" colspan="2">&#160;</td></tr>
166
- <tr class="memitem:ae368713463c84425f9a1ad27ff401a47"><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="namespaceSVF_1_1LLVMUtil.html#ae368713463c84425f9a1ad27ff401a47">SVF::LLVMUtil::getTypeOfHeapAlloc</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst)</td></tr>
167
- <tr class="memdesc:ae368713463c84425f9a1ad27ff401a47"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get the type of the heap allocation. <a href="namespaceSVF_1_1LLVMUtil.html#ae368713463c84425f9a1ad27ff401a47">More...</a><br /></td></tr>
168
- <tr class="separator:ae368713463c84425f9a1ad27ff401a47"><td class="memSeparator" colspan="2">&#160;</td></tr>
169
164
  <tr class="memitem:a200539f965bff5627abac41920498ee8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a200539f965bff5627abac41920498ee8">SVF::LLVMUtil::getFirstUseViaCastInst</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val)</td></tr>
170
165
  <tr class="separator:a200539f965bff5627abac41920498ee8"><td class="memSeparator" colspan="2">&#160;</td></tr>
171
166
  <tr class="memitem:ab5fc50624b5fe83b676b14bec4b99685"><td class="memItemLeft" align="right" valign="top">const ConstantExpr *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685">SVF::LLVMUtil::isGepConstantExpr</a> (const Value *val)</td></tr>