svf-tools 1.0.852 → 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 (261) 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/IntervalExeState_8h_source.html +4 -4
  4. package/SVF-doxygen/html/ae_8cpp.html +179 -0
  5. package/SVF-doxygen/html/ae_8cpp_source.html +738 -0
  6. package/SVF-doxygen/html/annotated.html +1 -0
  7. package/SVF-doxygen/html/classSVF_1_1IntervalESBase-members.html +3 -3
  8. package/SVF-doxygen/html/classSVF_1_1IntervalESBase.html +7 -7
  9. package/SVF-doxygen/html/classSVF_1_1IntervalExeState-members.html +2 -2
  10. package/SVF-doxygen/html/classSVF_1_1IntervalExeState.html +6 -6
  11. package/SVF-doxygen/html/classSymblicAbstractionTest-members.html +99 -0
  12. package/SVF-doxygen/html/classSymblicAbstractionTest.html +1282 -0
  13. package/SVF-doxygen/html/classes.html +56 -55
  14. package/SVF-doxygen/html/dir_454f632bef84d62ecd1cf13bd508acc9.html +86 -0
  15. package/SVF-doxygen/html/dir_e5d21102e3a998263c6c7812ac857e9d.html +2 -0
  16. package/SVF-doxygen/html/files.html +22 -20
  17. package/SVF-doxygen/html/functions_b.html +16 -10
  18. package/SVF-doxygen/html/functions_f.html +3 -3
  19. package/SVF-doxygen/html/functions_func_b.html +9 -3
  20. package/SVF-doxygen/html/functions_func_g.html +21 -17
  21. package/SVF-doxygen/html/functions_func_p.html +1 -1
  22. package/SVF-doxygen/html/functions_func_r.html +5 -2
  23. package/SVF-doxygen/html/functions_func_s.html +16 -13
  24. package/SVF-doxygen/html/functions_func_t.html +41 -1
  25. package/SVF-doxygen/html/functions_func_~.html +3 -0
  26. package/SVF-doxygen/html/functions_g.html +20 -16
  27. package/SVF-doxygen/html/functions_l.html +3 -3
  28. package/SVF-doxygen/html/functions_n.html +6 -6
  29. package/SVF-doxygen/html/functions_o.html +6 -6
  30. package/SVF-doxygen/html/functions_p.html +20 -22
  31. package/SVF-doxygen/html/functions_r.html +7 -8
  32. package/SVF-doxygen/html/functions_s.html +14 -11
  33. package/SVF-doxygen/html/functions_t.html +46 -6
  34. package/SVF-doxygen/html/functions_v.html +6 -6
  35. package/SVF-doxygen/html/functions_w.html +9 -7
  36. package/SVF-doxygen/html/functions_~.html +3 -0
  37. package/SVF-doxygen/html/globals_a.html +2 -2
  38. package/SVF-doxygen/html/globals_func_a.html +2 -2
  39. package/SVF-doxygen/html/globals_func_m.html +5 -4
  40. package/SVF-doxygen/html/globals_m.html +5 -4
  41. package/SVF-doxygen/html/globals_s.html +3 -0
  42. package/SVF-doxygen/html/globals_vars.html +3 -0
  43. package/SVF-doxygen/html/hierarchy.html +40 -39
  44. package/SVF-doxygen/html/search/all_1.js +133 -132
  45. package/SVF-doxygen/html/search/all_10.js +325 -325
  46. package/SVF-doxygen/html/search/all_11.js +225 -224
  47. package/SVF-doxygen/html/search/all_12.js +554 -552
  48. package/SVF-doxygen/html/search/all_13.js +203 -190
  49. package/SVF-doxygen/html/search/all_14.js +67 -67
  50. package/SVF-doxygen/html/search/all_15.js +168 -168
  51. package/SVF-doxygen/html/search/all_16.js +63 -63
  52. package/SVF-doxygen/html/search/all_17.js +1 -1
  53. package/SVF-doxygen/html/search/all_18.js +1 -1
  54. package/SVF-doxygen/html/search/all_19.js +11 -11
  55. package/SVF-doxygen/html/search/all_1a.js +175 -174
  56. package/SVF-doxygen/html/search/all_2.js +173 -171
  57. package/SVF-doxygen/html/search/all_3.js +648 -648
  58. package/SVF-doxygen/html/search/all_4.js +230 -230
  59. package/SVF-doxygen/html/search/all_5.js +119 -119
  60. package/SVF-doxygen/html/search/all_6.js +226 -226
  61. package/SVF-doxygen/html/search/all_7.js +1048 -1047
  62. package/SVF-doxygen/html/search/all_8.js +196 -196
  63. package/SVF-doxygen/html/search/all_9.js +605 -605
  64. package/SVF-doxygen/html/search/all_a.js +46 -46
  65. package/SVF-doxygen/html/search/all_b.js +26 -26
  66. package/SVF-doxygen/html/search/all_c.js +115 -115
  67. package/SVF-doxygen/html/search/all_d.js +197 -197
  68. package/SVF-doxygen/html/search/all_e.js +207 -207
  69. package/SVF-doxygen/html/search/all_f.js +116 -116
  70. package/SVF-doxygen/html/search/classes_0.js +26 -26
  71. package/SVF-doxygen/html/search/classes_1.js +9 -9
  72. package/SVF-doxygen/html/search/classes_10.js +74 -73
  73. package/SVF-doxygen/html/search/classes_11.js +15 -15
  74. package/SVF-doxygen/html/search/classes_12.js +2 -2
  75. package/SVF-doxygen/html/search/classes_13.js +10 -10
  76. package/SVF-doxygen/html/search/classes_14.js +14 -14
  77. package/SVF-doxygen/html/search/classes_15.js +1 -1
  78. package/SVF-doxygen/html/search/classes_2.js +81 -81
  79. package/SVF-doxygen/html/search/classes_3.js +37 -37
  80. package/SVF-doxygen/html/search/classes_4.js +9 -9
  81. package/SVF-doxygen/html/search/classes_5.js +28 -28
  82. package/SVF-doxygen/html/search/classes_6.js +104 -104
  83. package/SVF-doxygen/html/search/classes_7.js +34 -34
  84. package/SVF-doxygen/html/search/classes_8.js +57 -57
  85. package/SVF-doxygen/html/search/classes_9.js +1 -1
  86. package/SVF-doxygen/html/search/classes_a.js +12 -12
  87. package/SVF-doxygen/html/search/classes_b.js +29 -29
  88. package/SVF-doxygen/html/search/classes_c.js +6 -6
  89. package/SVF-doxygen/html/search/classes_d.js +18 -18
  90. package/SVF-doxygen/html/search/classes_e.js +36 -36
  91. package/SVF-doxygen/html/search/classes_f.js +25 -25
  92. package/SVF-doxygen/html/search/defines_0.js +3 -3
  93. package/SVF-doxygen/html/search/defines_1.js +2 -2
  94. package/SVF-doxygen/html/search/defines_2.js +30 -30
  95. package/SVF-doxygen/html/search/defines_3.js +20 -20
  96. package/SVF-doxygen/html/search/defines_4.js +2 -2
  97. package/SVF-doxygen/html/search/defines_5.js +4 -4
  98. package/SVF-doxygen/html/search/defines_6.js +2 -2
  99. package/SVF-doxygen/html/search/defines_7.js +5 -5
  100. package/SVF-doxygen/html/search/defines_8.js +11 -11
  101. package/SVF-doxygen/html/search/defines_9.js +9 -9
  102. package/SVF-doxygen/html/search/defines_a.js +2 -2
  103. package/SVF-doxygen/html/search/defines_b.js +1 -1
  104. package/SVF-doxygen/html/search/defines_c.js +3 -3
  105. package/SVF-doxygen/html/search/defines_d.js +2 -2
  106. package/SVF-doxygen/html/search/defines_e.js +7 -7
  107. package/SVF-doxygen/html/search/defines_f.js +3 -3
  108. package/SVF-doxygen/html/search/enums_0.js +3 -3
  109. package/SVF-doxygen/html/search/enums_1.js +2 -2
  110. package/SVF-doxygen/html/search/enums_10.js +1 -1
  111. package/SVF-doxygen/html/search/enums_11.js +1 -1
  112. package/SVF-doxygen/html/search/enums_2.js +8 -8
  113. package/SVF-doxygen/html/search/enums_3.js +1 -1
  114. package/SVF-doxygen/html/search/enums_4.js +3 -3
  115. package/SVF-doxygen/html/search/enums_5.js +1 -1
  116. package/SVF-doxygen/html/search/enums_6.js +2 -2
  117. package/SVF-doxygen/html/search/enums_7.js +2 -2
  118. package/SVF-doxygen/html/search/enums_8.js +4 -4
  119. package/SVF-doxygen/html/search/enums_9.js +1 -1
  120. package/SVF-doxygen/html/search/enums_a.js +1 -1
  121. package/SVF-doxygen/html/search/enums_b.js +7 -7
  122. package/SVF-doxygen/html/search/enums_c.js +1 -1
  123. package/SVF-doxygen/html/search/enums_d.js +4 -4
  124. package/SVF-doxygen/html/search/enums_e.js +2 -2
  125. package/SVF-doxygen/html/search/enums_f.js +4 -4
  126. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  127. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  128. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  129. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  130. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  131. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  132. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  133. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  134. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  135. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  136. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  137. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  138. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  139. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  140. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  141. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  142. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  143. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  144. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  145. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  146. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  147. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  148. package/SVF-doxygen/html/search/files_0.js +14 -13
  149. package/SVF-doxygen/html/search/files_1.js +7 -7
  150. package/SVF-doxygen/html/search/files_10.js +8 -8
  151. package/SVF-doxygen/html/search/files_11.js +8 -8
  152. package/SVF-doxygen/html/search/files_12.js +2 -2
  153. package/SVF-doxygen/html/search/files_2.js +57 -57
  154. package/SVF-doxygen/html/search/files_3.js +14 -14
  155. package/SVF-doxygen/html/search/files_4.js +5 -5
  156. package/SVF-doxygen/html/search/files_5.js +13 -13
  157. package/SVF-doxygen/html/search/files_6.js +9 -9
  158. package/SVF-doxygen/html/search/files_7.js +14 -14
  159. package/SVF-doxygen/html/search/files_8.js +13 -13
  160. package/SVF-doxygen/html/search/files_9.js +18 -18
  161. package/SVF-doxygen/html/search/files_a.js +3 -3
  162. package/SVF-doxygen/html/search/files_b.js +2 -2
  163. package/SVF-doxygen/html/search/files_c.js +20 -20
  164. package/SVF-doxygen/html/search/files_d.js +4 -4
  165. package/SVF-doxygen/html/search/files_e.js +62 -62
  166. package/SVF-doxygen/html/search/files_f.js +8 -8
  167. package/SVF-doxygen/html/search/functions_0.js +13 -13
  168. package/SVF-doxygen/html/search/functions_1.js +364 -364
  169. package/SVF-doxygen/html/search/functions_10.js +140 -140
  170. package/SVF-doxygen/html/search/functions_11.js +140 -139
  171. package/SVF-doxygen/html/search/functions_12.js +289 -288
  172. package/SVF-doxygen/html/search/functions_13.js +72 -59
  173. package/SVF-doxygen/html/search/functions_14.js +39 -39
  174. package/SVF-doxygen/html/search/functions_15.js +71 -71
  175. package/SVF-doxygen/html/search/functions_16.js +32 -32
  176. package/SVF-doxygen/html/search/functions_17.js +3 -3
  177. package/SVF-doxygen/html/search/functions_18.js +175 -174
  178. package/SVF-doxygen/html/search/functions_2.js +91 -89
  179. package/SVF-doxygen/html/search/functions_3.js +261 -261
  180. package/SVF-doxygen/html/search/functions_4.js +78 -78
  181. package/SVF-doxygen/html/search/functions_5.js +53 -53
  182. package/SVF-doxygen/html/search/functions_6.js +60 -60
  183. package/SVF-doxygen/html/search/functions_7.js +857 -856
  184. package/SVF-doxygen/html/search/functions_8.js +148 -148
  185. package/SVF-doxygen/html/search/functions_9.js +421 -421
  186. package/SVF-doxygen/html/search/functions_a.js +30 -30
  187. package/SVF-doxygen/html/search/functions_b.js +2 -2
  188. package/SVF-doxygen/html/search/functions_c.js +25 -25
  189. package/SVF-doxygen/html/search/functions_d.js +79 -79
  190. package/SVF-doxygen/html/search/functions_e.js +35 -35
  191. package/SVF-doxygen/html/search/functions_f.js +56 -56
  192. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  193. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  194. package/SVF-doxygen/html/search/related_0.js +2 -2
  195. package/SVF-doxygen/html/search/related_1.js +2 -2
  196. package/SVF-doxygen/html/search/related_2.js +3 -3
  197. package/SVF-doxygen/html/search/related_3.js +2 -2
  198. package/SVF-doxygen/html/search/related_4.js +2 -2
  199. package/SVF-doxygen/html/search/related_5.js +1 -1
  200. package/SVF-doxygen/html/search/related_6.js +2 -2
  201. package/SVF-doxygen/html/search/related_7.js +4 -4
  202. package/SVF-doxygen/html/search/related_8.js +2 -2
  203. package/SVF-doxygen/html/search/related_9.js +4 -4
  204. package/SVF-doxygen/html/search/related_a.js +19 -19
  205. package/SVF-doxygen/html/search/related_b.js +4 -4
  206. package/SVF-doxygen/html/search/related_c.js +2 -2
  207. package/SVF-doxygen/html/search/related_d.js +12 -12
  208. package/SVF-doxygen/html/search/related_e.js +2 -2
  209. package/SVF-doxygen/html/search/related_f.js +2 -2
  210. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  211. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  212. package/SVF-doxygen/html/search/typedefs_10.js +62 -62
  213. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  214. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  215. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  216. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  217. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  218. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  219. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  220. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  221. package/SVF-doxygen/html/search/typedefs_6.js +56 -56
  222. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  223. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  224. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  225. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  226. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  227. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  228. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  229. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  230. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  231. package/SVF-doxygen/html/search/variables_0.js +151 -151
  232. package/SVF-doxygen/html/search/variables_1.js +76 -76
  233. package/SVF-doxygen/html/search/variables_10.js +98 -98
  234. package/SVF-doxygen/html/search/variables_11.js +45 -45
  235. package/SVF-doxygen/html/search/variables_12.js +91 -90
  236. package/SVF-doxygen/html/search/variables_13.js +74 -74
  237. package/SVF-doxygen/html/search/variables_14.js +14 -14
  238. package/SVF-doxygen/html/search/variables_15.js +49 -49
  239. package/SVF-doxygen/html/search/variables_16.js +9 -9
  240. package/SVF-doxygen/html/search/variables_17.js +1 -1
  241. package/SVF-doxygen/html/search/variables_18.js +2 -2
  242. package/SVF-doxygen/html/search/variables_2.js +38 -38
  243. package/SVF-doxygen/html/search/variables_3.js +142 -142
  244. package/SVF-doxygen/html/search/variables_4.js +50 -50
  245. package/SVF-doxygen/html/search/variables_5.js +37 -37
  246. package/SVF-doxygen/html/search/variables_6.js +66 -66
  247. package/SVF-doxygen/html/search/variables_7.js +34 -34
  248. package/SVF-doxygen/html/search/variables_8.js +7 -7
  249. package/SVF-doxygen/html/search/variables_9.js +78 -78
  250. package/SVF-doxygen/html/search/variables_a.js +4 -4
  251. package/SVF-doxygen/html/search/variables_b.js +10 -10
  252. package/SVF-doxygen/html/search/variables_c.js +45 -45
  253. package/SVF-doxygen/html/search/variables_d.js +55 -55
  254. package/SVF-doxygen/html/search/variables_e.js +123 -123
  255. package/SVF-doxygen/html/search/variables_f.js +30 -30
  256. package/build.sh +1 -1
  257. package/package.json +1 -1
  258. package/svf/include/AbstractExecution/IntervalExeState.h +2 -2
  259. package/svf-llvm/tools/AE/CMakeLists.txt +2 -0
  260. package/svf-llvm/tools/AE/ae.cpp +607 -0
  261. 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/IntervalExeState_8h_source.html CHANGED
