svf-tools 1.0.801 → 1.0.802

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 (215) hide show
  1. package/SVF-doxygen/html/dda_8cpp.html +23 -143
  2. package/SVF-doxygen/html/dda_8cpp_source.html +23 -58
  3. package/SVF-doxygen/html/globals_e.html +0 -9
  4. package/SVF-doxygen/html/globals_r.html +2 -8
  5. package/SVF-doxygen/html/globals_vars.html +0 -15
  6. package/SVF-doxygen/html/search/all_10.js +324 -324
  7. package/SVF-doxygen/html/search/all_11.js +222 -224
  8. package/SVF-doxygen/html/search/all_12.js +542 -542
  9. package/SVF-doxygen/html/search/all_13.js +191 -191
  10. package/SVF-doxygen/html/search/all_14.js +67 -67
  11. package/SVF-doxygen/html/search/all_15.js +170 -170
  12. package/SVF-doxygen/html/search/all_16.js +63 -63
  13. package/SVF-doxygen/html/search/all_17.js +1 -1
  14. package/SVF-doxygen/html/search/all_18.js +1 -1
  15. package/SVF-doxygen/html/search/all_19.js +11 -11
  16. package/SVF-doxygen/html/search/all_1a.js +172 -172
  17. package/SVF-doxygen/html/search/all_5.js +80 -83
  18. package/SVF-doxygen/html/search/all_6.js +225 -225
  19. package/SVF-doxygen/html/search/all_7.js +1040 -1040
  20. package/SVF-doxygen/html/search/all_8.js +194 -194
  21. package/SVF-doxygen/html/search/all_9.js +610 -610
  22. package/SVF-doxygen/html/search/all_a.js +46 -46
  23. package/SVF-doxygen/html/search/all_b.js +26 -26
  24. package/SVF-doxygen/html/search/all_c.js +116 -116
  25. package/SVF-doxygen/html/search/all_d.js +196 -196
  26. package/SVF-doxygen/html/search/all_e.js +207 -207
  27. package/SVF-doxygen/html/search/all_f.js +116 -116
  28. package/SVF-doxygen/html/search/classes_0.js +26 -26
  29. package/SVF-doxygen/html/search/classes_1.js +9 -9
  30. package/SVF-doxygen/html/search/classes_10.js +73 -73
  31. package/SVF-doxygen/html/search/classes_11.js +15 -15
  32. package/SVF-doxygen/html/search/classes_12.js +2 -2
  33. package/SVF-doxygen/html/search/classes_13.js +10 -10
  34. package/SVF-doxygen/html/search/classes_14.js +14 -14
  35. package/SVF-doxygen/html/search/classes_15.js +1 -1
  36. package/SVF-doxygen/html/search/classes_2.js +80 -80
  37. package/SVF-doxygen/html/search/classes_3.js +37 -37
  38. package/SVF-doxygen/html/search/classes_4.js +9 -9
  39. package/SVF-doxygen/html/search/classes_5.js +28 -28
  40. package/SVF-doxygen/html/search/classes_6.js +104 -104
  41. package/SVF-doxygen/html/search/classes_7.js +33 -33
  42. package/SVF-doxygen/html/search/classes_8.js +56 -56
  43. package/SVF-doxygen/html/search/classes_9.js +1 -1
  44. package/SVF-doxygen/html/search/classes_a.js +12 -12
  45. package/SVF-doxygen/html/search/classes_b.js +29 -29
  46. package/SVF-doxygen/html/search/classes_c.js +6 -6
  47. package/SVF-doxygen/html/search/classes_d.js +18 -18
  48. package/SVF-doxygen/html/search/classes_e.js +36 -36
  49. package/SVF-doxygen/html/search/classes_f.js +25 -25
  50. package/SVF-doxygen/html/search/defines_0.js +3 -3
  51. package/SVF-doxygen/html/search/defines_1.js +2 -2
  52. package/SVF-doxygen/html/search/defines_2.js +30 -30
  53. package/SVF-doxygen/html/search/defines_3.js +21 -21
  54. package/SVF-doxygen/html/search/defines_4.js +2 -2
  55. package/SVF-doxygen/html/search/defines_5.js +4 -4
  56. package/SVF-doxygen/html/search/defines_6.js +2 -2
  57. package/SVF-doxygen/html/search/defines_7.js +5 -5
  58. package/SVF-doxygen/html/search/defines_8.js +11 -11
  59. package/SVF-doxygen/html/search/defines_9.js +9 -9
  60. package/SVF-doxygen/html/search/defines_a.js +2 -2
  61. package/SVF-doxygen/html/search/defines_b.js +1 -1
  62. package/SVF-doxygen/html/search/defines_c.js +3 -3
  63. package/SVF-doxygen/html/search/defines_d.js +2 -2
  64. package/SVF-doxygen/html/search/defines_e.js +7 -7
  65. package/SVF-doxygen/html/search/defines_f.js +3 -3
  66. package/SVF-doxygen/html/search/enums_0.js +3 -3
  67. package/SVF-doxygen/html/search/enums_1.js +2 -2
  68. package/SVF-doxygen/html/search/enums_10.js +1 -1
  69. package/SVF-doxygen/html/search/enums_11.js +1 -1
  70. package/SVF-doxygen/html/search/enums_2.js +8 -8
  71. package/SVF-doxygen/html/search/enums_3.js +1 -1
  72. package/SVF-doxygen/html/search/enums_4.js +3 -3
  73. package/SVF-doxygen/html/search/enums_5.js +1 -1
  74. package/SVF-doxygen/html/search/enums_6.js +2 -2
  75. package/SVF-doxygen/html/search/enums_7.js +2 -2
  76. package/SVF-doxygen/html/search/enums_8.js +4 -4
  77. package/SVF-doxygen/html/search/enums_9.js +1 -1
  78. package/SVF-doxygen/html/search/enums_a.js +1 -1
  79. package/SVF-doxygen/html/search/enums_b.js +7 -7
  80. package/SVF-doxygen/html/search/enums_c.js +1 -1
  81. package/SVF-doxygen/html/search/enums_d.js +4 -4
  82. package/SVF-doxygen/html/search/enums_e.js +2 -2
  83. package/SVF-doxygen/html/search/enums_f.js +4 -4
  84. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  85. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  86. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  87. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  88. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  89. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  90. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  91. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  92. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  93. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  94. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  95. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  96. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  97. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  98. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  99. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  100. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  101. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  102. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  103. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  104. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  105. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  106. package/SVF-doxygen/html/search/files_0.js +13 -13
  107. package/SVF-doxygen/html/search/files_1.js +7 -7
  108. package/SVF-doxygen/html/search/files_10.js +8 -8
  109. package/SVF-doxygen/html/search/files_11.js +8 -8
  110. package/SVF-doxygen/html/search/files_12.js +2 -2
  111. package/SVF-doxygen/html/search/files_2.js +55 -55
  112. package/SVF-doxygen/html/search/files_3.js +14 -14
  113. package/SVF-doxygen/html/search/files_4.js +5 -5
  114. package/SVF-doxygen/html/search/files_5.js +13 -13
  115. package/SVF-doxygen/html/search/files_6.js +9 -9
  116. package/SVF-doxygen/html/search/files_7.js +14 -14
  117. package/SVF-doxygen/html/search/files_8.js +13 -13
  118. package/SVF-doxygen/html/search/files_9.js +18 -18
  119. package/SVF-doxygen/html/search/files_a.js +3 -3
  120. package/SVF-doxygen/html/search/files_b.js +2 -2
  121. package/SVF-doxygen/html/search/files_c.js +20 -20
  122. package/SVF-doxygen/html/search/files_d.js +4 -4
  123. package/SVF-doxygen/html/search/files_e.js +62 -62
  124. package/SVF-doxygen/html/search/files_f.js +8 -8
  125. package/SVF-doxygen/html/search/functions_0.js +12 -12
  126. package/SVF-doxygen/html/search/functions_1.js +359 -359
  127. package/SVF-doxygen/html/search/functions_10.js +140 -140
  128. package/SVF-doxygen/html/search/functions_11.js +138 -138
  129. package/SVF-doxygen/html/search/functions_12.js +277 -277
  130. package/SVF-doxygen/html/search/functions_13.js +59 -59
  131. package/SVF-doxygen/html/search/functions_14.js +39 -39
  132. package/SVF-doxygen/html/search/functions_15.js +71 -71
  133. package/SVF-doxygen/html/search/functions_16.js +32 -32
  134. package/SVF-doxygen/html/search/functions_17.js +3 -3
  135. package/SVF-doxygen/html/search/functions_18.js +172 -172
  136. package/SVF-doxygen/html/search/functions_2.js +86 -86
  137. package/SVF-doxygen/html/search/functions_3.js +257 -257
  138. package/SVF-doxygen/html/search/functions_4.js +75 -75
  139. package/SVF-doxygen/html/search/functions_5.js +53 -53
  140. package/SVF-doxygen/html/search/functions_6.js +59 -59
  141. package/SVF-doxygen/html/search/functions_7.js +851 -851
  142. package/SVF-doxygen/html/search/functions_8.js +146 -146
  143. package/SVF-doxygen/html/search/functions_9.js +428 -428
  144. package/SVF-doxygen/html/search/functions_a.js +30 -30
  145. package/SVF-doxygen/html/search/functions_b.js +2 -2
  146. package/SVF-doxygen/html/search/functions_c.js +26 -26
  147. package/SVF-doxygen/html/search/functions_d.js +77 -77
  148. package/SVF-doxygen/html/search/functions_e.js +35 -35
  149. package/SVF-doxygen/html/search/functions_f.js +56 -56
  150. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  151. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  152. package/SVF-doxygen/html/search/related_0.js +2 -2
  153. package/SVF-doxygen/html/search/related_1.js +2 -2
  154. package/SVF-doxygen/html/search/related_2.js +2 -2
  155. package/SVF-doxygen/html/search/related_3.js +2 -2
  156. package/SVF-doxygen/html/search/related_4.js +2 -2
  157. package/SVF-doxygen/html/search/related_5.js +1 -1
  158. package/SVF-doxygen/html/search/related_6.js +2 -2
  159. package/SVF-doxygen/html/search/related_7.js +4 -4
  160. package/SVF-doxygen/html/search/related_8.js +2 -2
  161. package/SVF-doxygen/html/search/related_9.js +4 -4
  162. package/SVF-doxygen/html/search/related_a.js +19 -19
  163. package/SVF-doxygen/html/search/related_b.js +4 -4
  164. package/SVF-doxygen/html/search/related_c.js +1 -1
  165. package/SVF-doxygen/html/search/related_d.js +11 -11
  166. package/SVF-doxygen/html/search/related_e.js +2 -2
  167. package/SVF-doxygen/html/search/related_f.js +2 -2
  168. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  169. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  170. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  171. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  172. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  173. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  174. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  175. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  176. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  177. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  178. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  179. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  180. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  181. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  182. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  183. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  184. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  185. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  186. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  187. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  188. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  189. package/SVF-doxygen/html/search/variables_0.js +151 -151
  190. package/SVF-doxygen/html/search/variables_1.js +75 -75
  191. package/SVF-doxygen/html/search/variables_10.js +97 -97
  192. package/SVF-doxygen/html/search/variables_11.js +44 -46
  193. package/SVF-doxygen/html/search/variables_12.js +92 -92
  194. package/SVF-doxygen/html/search/variables_13.js +75 -75
  195. package/SVF-doxygen/html/search/variables_14.js +14 -14
  196. package/SVF-doxygen/html/search/variables_15.js +48 -48
  197. package/SVF-doxygen/html/search/variables_16.js +9 -9
  198. package/SVF-doxygen/html/search/variables_17.js +1 -1
  199. package/SVF-doxygen/html/search/variables_18.js +2 -2
  200. package/SVF-doxygen/html/search/variables_2.js +37 -37
  201. package/SVF-doxygen/html/search/variables_3.js +142 -142
  202. package/SVF-doxygen/html/search/variables_4.js +55 -55
  203. package/SVF-doxygen/html/search/variables_5.js +36 -39
  204. package/SVF-doxygen/html/search/variables_6.js +66 -66
  205. package/SVF-doxygen/html/search/variables_7.js +33 -33
  206. package/SVF-doxygen/html/search/variables_8.js +7 -7
  207. package/SVF-doxygen/html/search/variables_9.js +77 -77
  208. package/SVF-doxygen/html/search/variables_a.js +4 -4
  209. package/SVF-doxygen/html/search/variables_b.js +10 -10
  210. package/SVF-doxygen/html/search/variables_c.js +45 -45
  211. package/SVF-doxygen/html/search/variables_d.js +56 -56
  212. package/SVF-doxygen/html/search/variables_e.js +123 -123
  213. package/SVF-doxygen/html/search/variables_f.js +30 -30
  214. package/package.json +1 -1
  215. package/svf-llvm/tools/DDA/dda.cpp +0 -30
