svf-tools 1.0.853 → 1.0.854

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 (253) hide show
  1. package/SVF-doxygen/html/AE_2CMakeLists_8txt.html +106 -0
  2. package/SVF-doxygen/html/CMakeLists_8txt.html +5 -5
  3. package/SVF-doxygen/html/ae_8cpp.html +179 -0
  4. package/SVF-doxygen/html/ae_8cpp_source.html +738 -0
  5. package/SVF-doxygen/html/annotated.html +1 -0
  6. package/SVF-doxygen/html/classSymblicAbstractionTest-members.html +99 -0
  7. package/SVF-doxygen/html/classSymblicAbstractionTest.html +1282 -0
  8. package/SVF-doxygen/html/classes.html +56 -55
  9. package/SVF-doxygen/html/dir_454f632bef84d62ecd1cf13bd508acc9.html +86 -0
  10. package/SVF-doxygen/html/dir_e5d21102e3a998263c6c7812ac857e9d.html +2 -0
  11. package/SVF-doxygen/html/files.html +22 -20
  12. package/SVF-doxygen/html/functions_b.html +16 -10
  13. package/SVF-doxygen/html/functions_func_b.html +9 -3
  14. package/SVF-doxygen/html/functions_func_g.html +17 -16
  15. package/SVF-doxygen/html/functions_func_r.html +5 -2
  16. package/SVF-doxygen/html/functions_func_s.html +16 -13
  17. package/SVF-doxygen/html/functions_func_t.html +41 -1
  18. package/SVF-doxygen/html/functions_func_~.html +3 -0
  19. package/SVF-doxygen/html/functions_g.html +16 -15
  20. package/SVF-doxygen/html/functions_l.html +5 -5
  21. package/SVF-doxygen/html/functions_n.html +3 -3
  22. package/SVF-doxygen/html/functions_o.html +3 -3
  23. package/SVF-doxygen/html/functions_p.html +11 -9
  24. package/SVF-doxygen/html/functions_r.html +7 -6
  25. package/SVF-doxygen/html/functions_s.html +17 -14
  26. package/SVF-doxygen/html/functions_t.html +48 -8
  27. package/SVF-doxygen/html/functions_v.html +6 -6
  28. package/SVF-doxygen/html/functions_w.html +9 -7
  29. package/SVF-doxygen/html/functions_~.html +3 -0
  30. package/SVF-doxygen/html/globals_a.html +2 -2
  31. package/SVF-doxygen/html/globals_func_a.html +2 -2
  32. package/SVF-doxygen/html/globals_func_m.html +5 -4
  33. package/SVF-doxygen/html/globals_m.html +5 -4
  34. package/SVF-doxygen/html/globals_s.html +3 -0
  35. package/SVF-doxygen/html/globals_vars.html +3 -0
  36. package/SVF-doxygen/html/hierarchy.html +40 -39
  37. package/SVF-doxygen/html/search/all_1.js +133 -132
  38. package/SVF-doxygen/html/search/all_10.js +325 -325
  39. package/SVF-doxygen/html/search/all_11.js +225 -224
  40. package/SVF-doxygen/html/search/all_12.js +554 -552
  41. package/SVF-doxygen/html/search/all_13.js +203 -190
  42. package/SVF-doxygen/html/search/all_14.js +67 -67
  43. package/SVF-doxygen/html/search/all_15.js +168 -168
  44. package/SVF-doxygen/html/search/all_16.js +63 -63
  45. package/SVF-doxygen/html/search/all_17.js +1 -1
  46. package/SVF-doxygen/html/search/all_18.js +1 -1
  47. package/SVF-doxygen/html/search/all_19.js +11 -11
  48. package/SVF-doxygen/html/search/all_1a.js +175 -174
  49. package/SVF-doxygen/html/search/all_2.js +173 -171
  50. package/SVF-doxygen/html/search/all_3.js +648 -648
  51. package/SVF-doxygen/html/search/all_4.js +230 -230
  52. package/SVF-doxygen/html/search/all_5.js +119 -119
  53. package/SVF-doxygen/html/search/all_6.js +226 -226
  54. package/SVF-doxygen/html/search/all_7.js +1048 -1048
  55. package/SVF-doxygen/html/search/all_8.js +196 -196
  56. package/SVF-doxygen/html/search/all_9.js +605 -605
  57. package/SVF-doxygen/html/search/all_a.js +46 -46
  58. package/SVF-doxygen/html/search/all_b.js +26 -26
  59. package/SVF-doxygen/html/search/all_c.js +115 -115
  60. package/SVF-doxygen/html/search/all_d.js +197 -197
  61. package/SVF-doxygen/html/search/all_e.js +207 -207
  62. package/SVF-doxygen/html/search/all_f.js +116 -116
  63. package/SVF-doxygen/html/search/classes_0.js +26 -26
  64. package/SVF-doxygen/html/search/classes_1.js +9 -9
  65. package/SVF-doxygen/html/search/classes_10.js +74 -73
  66. package/SVF-doxygen/html/search/classes_11.js +15 -15
  67. package/SVF-doxygen/html/search/classes_12.js +2 -2
  68. package/SVF-doxygen/html/search/classes_13.js +10 -10
  69. package/SVF-doxygen/html/search/classes_14.js +14 -14
  70. package/SVF-doxygen/html/search/classes_15.js +1 -1
  71. package/SVF-doxygen/html/search/classes_2.js +81 -81
  72. package/SVF-doxygen/html/search/classes_3.js +37 -37
  73. package/SVF-doxygen/html/search/classes_4.js +9 -9
  74. package/SVF-doxygen/html/search/classes_5.js +28 -28
  75. package/SVF-doxygen/html/search/classes_6.js +104 -104
  76. package/SVF-doxygen/html/search/classes_7.js +34 -34
  77. package/SVF-doxygen/html/search/classes_8.js +57 -57
  78. package/SVF-doxygen/html/search/classes_9.js +1 -1
  79. package/SVF-doxygen/html/search/classes_a.js +12 -12
  80. package/SVF-doxygen/html/search/classes_b.js +29 -29
  81. package/SVF-doxygen/html/search/classes_c.js +6 -6
  82. package/SVF-doxygen/html/search/classes_d.js +18 -18
  83. package/SVF-doxygen/html/search/classes_e.js +36 -36
  84. package/SVF-doxygen/html/search/classes_f.js +25 -25
  85. package/SVF-doxygen/html/search/defines_0.js +3 -3
  86. package/SVF-doxygen/html/search/defines_1.js +2 -2
  87. package/SVF-doxygen/html/search/defines_2.js +30 -30
  88. package/SVF-doxygen/html/search/defines_3.js +20 -20
  89. package/SVF-doxygen/html/search/defines_4.js +2 -2
  90. package/SVF-doxygen/html/search/defines_5.js +4 -4
  91. package/SVF-doxygen/html/search/defines_6.js +2 -2
  92. package/SVF-doxygen/html/search/defines_7.js +5 -5
  93. package/SVF-doxygen/html/search/defines_8.js +11 -11
  94. package/SVF-doxygen/html/search/defines_9.js +9 -9
  95. package/SVF-doxygen/html/search/defines_a.js +2 -2
  96. package/SVF-doxygen/html/search/defines_b.js +1 -1
  97. package/SVF-doxygen/html/search/defines_c.js +3 -3
  98. package/SVF-doxygen/html/search/defines_d.js +2 -2
  99. package/SVF-doxygen/html/search/defines_e.js +7 -7
  100. package/SVF-doxygen/html/search/defines_f.js +3 -3
  101. package/SVF-doxygen/html/search/enums_0.js +3 -3
  102. package/SVF-doxygen/html/search/enums_1.js +2 -2
  103. package/SVF-doxygen/html/search/enums_10.js +1 -1
  104. package/SVF-doxygen/html/search/enums_11.js +1 -1
  105. package/SVF-doxygen/html/search/enums_2.js +8 -8
  106. package/SVF-doxygen/html/search/enums_3.js +1 -1
  107. package/SVF-doxygen/html/search/enums_4.js +3 -3
  108. package/SVF-doxygen/html/search/enums_5.js +1 -1
  109. package/SVF-doxygen/html/search/enums_6.js +2 -2
  110. package/SVF-doxygen/html/search/enums_7.js +2 -2
  111. package/SVF-doxygen/html/search/enums_8.js +4 -4
  112. package/SVF-doxygen/html/search/enums_9.js +1 -1
  113. package/SVF-doxygen/html/search/enums_a.js +1 -1
  114. package/SVF-doxygen/html/search/enums_b.js +7 -7
  115. package/SVF-doxygen/html/search/enums_c.js +1 -1
  116. package/SVF-doxygen/html/search/enums_d.js +4 -4
  117. package/SVF-doxygen/html/search/enums_e.js +2 -2
  118. package/SVF-doxygen/html/search/enums_f.js +4 -4
  119. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  120. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  121. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  122. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  123. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  124. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  125. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  126. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  127. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  128. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  129. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  130. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  131. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  132. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  133. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  134. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  135. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  136. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  137. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  138. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  139. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  140. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  141. package/SVF-doxygen/html/search/files_0.js +14 -13
  142. package/SVF-doxygen/html/search/files_1.js +7 -7
  143. package/SVF-doxygen/html/search/files_10.js +8 -8
  144. package/SVF-doxygen/html/search/files_11.js +8 -8
  145. package/SVF-doxygen/html/search/files_12.js +2 -2
  146. package/SVF-doxygen/html/search/files_2.js +57 -57
  147. package/SVF-doxygen/html/search/files_3.js +14 -14
  148. package/SVF-doxygen/html/search/files_4.js +5 -5
  149. package/SVF-doxygen/html/search/files_5.js +13 -13
  150. package/SVF-doxygen/html/search/files_6.js +9 -9
  151. package/SVF-doxygen/html/search/files_7.js +14 -14
  152. package/SVF-doxygen/html/search/files_8.js +13 -13
  153. package/SVF-doxygen/html/search/files_9.js +18 -18
  154. package/SVF-doxygen/html/search/files_a.js +3 -3
  155. package/SVF-doxygen/html/search/files_b.js +2 -2
  156. package/SVF-doxygen/html/search/files_c.js +20 -20
  157. package/SVF-doxygen/html/search/files_d.js +4 -4
  158. package/SVF-doxygen/html/search/files_e.js +62 -62
  159. package/SVF-doxygen/html/search/files_f.js +8 -8
  160. package/SVF-doxygen/html/search/functions_0.js +13 -13
  161. package/SVF-doxygen/html/search/functions_1.js +364 -364
  162. package/SVF-doxygen/html/search/functions_10.js +140 -140
  163. package/SVF-doxygen/html/search/functions_11.js +140 -139
  164. package/SVF-doxygen/html/search/functions_12.js +289 -288
  165. package/SVF-doxygen/html/search/functions_13.js +72 -59
  166. package/SVF-doxygen/html/search/functions_14.js +39 -39
  167. package/SVF-doxygen/html/search/functions_15.js +71 -71
  168. package/SVF-doxygen/html/search/functions_16.js +32 -32
  169. package/SVF-doxygen/html/search/functions_17.js +3 -3
  170. package/SVF-doxygen/html/search/functions_18.js +175 -174
  171. package/SVF-doxygen/html/search/functions_2.js +91 -89
  172. package/SVF-doxygen/html/search/functions_3.js +261 -261
  173. package/SVF-doxygen/html/search/functions_4.js +78 -78
  174. package/SVF-doxygen/html/search/functions_5.js +53 -53
  175. package/SVF-doxygen/html/search/functions_6.js +60 -60
  176. package/SVF-doxygen/html/search/functions_7.js +857 -857
  177. package/SVF-doxygen/html/search/functions_8.js +148 -148
  178. package/SVF-doxygen/html/search/functions_9.js +421 -421
  179. package/SVF-doxygen/html/search/functions_a.js +30 -30
  180. package/SVF-doxygen/html/search/functions_b.js +2 -2
  181. package/SVF-doxygen/html/search/functions_c.js +25 -25
  182. package/SVF-doxygen/html/search/functions_d.js +79 -79
  183. package/SVF-doxygen/html/search/functions_e.js +35 -35
  184. package/SVF-doxygen/html/search/functions_f.js +56 -56
  185. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  186. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  187. package/SVF-doxygen/html/search/related_0.js +2 -2
  188. package/SVF-doxygen/html/search/related_1.js +2 -2
  189. package/SVF-doxygen/html/search/related_2.js +3 -3
  190. package/SVF-doxygen/html/search/related_3.js +2 -2
  191. package/SVF-doxygen/html/search/related_4.js +2 -2
  192. package/SVF-doxygen/html/search/related_5.js +1 -1
  193. package/SVF-doxygen/html/search/related_6.js +2 -2
  194. package/SVF-doxygen/html/search/related_7.js +4 -4
  195. package/SVF-doxygen/html/search/related_8.js +2 -2
  196. package/SVF-doxygen/html/search/related_9.js +4 -4
  197. package/SVF-doxygen/html/search/related_a.js +19 -19
  198. package/SVF-doxygen/html/search/related_b.js +4 -4
  199. package/SVF-doxygen/html/search/related_c.js +2 -2
  200. package/SVF-doxygen/html/search/related_d.js +12 -12
  201. package/SVF-doxygen/html/search/related_e.js +2 -2
  202. package/SVF-doxygen/html/search/related_f.js +2 -2
  203. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  204. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  205. package/SVF-doxygen/html/search/typedefs_10.js +62 -62
  206. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  207. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  208. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  209. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  210. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  211. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  212. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  213. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  214. package/SVF-doxygen/html/search/typedefs_6.js +56 -56
  215. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  216. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  217. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  218. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  219. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  220. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  221. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  222. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  223. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  224. package/SVF-doxygen/html/search/variables_0.js +151 -151
  225. package/SVF-doxygen/html/search/variables_1.js +76 -76
  226. package/SVF-doxygen/html/search/variables_10.js +98 -98
  227. package/SVF-doxygen/html/search/variables_11.js +45 -45
  228. package/SVF-doxygen/html/search/variables_12.js +91 -90
  229. package/SVF-doxygen/html/search/variables_13.js +74 -74
  230. package/SVF-doxygen/html/search/variables_14.js +14 -14
  231. package/SVF-doxygen/html/search/variables_15.js +49 -49
  232. package/SVF-doxygen/html/search/variables_16.js +9 -9
  233. package/SVF-doxygen/html/search/variables_17.js +1 -1
  234. package/SVF-doxygen/html/search/variables_18.js +2 -2
  235. package/SVF-doxygen/html/search/variables_2.js +38 -38
  236. package/SVF-doxygen/html/search/variables_3.js +142 -142
  237. package/SVF-doxygen/html/search/variables_4.js +50 -50
  238. package/SVF-doxygen/html/search/variables_5.js +37 -37
  239. package/SVF-doxygen/html/search/variables_6.js +66 -66
  240. package/SVF-doxygen/html/search/variables_7.js +34 -34
  241. package/SVF-doxygen/html/search/variables_8.js +7 -7
  242. package/SVF-doxygen/html/search/variables_9.js +78 -78
  243. package/SVF-doxygen/html/search/variables_a.js +4 -4
  244. package/SVF-doxygen/html/search/variables_b.js +10 -10
  245. package/SVF-doxygen/html/search/variables_c.js +45 -45
  246. package/SVF-doxygen/html/search/variables_d.js +55 -55
  247. package/SVF-doxygen/html/search/variables_e.js +123 -123
  248. package/SVF-doxygen/html/search/variables_f.js +30 -30
  249. package/build.sh +1 -1
  250. package/package.json +1 -1
  251. package/svf-llvm/tools/AE/CMakeLists.txt +2 -0
  252. package/svf-llvm/tools/AE/ae.cpp +607 -0
  253. package/svf-llvm/tools/CMakeLists.txt +3 -2