@@ -336,7 +336,7 @@ $(function() {
336
336
  <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; }</div>
337
337
  <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; }</div>
338
338
  <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; </div>
339
- <div class="line"><a name="l00292"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalESBase.html#a46a305a70ec53c6bda50caafec38791a"> 292</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; <a class="code" href="classSVF_1_1IntervalESBase.html#a46a305a70ec53c6bda50caafec38791a">getLocToVal</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)</div>
339
+ <div class="line"><a name="l00292"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535"> 292</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; <a class="code" href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">getLocVal</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)</div>
340
340
  <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div>
341
341
  <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">_locToItvVal</a>.find(<span class="keywordtype">id</span>);</div>
342
342
  <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">if</span>(it != <a class="code" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">_locToItvVal</a>.end())</div>
@@ -608,7 +608,7 @@ $(function() {
608
608
  <div class="line"><a name="l00578"></a><span class="lineno"> 578</span>&#160; }</div>
609
609
  <div class="line"><a name="l00579"></a><span class="lineno"> 579</span>&#160; }</div>
610
610
  <div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160; </div>
611
- <div class="line"><a name="l00581"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3"> 581</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; <a class="code" href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">getLocToVal</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> override</span></div>
611
+ <div class="line"><a name="l00581"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6"> 581</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; <a class="code" href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">getLocVal</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> override</span></div>
612
612
  <div class="line"><a name="l00582"></a><span class="lineno"> 582</span>&#160;<span class="keyword"> </span>{</div>
613
613
  <div class="line"><a name="l00583"></a><span class="lineno"> 583</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">_locToItvVal</a>.find(<span class="keywordtype">id</span>);</div>
614
614
  <div class="line"><a name="l00584"></a><span class="lineno"> 584</span>&#160; <span class="keywordflow">if</span>(it != <a class="code" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">_locToItvVal</a>.end())</div>
@@ -740,6 +740,7 @@ $(function() {
740
740
  <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_abc8edb74e55f40dbc7bb5182d4ef1199"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199">SVF::IntervalExeState::widening</a></div><div class="ttdeci">IntervalExeState widening(const IntervalExeState &amp;other)</div><div class="ttdoc">domain widen with other, and return the widened domain</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00253">IntervalExeState.cpp:253</a></div></div>
741
741
  <div class="ttc" id="aclassSVF_1_1ExeState_html_ab72f3bc855feeda75e11768ab03ad84e"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">SVF::ExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00283">ExeState.h:283</a></div></div>
742
742
  <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a5ca48cf99bb54008d824d8c475c450f7"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">SVF::IntervalExeState::operator=</a></div><div class="ttdeci">IntervalExeState &amp; operator=(const IntervalExeState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00430">IntervalExeState.h:430</a></div></div>
743
+ <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ad955967016e901391aaa0c3170ff43b6"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">SVF::IntervalExeState::getLocVal</a></div><div class="ttdeci">IntervalValue &amp; getLocVal(u32_t id) override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00581">IntervalExeState.h:581</a></div></div>
743
744
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
744
745
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a8722234ba6bea5223e79174ff1d095c7"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7">SVF::IntervalESBase::operator&gt;=</a></div><div class="ttdeci">bool operator&gt;=(const IntervalESBase &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00387">IntervalExeState.h:387</a></div></div>
745
746
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a52b590dc437bc01ce116255e699c3c55"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a52b590dc437bc01ce116255e699c3c55">SVF::IntervalESBase::narrowWith</a></div><div class="ttdeci">void narrowWith(const IntervalESBase &amp;other)</div><div class="ttdoc">domain narrow with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00145">IntervalExeState.cpp:145</a></div></div>
@@ -758,7 +759,7 @@ $(function() {
758
759
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a2906309f1b7691be20b8d3a3968dfe91"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a2906309f1b7691be20b8d3a3968dfe91">SVF::IntervalESBase::IntervalESBase</a></div><div class="ttdeci">IntervalESBase(IntervalESBase &amp;&amp;rhs)</div><div class="ttdoc">move constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00093">IntervalExeState.h:93</a></div></div>
759
760
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a551d07983a89971d4e2422e6be850d4f"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a551d07983a89971d4e2422e6be850d4f">SVF::IntervalESBase::inVarToAddrsTable</a></div><div class="ttdeci">bool inVarToAddrsTable(u32_t id) const override</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00165">IntervalExeState.h:165</a></div></div>
760
761
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a6c517028bddfa9f4617950a02f347ce8"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a6c517028bddfa9f4617950a02f347ce8">SVF::IntervalESBase::inLocToAddrsTable</a></div><div class="ttdeci">bool inLocToAddrsTable(u32_t id) const override</div><div class="ttdoc">whether the memory address stores memory addresses</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00177">IntervalExeState.h:177</a></div></div>
761
- <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a48247d3ce543a9773d668998f7f58ac3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">SVF::IntervalExeState::getLocToVal</a></div><div class="ttdeci">IntervalValue &amp; getLocToVal(u32_t id) override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00581">IntervalExeState.h:581</a></div></div>
762
+ <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a844658f360b23a9872a74082f7600535"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">SVF::IntervalESBase::getLocVal</a></div><div class="ttdeci">virtual IntervalValue &amp; getLocVal(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00292">IntervalExeState.h:292</a></div></div>
762
763
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a765e98325842f6df15255af9a8036e8c"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a765e98325842f6df15255af9a8036e8c">SVF::IntervalESBase::~IntervalESBase</a></div><div class="ttdeci">virtual ~IntervalESBase()=default</div></div>
763
764
  <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
764
765
  <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a1e8f41b502167283ccb87bd128f232bc"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc">SVF::IntervalExeState::narrowing</a></div><div class="ttdeci">IntervalExeState narrowing(const IntervalExeState &amp;other)</div><div class="ttdoc">domain narrow with other, and return the narrowed domain</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00271">IntervalExeState.cpp:271</a></div></div>
@@ -776,7 +777,6 @@ $(function() {
776
777
  <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a50aee49f7f34e05f7e2cb28ae55099f8"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a50aee49f7f34e05f7e2cb28ae55099f8">SVF::IntervalExeState::inLocToValTable</a></div><div class="ttdeci">bool inLocToValTable(u32_t id) const override</div><div class="ttdoc">whether the memory address stores interval value</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00495">IntervalExeState.h:495</a></div></div>
777
778
  <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
778
779
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a2da3f0da084f66f5b82c86e6650fd903"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a2da3f0da084f66f5b82c86e6650fd903">SVF::IntervalESBase::IntervalESBase</a></div><div class="ttdeci">IntervalESBase()</div><div class="ttdoc">default constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00065">IntervalExeState.h:65</a></div></div>
779
- <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a46a305a70ec53c6bda50caafec38791a"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a46a305a70ec53c6bda50caafec38791a">SVF::IntervalESBase::getLocToVal</a></div><div class="ttdeci">virtual IntervalValue &amp; getLocToVal(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00292">IntervalExeState.h:292</a></div></div>
780
780
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a9133df5ab00e7c2918a8047fd0bdfb08"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a9133df5ab00e7c2918a8047fd0bdfb08">SVF::IntervalESBase::equals</a></div><div class="ttdeci">bool equals(const IntervalESBase &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00036">IntervalExeState.cpp:36</a></div></div>
781
781
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a33fd0e4a654dd4f5b7762b0088e11674"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a33fd0e4a654dd4f5b7762b0088e11674">SVF::IntervalESBase::top</a></div><div class="ttdeci">IntervalESBase top() const</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00124">IntervalExeState.h:124</a></div></div>
782
782
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_aaafb882ca79738d39697d1461bd2032f"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#aaafb882ca79738d39697d1461bd2032f">SVF::IntervalESBase::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const IntervalESBase &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00381">IntervalExeState.h:381</a></div></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>