package/SVF-doxygen/html/dda_8cpp.html CHANGED
@@ -88,16 +88,6 @@ Functions</h2></td></tr>
88
88
  Variables</h2></td></tr>
89
89
  <tr class="memitem:aa87e1cd4be4709a21393ed9e1a0da6bb"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb">DAA</a> (&quot;daa&quot;, &quot;Demand-Driven Alias Analysis Pass&quot;, false)</td></tr>
90
90
  <tr class="separator:aa87e1cd4be4709a21393ed9e1a0da6bb"><td class="memSeparator" colspan="2">&#160;</td></tr>
91
- <tr class="memitem:aa4d54caa95b7971baaaa499dc52a83f0"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">REGPT</a> (&quot;dreg&quot;, &quot;Demand-driven regular points-to analysis&quot;, false)</td></tr>
92
- <tr class="separator:aa4d54caa95b7971baaaa499dc52a83f0"><td class="memSeparator" colspan="2">&#160;</td></tr>
93
- <tr class="memitem:a67ee98e0a1d06555ea82c26cf1fa2b35"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">RFINEPT</a> (&quot;dref&quot;, &quot;Demand-driven refinement points-to analysis&quot;, false)</td></tr>
94
- <tr class="separator:a67ee98e0a1d06555ea82c26cf1fa2b35"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
- <tr class="memitem:a33384804c17c2e3f457d80b47b114e1d"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d">ENABLEFIELD</a> (&quot;fdaa&quot;, &quot;enable field-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td></tr>
96
- <tr class="separator:a33384804c17c2e3f457d80b47b114e1d"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
- <tr class="memitem:a0a4ada5aa37179525df2c87a5c6e2685"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685">ENABLECONTEXT</a> (&quot;cdaa&quot;, &quot;enable context-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td></tr>
98
- <tr class="separator:a0a4ada5aa37179525df2c87a5c6e2685"><td class="memSeparator" colspan="2">&#160;</td></tr>
99
- <tr class="memitem:a41cf6b3bb80c86976fab3561440031fe"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a41cf6b3bb80c86976fab3561440031fe">ENABLEFLOW</a> (&quot;ldaa&quot;, &quot;enable flow-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td></tr>
100
- <tr class="separator:a41cf6b3bb80c86976fab3561440031fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
91
  </table>