package/SVF-doxygen/html/AE_2CMakeLists_8txt.html ADDED
@@ -0,0 +1,106 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf-llvm/tools/AE/CMakeLists.txt File Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ </div><!-- top -->
63
+ <div class="header">
64
+ <div class="summary">
65
+ <a href="#func-members">Functions</a> </div>
66
+ <div class="headertitle">
67
+ <div class="title">/home/runner/work/SVF/SVF/svf-llvm/tools/AE/CMakeLists.txt File Reference</div> </div>
68
+ </div><!--header-->
69
+ <div class="contents">
70
+ <table class="memberdecls">
71
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
72
+ Functions</h2></td></tr>
73
+ <tr class="memitem:a1e1eadf984addf1065131cabb33ba389"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AE_2CMakeLists_8txt.html#a1e1eadf984addf1065131cabb33ba389">add_llvm_executable</a> (ae ae.cpp) target_link_libraries(ae PUBLIC $</td></tr>
74
+ <tr class="separator:a1e1eadf984addf1065131cabb33ba389"><td class="memSeparator" colspan="2">&#160;</td></tr>
75
+ </table>
76
+ <h2 class="groupheader">Function Documentation</h2>
77
+ <a id="a1e1eadf984addf1065131cabb33ba389"></a>
78
+ <h2 class="memtitle"><span class="permalink"><a href="#a1e1eadf984addf1065131cabb33ba389">&#9670;&nbsp;</a></span>add_llvm_executable()</h2>
79
+
80
+ <div class="memitem">
81
+ <div class="memproto">
82
+ <table class="memname">
83
+ <tr>
84
+ <td class="memname">add_llvm_executable </td>
85
+ <td>(</td>
86
+ <td class="paramtype">ae ae.&#160;</td>
87
+ <td class="paramname"><em>cpp</em></td><td>)</td>
88
+ <td></td>
89
+ </tr>
90
+ </table>
91
+ </div><div class="memdoc">
92
+
93
+ <p class="definition">Definition at line <a class="el" href="AE_2CMakeLists_8txt_source.html#l00001">1</a> of file <a class="el" href="AE_2CMakeLists_8txt_source.html">CMakeLists.txt</a>.</p>
94
+ <div class="fragment"><div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160; {llvm_libs} SvfLLVM)</div>
95
+ </div><!-- fragment -->
96
+ </div>
97
+ </div>
98
+ </div><!-- contents -->
99
+ <!-- start footer part -->
100
+ <hr class="footer"/><address class="footer"><small>
101
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
102
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
103
+ </a> 1.8.17
104
+ </small></address>
105
+ </body>
106
+ </html>
package/SVF-doxygen/html/CMakeLists_8txt.html CHANGED
@@ -70,12 +70,12 @@ $(function() {
70
70
  <table class="memberdecls">
71
71
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
72
72
  Functions</h2></td></tr>
73
- <tr class="memitem:ab0c0fec5e777861a934894bc00fc585c"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CMakeLists_8txt.html#ab0c0fec5e777861a934894bc00fc585c">add_subdirectory</a> (SABER) add_subdirectory(WPA) add_subdirectory(Example) add_subdirectory(DDA) add_subdirectory(MTA) add_subdirectory(CFL) add_subdirectory(LLVM2SVF) set_target_properties(cfl dvf svf-ex llvm2svf mta saber wpa PROPERTIES RUNTIME_OUTPUT_DIRECTORY $</td></tr>
74
- <tr class="separator:ab0c0fec5e777861a934894bc00fc585c"><td class="memSeparator" colspan="2">&#160;</td></tr>
73
+ <tr class="memitem:a31f93b6c80cf1738388338630dff4962"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CMakeLists_8txt.html#a31f93b6c80cf1738388338630dff4962">add_subdirectory</a> (SABER) add_subdirectory(WPA) add_subdirectory(Example) add_subdirectory(DDA) add_subdirectory(MTA) add_subdirectory(CFL) add_subdirectory(LLVM2SVF) add_subdirectory(AE) set_target_properties(cfl dvf svf-ex llvm2svf mta saber wpa ae PROPERTIES RUNTIME_OUTPUT_DIRECTORY $</td></tr>
74
+ <tr class="separator:a31f93b6c80cf1738388338630dff4962"><td class="memSeparator" colspan="2">&#160;</td></tr>
75
75
  </table>
76
76
  <h2 class="groupheader">Function Documentation</h2>
77
- <a id="ab0c0fec5e777861a934894bc00fc585c"></a>
78
- <h2 class="memtitle"><span class="permalink"><a href="#ab0c0fec5e777861a934894bc00fc585c">&#9670;&nbsp;</a></span>add_subdirectory()</h2>
77
+ <a id="a31f93b6c80cf1738388338630dff4962"></a>
78
+ <h2 class="memtitle"><span class="permalink"><a href="#a31f93b6c80cf1738388338630dff4962">&#9670;&nbsp;</a></span>add_subdirectory()</h2>
79
79
 
80
80
  <div class="memitem">
81
81
  <div class="memproto">
@@ -91,7 +91,7 @@ Functions</h2></td></tr>
91
91
  </div><div class="memdoc">
92
92
 
93
93
  <p class="definition">Definition at line <a class="el" href="CMakeLists_8txt_source.html#l00001">1</a> of file <a class="el" href="CMakeLists_8txt_source.html">CMakeLists.txt</a>.</p>
94
- <div class="fragment"><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160; {CMAKE_BINARY_DIR}/bin</div>
94
+ <div class="fragment"><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160; {CMAKE_BINARY_DIR}/bin</div>
95
95
  </div><!-- fragment -->
96
96
  </div>
97
97
  </div>
package/SVF-doxygen/html/ae_8cpp.html ADDED
@@ -0,0 +1,179 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf-llvm/tools/AE/ae.cpp File Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="dir_138019085cb31ab29ffbd100a29df36f.html">svf-llvm</a></li><li class="navelem"><a class="el" href="dir_e5d21102e3a998263c6c7812ac857e9d.html">tools</a></li><li class="navelem"><a class="el" href="dir_454f632bef84d62ecd1cf13bd508acc9.html">AE</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="summary">
69
+ <a href="#nested-classes">Classes</a> &#124;
70
+ <a href="#func-members">Functions</a> &#124;
71
+ <a href="#var-members">Variables</a> </div>
72
+ <div class="headertitle">
73
+ <div class="title">ae.cpp File Reference</div> </div>
74
+ </div><!--header-->
75
+ <div class="contents">
76
+ <div class="textblock"><code>#include &quot;<a class="el" href="IntervalExeState_8h_source.html">AbstractExecution/IntervalExeState.h</a>&quot;</code><br />
77
+ <code>#include &quot;<a class="el" href="RelExeState_8h_source.html">AbstractExecution/RelExeState.h</a>&quot;</code><br />
78
+ <code>#include &quot;<a class="el" href="RelationSolver_8h_source.html">AbstractExecution/RelationSolver.h</a>&quot;</code><br />
79
+ <code>#include &quot;<a class="el" href="LLVMUtil_8h_source.html">SVF-LLVM/LLVMUtil.h</a>&quot;</code><br />
80
+ <code>#include &quot;<a class="el" href="Z3Expr_8h_source.html">Util/Z3Expr.h</a>&quot;</code><br />
81
+ <code>#include &quot;<a class="el" href="Options_8h_source.html">Util/Options.h</a>&quot;</code><br />
82
+ <code>#include &lt;chrono&gt;</code><br />
83
+ </div>
84
+ <p><a href="ae_8cpp_source.html">Go to the source code of this file.</a></p>
85
+ <table class="memberdecls">
86
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
87
+ Classes</h2></td></tr>
88
+ <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSymblicAbstractionTest.html">SymblicAbstractionTest</a></td></tr>
89
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
90
+ </table><table class="memberdecls">
91
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
92
+ Functions</h2></td></tr>
93
+ <tr class="memitem:a3c04138a5bfe5d72780bb7e82a18e627"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ae_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a> (int argc, char **argv)</td></tr>
94
+ <tr class="separator:a3c04138a5bfe5d72780bb7e82a18e627"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
+ </table><table class="memberdecls">
96
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="var-members"></a>
97
+ Variables</h2></td></tr>
98
+ <tr class="memitem:acf883aea11ed083025935a7257b5967d"><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="ae_8cpp.html#acf883aea11ed083025935a7257b5967d">SYMABS</a> (&quot;symabs&quot;, &quot;symbolic abstraction test&quot;, false)</td></tr>
99
+ <tr class="separator:acf883aea11ed083025935a7257b5967d"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
+ </table>
101
+ <h2 class="groupheader">Function Documentation</h2>
102
+ <a id="a3c04138a5bfe5d72780bb7e82a18e627"></a>
103
+ <h2 class="memtitle"><span class="permalink"><a href="#a3c04138a5bfe5d72780bb7e82a18e627">&#9670;&nbsp;</a></span>main()</h2>
104
+
105
+ <div class="memitem">
106
+ <div class="memproto">
107
+ <table class="memname">
108
+ <tr>
109
+ <td class="memname">int main </td>
110
+ <td>(</td>
111
+ <td class="paramtype">int&#160;</td>
112
+ <td class="paramname"><em>argc</em>, </td>
113
+ </tr>
114
+ <tr>
115
+ <td class="paramkey"></td>
116
+ <td></td>
117
+ <td class="paramtype">char **&#160;</td>
118
+ <td class="paramname"><em>argv</em>&#160;</td>
119
+ </tr>
120
+ <tr>
121
+ <td></td>
122
+ <td>)</td>
123
+ <td></td><td></td>
124
+ </tr>
125
+ </table>
126
+ </div><div class="memdoc">
127
+
128
+ <p class="definition">Definition at line <a class="el" href="ae_8cpp_source.html#l00595">595</a> of file <a class="el" href="ae_8cpp_source.html">ae.cpp</a>.</p>
129
+ <div class="fragment"><div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160;{</div>
130
+ <div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160; std::vector&lt;std::string&gt; moduleNameVec;</div>
131
+ <div class="line"><a name="l00598"></a><span class="lineno"> 598</span>&#160; moduleNameVec = <a class="code" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a>(</div>
132
+ <div class="line"><a name="l00599"></a><span class="lineno"> 599</span>&#160; argc, argv, <span class="stringliteral">&quot;Source-Sink Bug Detector&quot;</span>, <span class="stringliteral">&quot;[options] &lt;input-bitcode...&gt;&quot;</span></div>
133
+ <div class="line"><a name="l00600"></a><span class="lineno"> 600</span>&#160; );</div>
134
+ <div class="line"><a name="l00601"></a><span class="lineno"> 601</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="ae_8cpp.html#acf883aea11ed083025935a7257b5967d">SYMABS</a>())</div>
135
+ <div class="line"><a name="l00602"></a><span class="lineno"> 602</span>&#160; {</div>
136
+ <div class="line"><a name="l00603"></a><span class="lineno"> 603</span>&#160; <a class="code" href="classSymblicAbstractionTest.html">SymblicAbstractionTest</a> saTest;</div>
137
+ <div class="line"><a name="l00604"></a><span class="lineno"> 604</span>&#160; saTest.<a class="code" href="classSymblicAbstractionTest.html#a66155c2b52131a7782382d8e5da560fc">testsValidation</a>();</div>
138
+ <div class="line"><a name="l00605"></a><span class="lineno"> 605</span>&#160; }</div>
139
+ <div class="line"><a name="l00606"></a><span class="lineno"> 606</span>&#160; <span class="keywordflow">return</span> 0;</div>
140
+ <div class="line"><a name="l00607"></a><span class="lineno"> 607</span>&#160;}</div>
141
+ </div><!-- fragment -->
142
+ </div>
143
+ </div>
144
+ <h2 class="groupheader">Variable Documentation</h2>
145
+ <a id="acf883aea11ed083025935a7257b5967d"></a>
146
+ <h2 class="memtitle"><span class="permalink"><a href="#acf883aea11ed083025935a7257b5967d">&#9670;&nbsp;</a></span>SYMABS</h2>
147
+
148
+ <div class="memitem">
149
+ <div class="memproto">
150
+ <table class="mlabels">
151
+ <tr>
152
+ <td class="mlabels-left">
153
+ <table class="memname">
154
+ <tr>
155
+ <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; SYMABS(&quot;symabs&quot;, &quot;symbolic abstraction test&quot;, false)</td>
156
+ </tr>
157
+ </table>
158
+ </td>
159
+ <td class="mlabels-right">
160
+ <span class="mlabels"><span class="mlabel">static</span></span> </td>
161
+ </tr>
162
+ </table>
163
+ </div><div class="memdoc">
164
+
165
+ </div>
166
+ </div>
167
+ </div><!-- contents -->
168
+ <div class="ttc" id="aclassSymblicAbstractionTest_html"><div class="ttname"><a href="classSymblicAbstractionTest.html">SymblicAbstractionTest</a></div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00021">ae.cpp:21</a></div></div>
169
+ <div class="ttc" id="aae_8cpp_html_acf883aea11ed083025935a7257b5967d"><div class="ttname"><a href="ae_8cpp.html#acf883aea11ed083025935a7257b5967d">SYMABS</a></div><div class="ttdeci">static Option&lt; bool &gt; SYMABS(&quot;symabs&quot;, &quot;symbolic abstraction test&quot;, false)</div></div>
170
+ <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>
171
+ <div class="ttc" id="aclassSymblicAbstractionTest_html_a66155c2b52131a7782382d8e5da560fc"><div class="ttname"><a href="classSymblicAbstractionTest.html#a66155c2b52131a7782382d8e5da560fc">SymblicAbstractionTest::testsValidation</a></div><div class="ttdeci">void testsValidation()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00573">ae.cpp:573</a></div></div>
172
+ <!-- start footer part -->
173
+ <hr class="footer"/><address class="footer"><small>
174
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
175
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
176
+ </a> 1.8.17
177
+ </small></address>
178
+ </body>
179
+ </html>