102
92
  <h2 class="groupheader">Function Documentation</h2>
103
93
  <a id="a3c04138a5bfe5d72780bb7e82a18e627"></a>
@@ -126,29 +116,29 @@ Variables</h2></td></tr>
126
116
  </table>
127
117
  </div><div class="memdoc">
128
118
 
129
- <p class="definition">Definition at line <a class="el" href="dda_8cpp_source.html#l00078">78</a> of file <a class="el" href="dda_8cpp_source.html">dda.cpp</a>.</p>
130
- <div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160;{</div>
131
- <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; std::vector&lt;std::string&gt; moduleNameVec;</div>
132
- <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; moduleNameVec = <a class="code" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a>(</div>
133
- <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; argc, argv, <span class="stringliteral">&quot;Demand-Driven Points-to Analysis&quot;</span>, <span class="stringliteral">&quot;[options] &lt;input-bitcode...&gt;&quot;</span></div>
134
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; );</div>
135
- <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; </div>
136
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <span class="keywordflow">if</span> (Options::WriteAnder() == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div>
137
- <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div>
138
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; LLVMModuleSet::preProcessBCs(moduleNameVec);</div>
139
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; }</div>
140
- <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; </div>
141
- <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::buildSVFModule(moduleNameVec);</div>
142
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder(svfModule);</div>
143
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.build();</div>
144
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; </div>
145
- <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; <a class="code" href="classSVF_1_1DDAPass.html">DDAPass</a> dda;</div>
146
- <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; dda.<a class="code" href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">runOnModule</a>(pag);</div>
147
- <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; </div>
148
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; LLVMModuleSet::releaseLLVMModuleSet();</div>
149
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; <span class="keywordflow">return</span> 0;</div>
150
- <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; </div>
151
- <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160;}</div>
119
+ <p class="definition">Definition at line <a class="el" href="dda_8cpp_source.html#l00048">48</a> of file <a class="el" href="dda_8cpp_source.html">dda.cpp</a>.</p>
120
+ <div class="fragment"><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;{</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; std::vector&lt;std::string&gt; moduleNameVec;</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; moduleNameVec = <a class="code" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a>(</div>
123
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; argc, argv, <span class="stringliteral">&quot;Demand-Driven Points-to Analysis&quot;</span>, <span class="stringliteral">&quot;[options] &lt;input-bitcode...&gt;&quot;</span></div>
124
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; );</div>
125
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; </div>
126
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordflow">if</span> (Options::WriteAnder() == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div>
127
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; {</div>
128
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; LLVMModuleSet::preProcessBCs(moduleNameVec);</div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; }</div>
130
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; </div>
131
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::buildSVFModule(moduleNameVec);</div>
132
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder(svfModule);</div>
133
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.build();</div>
134
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; </div>
135
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <a class="code" href="classSVF_1_1DDAPass.html">DDAPass</a> dda;</div>
136
+ <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; dda.<a class="code" href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">runOnModule</a>(pag);</div>
137
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; </div>
138
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; LLVMModuleSet::releaseLLVMModuleSet();</div>
139
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <span class="keywordflow">return</span> 0;</div>
140
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; </div>
141
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160;}</div>
152
142
  </div><!-- fragment -->
153
143
  </div>
154
144
  </div>
@@ -173,116 +163,6 @@ Variables</h2></td></tr>
173
163
  </table>
174
164
  </div><div class="memdoc">
175
165
 
176
- </div>
177
- </div>
178
- <a id="a0a4ada5aa37179525df2c87a5c6e2685"></a>
179
- <h2 class="memtitle"><span class="permalink"><a href="#a0a4ada5aa37179525df2c87a5c6e2685">&#9670;&nbsp;</a></span>ENABLECONTEXT</h2>
180
-
181
- <div class="memitem">
182
- <div class="memproto">
183
- <table class="mlabels">
184
- <tr>
185
- <td class="mlabels-left">
186
- <table class="memname">
187
- <tr>
188
- <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; ENABLECONTEXT(&quot;cdaa&quot;, &quot;enable context-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td>
189
- </tr>
190
- </table>
191
- </td>
192
- <td class="mlabels-right">
193
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
194
- </tr>
195
- </table>
196
- </div><div class="memdoc">
197
-
198
- </div>
199
- </div>
200
- <a id="a33384804c17c2e3f457d80b47b114e1d"></a>
201
- <h2 class="memtitle"><span class="permalink"><a href="#a33384804c17c2e3f457d80b47b114e1d">&#9670;&nbsp;</a></span>ENABLEFIELD</h2>
202
-
203
- <div class="memitem">
204
- <div class="memproto">
205
- <table class="mlabels">
206
- <tr>
207
- <td class="mlabels-left">
208
- <table class="memname">
209
- <tr>
210
- <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; ENABLEFIELD(&quot;fdaa&quot;, &quot;enable field-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td>
211
- </tr>
212
- </table>
213
- </td>
214
- <td class="mlabels-right">
215
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
216
- </tr>
217
- </table>
218
- </div><div class="memdoc">
219
-
220
- </div>
221
- </div>
222
- <a id="a41cf6b3bb80c86976fab3561440031fe"></a>
223
- <h2 class="memtitle"><span class="permalink"><a href="#a41cf6b3bb80c86976fab3561440031fe">&#9670;&nbsp;</a></span>ENABLEFLOW</h2>
224
-
225
- <div class="memitem">
226
- <div class="memproto">
227
- <table class="mlabels">
228
- <tr>
229
- <td class="mlabels-left">
230
- <table class="memname">
231
- <tr>
232
- <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; ENABLEFLOW(&quot;ldaa&quot;, &quot;enable flow-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td>
233
- </tr>
234
- </table>
235
- </td>
236
- <td class="mlabels-right">
237
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
238
- </tr>
239
- </table>
240
- </div><div class="memdoc">
241
-
242
- </div>
243
- </div>
244
- <a id="aa4d54caa95b7971baaaa499dc52a83f0"></a>
245
- <h2 class="memtitle"><span class="permalink"><a href="#aa4d54caa95b7971baaaa499dc52a83f0">&#9670;&nbsp;</a></span>REGPT</h2>
246
-
247
- <div class="memitem">
248
- <div class="memproto">
249
- <table class="mlabels">
250
- <tr>
251
- <td class="mlabels-left">
252
- <table class="memname">
253
- <tr>
254
- <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; REGPT(&quot;dreg&quot;, &quot;Demand-driven regular points-to analysis&quot;, false)</td>
255
- </tr>
256
- </table>
257
- </td>
258
- <td class="mlabels-right">
259
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
260
- </tr>
261
- </table>
262
- </div><div class="memdoc">
263
-
264
- </div>
265
- </div>
266
- <a id="a67ee98e0a1d06555ea82c26cf1fa2b35"></a>
267
- <h2 class="memtitle"><span class="permalink"><a href="#a67ee98e0a1d06555ea82c26cf1fa2b35">&#9670;&nbsp;</a></span>RFINEPT</h2>
268
-
269
- <div class="memitem">
270
- <div class="memproto">
271
- <table class="mlabels">
272
- <tr>
273
- <td class="mlabels-left">
274
- <table class="memname">
275
- <tr>
276
- <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; RFINEPT(&quot;dref&quot;, &quot;Demand-driven refinement points-to analysis&quot;, false)</td>
277
- </tr>
278
- </table>
279
- </td>
280
- <td class="mlabels-right">
281
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
282
- </tr>
283
- </table>
284
- </div><div class="memdoc">
285
-
286
166
  </div>
287
167
  </div>
288
168
  </div><!-- contents -->
package/SVF-doxygen/html/dda_8cpp_source.html CHANGED
@@ -116,79 +116,44 @@ $(function() {
116
116
  <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; <span class="keyword">false</span></div>
117
117
  <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;);</div>
118
118
  <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160; </div>
119
- <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">REGPT</a>(</div>
120
- <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; <span class="stringliteral">&quot;dreg&quot;</span>,</div>
121
- <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; <span class="stringliteral">&quot;Demand-driven regular points-to analysis&quot;</span>,</div>
122
- <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; <span class="keyword">false</span></div>
123
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160;);</div>
124
- <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; </div>
125
- <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">RFINEPT</a>(</div>
126
- <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="stringliteral">&quot;dref&quot;</span>,</div>
127
- <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <span class="stringliteral">&quot;Demand-driven refinement points-to analysis&quot;</span>,</div>
128
- <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; <span class="keyword">false</span></div>
129
- <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160;);</div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627"> 48</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;{</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; std::vector&lt;std::string&gt; moduleNameVec;</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; moduleNameVec = <a class="code" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a>(</div>
123
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; argc, argv, <span class="stringliteral">&quot;Demand-Driven Points-to Analysis&quot;</span>, <span class="stringliteral">&quot;[options] &lt;input-bitcode...&gt;&quot;</span></div>
124
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; );</div>
125
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; </div>
126
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordflow">if</span> (Options::WriteAnder() == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div>
127
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; {</div>
128
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; LLVMModuleSet::preProcessBCs(moduleNameVec);</div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; }</div>
130
130
  <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; </div>
131
- <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d">ENABLEFIELD</a>(</div>
132
- <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <span class="stringliteral">&quot;fdaa&quot;</span>,</div>
133
- <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="stringliteral">&quot;enable field-sensitivity for demand-driven analysis&quot;</span>,</div>
134
- <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; <span class="keyword">false</span></div>
135
- <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160;);</div>
136
- <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; </div>
137
- <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685">ENABLECONTEXT</a>(</div>
138
- <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="stringliteral">&quot;cdaa&quot;</span>,</div>
139
- <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <span class="stringliteral">&quot;enable context-sensitivity for demand-driven analysis&quot;</span>,</div>
140
- <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <span class="keyword">false</span></div>
141
- <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160;);</div>
131
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::buildSVFModule(moduleNameVec);</div>
132
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder(svfModule);</div>
133
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.<a class="code" href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">build</a>();</div>
134
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; </div>
135
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <a class="code" href="classSVF_1_1DDAPass.html">DDAPass</a> dda;</div>
136
+ <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; dda.<a class="code" href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">runOnModule</a>(pag);</div>
137
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; </div>
138
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; LLVMModuleSet::releaseLLVMModuleSet();</div>
139
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <span class="keywordflow">return</span> 0;</div>
140
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; </div>
141
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160;}</div>
142
142
  <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; </div>
143
- <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#a41cf6b3bb80c86976fab3561440031fe">ENABLEFLOW</a>(</div>
144
- <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <span class="stringliteral">&quot;ldaa&quot;</span>,</div>
145
- <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <span class="stringliteral">&quot;enable flow-sensitivity for demand-driven analysis&quot;</span>,</div>
146
- <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keyword">false</span></div>
147
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160;);</div>
148
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; </div>
149
- <div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627"> 78</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div>
150
- <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160;{</div>
151
- <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; std::vector&lt;std::string&gt; moduleNameVec;</div>
152
- <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; moduleNameVec = <a class="code" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a>(</div>
153
- <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; argc, argv, <span class="stringliteral">&quot;Demand-Driven Points-to Analysis&quot;</span>, <span class="stringliteral">&quot;[options] &lt;input-bitcode...&gt;&quot;</span></div>
154
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; );</div>
155
- <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; </div>
156
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <span class="keywordflow">if</span> (Options::WriteAnder() == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div>
157
- <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div>
158
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; LLVMModuleSet::preProcessBCs(moduleNameVec);</div>
159
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; }</div>
160
- <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; </div>
161
- <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::buildSVFModule(moduleNameVec);</div>
162
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder(svfModule);</div>
163
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.<a class="code" href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">build</a>();</div>
164
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; </div>
165
- <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; <a class="code" href="classSVF_1_1DDAPass.html">DDAPass</a> dda;</div>
166
- <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; dda.<a class="code" href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">runOnModule</a>(pag);</div>
167
- <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; </div>
168
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; LLVMModuleSet::releaseLLVMModuleSet();</div>
169
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; <span class="keywordflow">return</span> 0;</div>
170
- <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; </div>
171
- <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160;}</div>
172
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; </div>
173
143
  </div><!-- fragment --></div><!-- contents -->
174
144
  <div class="ttc" id="anamespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00013">GEPTypeBridgeIterator.h:13</a></div></div>
175
145
  <div class="ttc" id="aLLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>
176
146
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
177
147
  <div class="ttc" id="aDDAPass_8h_html"><div class="ttname"><a href="DDAPass_8h.html">DDAPass.h</a></div></div>
178
- <div class="ttc" id="adda_8cpp_html_a33384804c17c2e3f457d80b47b114e1d"><div class="ttname"><a href="dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d">ENABLEFIELD</a></div><div class="ttdeci">static Option&lt; bool &gt; ENABLEFIELD(&quot;fdaa&quot;, &quot;enable field-sensitivity for demand-driven analysis&quot;, false)</div></div>
179
- <div class="ttc" id="adda_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="dda_8cpp_source.html#l00078">dda.cpp:78</a></div></div>
180
- <div class="ttc" id="adda_8cpp_html_aa4d54caa95b7971baaaa499dc52a83f0"><div class="ttname"><a href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">REGPT</a></div><div class="ttdeci">static Option&lt; bool &gt; REGPT(&quot;dreg&quot;, &quot;Demand-driven regular points-to analysis&quot;, false)</div></div>
148
+ <div class="ttc" id="adda_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="dda_8cpp_source.html#l00048">dda.cpp:48</a></div></div>
181
149
  <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
182
150
  <div class="ttc" id="aclassOptionBase_html_a4fb6c6e4a1754d702c6c1730f54457e5"><div class="ttname"><a href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a></div><div class="ttdeci">static std::vector&lt; std::string &gt; parseOptions(int argc, char *argv[], std::string description, std::string callFormat)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00075">CommandLine.h:75</a></div></div>
183
- <div class="ttc" id="adda_8cpp_html_a0a4ada5aa37179525df2c87a5c6e2685"><div class="ttname"><a href="dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685">ENABLECONTEXT</a></div><div class="ttdeci">static Option&lt; bool &gt; ENABLECONTEXT(&quot;cdaa&quot;, &quot;enable context-sensitivity for demand-driven analysis&quot;, false)</div></div>
184
151
  <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
185
152
  <div class="ttc" id="aclassSVF_1_1DDAPass_html_aca46f1d464f5766ae666661a164a51a9"><div class="ttname"><a href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">SVF::DDAPass::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(SVFIR *module)</div><div class="ttdoc">We start from here.</div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8cpp_source.html#l00055">DDAPass.cpp:55</a></div></div>
186
153
  <div class="ttc" id="aclassOption_html"><div class="ttname"><a href="classOption.html">Option&lt; bool &gt;</a></div></div>
187
154
  <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
188
- <div class="ttc" id="adda_8cpp_html_a41cf6b3bb80c86976fab3561440031fe"><div class="ttname"><a href="dda_8cpp.html#a41cf6b3bb80c86976fab3561440031fe">ENABLEFLOW</a></div><div class="ttdeci">static Option&lt; bool &gt; ENABLEFLOW(&quot;ldaa&quot;, &quot;enable flow-sensitivity for demand-driven analysis&quot;, false)</div></div>
189
155
  <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
190
156
  <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html_a5ecf1deb5646ccb46b0b3101417f4689"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">SVF::SVFIRBuilder::build</a></div><div class="ttdeci">virtual SVFIR * build()</div><div class="ttdoc">Start building SVFIR here.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00054">SVFIRBuilder.cpp:54</a></div></div>
191
- <div class="ttc" id="adda_8cpp_html_a67ee98e0a1d06555ea82c26cf1fa2b35"><div class="ttname"><a href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">RFINEPT</a></div><div class="ttdeci">static Option&lt; bool &gt; RFINEPT(&quot;dref&quot;, &quot;Demand-driven refinement points-to analysis&quot;, false)</div></div>
192
157
  <div class="ttc" id="adda_8cpp_html_aa87e1cd4be4709a21393ed9e1a0da6bb"><div class="ttname"><a href="dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb">DAA</a></div><div class="ttdeci">static Option&lt; bool &gt; DAA(&quot;daa&quot;, &quot;Demand-Driven Alias Analysis Pass&quot;, false)</div></div>
193
158
  <div class="ttc" id="aclassSVF_1_1DDAPass_html"><div class="ttname"><a href="classSVF_1_1DDAPass.html">SVF::DDAPass</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8h_source.html#l00046">DDAPass.h:46</a></div></div>
194
159
  <div class="ttc" id="aSVFIRBuilder_8h_html"><div class="ttname"><a href="SVFIRBuilder_8h.html">SVFIRBuilder.h</a></div></div>
package/SVF-doxygen/html/globals_e.html CHANGED
@@ -71,15 +71,6 @@ $(function() {
71
71
  <li>else
72
72
  : <a class="el" href="cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba">cJSON.cpp</a>
73
73
  </li>
74
- <li>ENABLECONTEXT
75
- : <a class="el" href="dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685">dda.cpp</a>
76
- </li>
77
- <li>ENABLEFIELD
78
- : <a class="el" href="dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d">dda.cpp</a>
79
- </li>
80
- <li>ENABLEFLOW
81
- : <a class="el" href="dda_8cpp.html#a41cf6b3bb80c86976fab3561440031fe">dda.cpp</a>
82
- </li>
83
74
  <li>ensure()
84
75
  : <a class="el" href="cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6">cJSON.cpp</a>
85
76
  </li>
package/SVF-doxygen/html/globals_r.html CHANGED
@@ -87,9 +87,6 @@ $(function() {
87
87
  : <a class="el" href="cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.h</a>
88
88
  , <a class="el" href="cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.cpp</a>
89
89
  </li>
90
- <li>REGPT
91
- : <a class="el" href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">dda.cpp</a>
92
- </li>
93
90
  <li>replace_item_in_object()
94
91
  : <a class="el" href="cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2">cJSON.cpp</a>
95
92
  </li>
@@ -97,8 +94,8 @@ $(function() {
97
94
  : <a class="el" href="llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c">llvm2svf.cpp</a>
98
95
  </li>
99
96
  <li>replacement
100
- : <a class="el" href="cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791">cJSON.h</a>
101
- , <a class="el" href="cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791">cJSON.cpp</a>
97
+ : <a class="el" href="cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791">cJSON.cpp</a>
98
+ , <a class="el" href="cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791">cJSON.h</a>
102
99
  </li>
103
100
  <li>require_null_terminated
104
101
  : <a class="el" href="cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.cpp</a>
@@ -111,9 +108,6 @@ $(function() {
111
108
  : <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
112
109
  , <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
113
110
  </li>
114
- <li>RFINEPT
115
- : <a class="el" href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">dda.cpp</a>
116
- </li>
117
111
  </ul>
118
112
  </div><!-- contents -->
119
113
  <!-- start footer part -->
package/SVF-doxygen/html/globals_vars.html CHANGED
@@ -152,15 +152,6 @@ $(function() {
152
152
  <li>else
153
153
  : <a class="el" href="cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba">cJSON.cpp</a>
154
154
  </li>
155
- <li>ENABLECONTEXT
156
- : <a class="el" href="dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685">dda.cpp</a>
157
- </li>
158
- <li>ENABLEFIELD
159
- : <a class="el" href="dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d">dda.cpp</a>
160
- </li>
161
- <li>ENABLEFLOW
162
- : <a class="el" href="dda_8cpp.html#a41cf6b3bb80c86976fab3561440031fe">dda.cpp</a>
163
- </li>
164
155
  <li>epsilon
165
156
  : <a class="el" href="VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">VFGGrammar.txt</a>
166
157
  </li>
@@ -334,9 +325,6 @@ $(function() {
334
325
  : <a class="el" href="cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.h</a>
335
326
  , <a class="el" href="cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.cpp</a>
336
327
  </li>
337
- <li>REGPT
338
- : <a class="el" href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">dda.cpp</a>
339
- </li>
340
328
  <li>replacement
341
329
  : <a class="el" href="cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791">cJSON.h</a>
342
330
  , <a class="el" href="cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791">cJSON.cpp</a>
@@ -349,9 +337,6 @@ $(function() {
349
337
  : <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
350
338
  , <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
351
339
  </li>
352
- <li>RFINEPT
353
- : <a class="el" href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">dda.cpp</a>
354
- </li>
355
340
  </ul>
356
341
 
357
342