svf-tools 1.0.908 → 1.0.910

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 (268) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +1549 -1576
  2. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +68 -75
  3. package/SVF-doxygen/html/AbstractState_8cpp_source.html +25 -25
  4. package/SVF-doxygen/html/AbstractState_8h_source.html +390 -391
  5. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +15 -15
  6. package/SVF-doxygen/html/RelExeState_8cpp_source.html +5 -5
  7. package/SVF-doxygen/html/RelExeState_8h_source.html +178 -179
  8. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +3 -3
  9. package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +10 -10
  10. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +12 -17
  11. package/SVF-doxygen/html/ae_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/classSVF_1_1AEStat.html +115 -115
  13. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +7 -9
  14. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +1435 -1521
  15. package/SVF-doxygen/html/classSVF_1_1AbstractState-members.html +25 -25
  16. package/SVF-doxygen/html/classSVF_1_1AbstractState.html +340 -342
  17. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +7 -9
  18. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +20 -10
  19. package/SVF-doxygen/html/classSVF_1_1RelExeState-members.html +19 -19
  20. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +131 -132
  21. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +3 -3
  22. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +22 -24
  23. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +23 -91
  24. package/SVF-doxygen/html/classSymblicAbstractionTest.html +2 -2
  25. package/SVF-doxygen/html/functions.html +6 -9
  26. package/SVF-doxygen/html/functions_a.html +9 -3
  27. package/SVF-doxygen/html/functions_f.html +3 -3
  28. package/SVF-doxygen/html/functions_func.html +1 -1
  29. package/SVF-doxygen/html/functions_func_g.html +9 -9
  30. package/SVF-doxygen/html/functions_func_i.html +7 -13
  31. package/SVF-doxygen/html/functions_func_p.html +3 -3
  32. package/SVF-doxygen/html/functions_g.html +10 -10
  33. package/SVF-doxygen/html/functions_i.html +12 -18
  34. package/SVF-doxygen/html/functions_l.html +3 -9
  35. package/SVF-doxygen/html/functions_o.html +17 -17
  36. package/SVF-doxygen/html/functions_p.html +18 -22
  37. package/SVF-doxygen/html/functions_r.html +1 -1
  38. package/SVF-doxygen/html/functions_s.html +12 -14
  39. package/SVF-doxygen/html/functions_t.html +2 -2
  40. package/SVF-doxygen/html/functions_type.html +6 -0
  41. package/SVF-doxygen/html/functions_type_l.html +0 -6
  42. package/SVF-doxygen/html/functions_v.html +3 -3
  43. package/SVF-doxygen/html/functions_vars.html +6 -9
  44. package/SVF-doxygen/html/functions_w.html +1 -1
  45. package/SVF-doxygen/html/search/all_0.js +167 -168
  46. package/SVF-doxygen/html/search/all_1.js +504 -502
  47. package/SVF-doxygen/html/search/all_10.js +326 -326
  48. package/SVF-doxygen/html/search/all_11.js +227 -227
  49. package/SVF-doxygen/html/search/all_12.js +562 -562
  50. package/SVF-doxygen/html/search/all_13.js +186 -186
  51. package/SVF-doxygen/html/search/all_14.js +74 -74
  52. package/SVF-doxygen/html/search/all_15.js +175 -175
  53. package/SVF-doxygen/html/search/all_16.js +77 -77
  54. package/SVF-doxygen/html/search/all_17.js +1 -1
  55. package/SVF-doxygen/html/search/all_18.js +1 -1
  56. package/SVF-doxygen/html/search/all_19.js +27 -27
  57. package/SVF-doxygen/html/search/all_1a.js +174 -174
  58. package/SVF-doxygen/html/search/all_2.js +180 -180
  59. package/SVF-doxygen/html/search/all_3.js +635 -635
  60. package/SVF-doxygen/html/search/all_4.js +237 -237
  61. package/SVF-doxygen/html/search/all_5.js +120 -120
  62. package/SVF-doxygen/html/search/all_6.js +236 -236
  63. package/SVF-doxygen/html/search/all_7.js +1039 -1039
  64. package/SVF-doxygen/html/search/all_8.js +224 -224
  65. package/SVF-doxygen/html/search/all_9.js +623 -625
  66. package/SVF-doxygen/html/search/all_a.js +46 -46
  67. package/SVF-doxygen/html/search/all_b.js +24 -24
  68. package/SVF-doxygen/html/search/all_c.js +111 -113
  69. package/SVF-doxygen/html/search/all_d.js +204 -204
  70. package/SVF-doxygen/html/search/all_e.js +207 -207
  71. package/SVF-doxygen/html/search/all_f.js +122 -122
  72. package/SVF-doxygen/html/search/classes_0.js +29 -29
  73. package/SVF-doxygen/html/search/classes_1.js +11 -11
  74. package/SVF-doxygen/html/search/classes_10.js +71 -71
  75. package/SVF-doxygen/html/search/classes_11.js +14 -14
  76. package/SVF-doxygen/html/search/classes_12.js +2 -2
  77. package/SVF-doxygen/html/search/classes_13.js +10 -10
  78. package/SVF-doxygen/html/search/classes_14.js +19 -19
  79. package/SVF-doxygen/html/search/classes_15.js +1 -1
  80. package/SVF-doxygen/html/search/classes_2.js +72 -72
  81. package/SVF-doxygen/html/search/classes_3.js +35 -35
  82. package/SVF-doxygen/html/search/classes_4.js +7 -7
  83. package/SVF-doxygen/html/search/classes_5.js +28 -28
  84. package/SVF-doxygen/html/search/classes_6.js +98 -98
  85. package/SVF-doxygen/html/search/classes_7.js +33 -33
  86. package/SVF-doxygen/html/search/classes_8.js +57 -57
  87. package/SVF-doxygen/html/search/classes_9.js +1 -1
  88. package/SVF-doxygen/html/search/classes_a.js +12 -12
  89. package/SVF-doxygen/html/search/classes_b.js +29 -29
  90. package/SVF-doxygen/html/search/classes_c.js +6 -6
  91. package/SVF-doxygen/html/search/classes_d.js +19 -19
  92. package/SVF-doxygen/html/search/classes_e.js +36 -36
  93. package/SVF-doxygen/html/search/classes_f.js +25 -25
  94. package/SVF-doxygen/html/search/defines_0.js +3 -3
  95. package/SVF-doxygen/html/search/defines_1.js +3 -3
  96. package/SVF-doxygen/html/search/defines_10.js +2 -2
  97. package/SVF-doxygen/html/search/defines_2.js +30 -30
  98. package/SVF-doxygen/html/search/defines_3.js +20 -20
  99. package/SVF-doxygen/html/search/defines_4.js +3 -3
  100. package/SVF-doxygen/html/search/defines_5.js +4 -4
  101. package/SVF-doxygen/html/search/defines_6.js +2 -2
  102. package/SVF-doxygen/html/search/defines_7.js +5 -5
  103. package/SVF-doxygen/html/search/defines_8.js +11 -11
  104. package/SVF-doxygen/html/search/defines_9.js +9 -9
  105. package/SVF-doxygen/html/search/defines_a.js +2 -2
  106. package/SVF-doxygen/html/search/defines_b.js +1 -1
  107. package/SVF-doxygen/html/search/defines_c.js +3 -3
  108. package/SVF-doxygen/html/search/defines_d.js +2 -2
  109. package/SVF-doxygen/html/search/defines_e.js +8 -8
  110. package/SVF-doxygen/html/search/defines_f.js +4 -4
  111. package/SVF-doxygen/html/search/enums_0.js +3 -3
  112. package/SVF-doxygen/html/search/enums_1.js +2 -2
  113. package/SVF-doxygen/html/search/enums_10.js +1 -1
  114. package/SVF-doxygen/html/search/enums_11.js +1 -1
  115. package/SVF-doxygen/html/search/enums_2.js +9 -9
  116. package/SVF-doxygen/html/search/enums_3.js +2 -2
  117. package/SVF-doxygen/html/search/enums_4.js +3 -3
  118. package/SVF-doxygen/html/search/enums_5.js +1 -1
  119. package/SVF-doxygen/html/search/enums_6.js +2 -2
  120. package/SVF-doxygen/html/search/enums_7.js +2 -2
  121. package/SVF-doxygen/html/search/enums_8.js +4 -4
  122. package/SVF-doxygen/html/search/enums_9.js +1 -1
  123. package/SVF-doxygen/html/search/enums_a.js +1 -1
  124. package/SVF-doxygen/html/search/enums_b.js +7 -7
  125. package/SVF-doxygen/html/search/enums_c.js +1 -1
  126. package/SVF-doxygen/html/search/enums_d.js +4 -4
  127. package/SVF-doxygen/html/search/enums_e.js +2 -2
  128. package/SVF-doxygen/html/search/enums_f.js +4 -4
  129. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  130. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  131. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  132. package/SVF-doxygen/html/search/enumvalues_11.js +6 -6
  133. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  134. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  135. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  136. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  137. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  138. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  139. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  140. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  141. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  142. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  143. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  144. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  145. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  146. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  147. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  148. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  149. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  150. package/SVF-doxygen/html/search/enumvalues_f.js +48 -48
  151. package/SVF-doxygen/html/search/files_0.js +18 -18
  152. package/SVF-doxygen/html/search/files_1.js +9 -9
  153. package/SVF-doxygen/html/search/files_10.js +8 -8
  154. package/SVF-doxygen/html/search/files_11.js +8 -8
  155. package/SVF-doxygen/html/search/files_12.js +2 -2
  156. package/SVF-doxygen/html/search/files_2.js +51 -51
  157. package/SVF-doxygen/html/search/files_3.js +14 -14
  158. package/SVF-doxygen/html/search/files_4.js +3 -3
  159. package/SVF-doxygen/html/search/files_5.js +13 -13
  160. package/SVF-doxygen/html/search/files_6.js +10 -10
  161. package/SVF-doxygen/html/search/files_7.js +15 -15
  162. package/SVF-doxygen/html/search/files_8.js +13 -13
  163. package/SVF-doxygen/html/search/files_9.js +18 -18
  164. package/SVF-doxygen/html/search/files_a.js +3 -3
  165. package/SVF-doxygen/html/search/files_b.js +4 -4
  166. package/SVF-doxygen/html/search/files_c.js +20 -20
  167. package/SVF-doxygen/html/search/files_d.js +4 -4
  168. package/SVF-doxygen/html/search/files_e.js +57 -57
  169. package/SVF-doxygen/html/search/files_f.js +8 -8
  170. package/SVF-doxygen/html/search/functions_0.js +13 -13
  171. package/SVF-doxygen/html/search/functions_1.js +366 -366
  172. package/SVF-doxygen/html/search/functions_10.js +140 -140
  173. package/SVF-doxygen/html/search/functions_11.js +140 -140
  174. package/SVF-doxygen/html/search/functions_12.js +293 -293
  175. package/SVF-doxygen/html/search/functions_13.js +52 -52
  176. package/SVF-doxygen/html/search/functions_14.js +41 -41
  177. package/SVF-doxygen/html/search/functions_15.js +70 -70
  178. package/SVF-doxygen/html/search/functions_16.js +38 -38
  179. package/SVF-doxygen/html/search/functions_17.js +3 -3
  180. package/SVF-doxygen/html/search/functions_18.js +174 -174
  181. package/SVF-doxygen/html/search/functions_2.js +92 -92
  182. package/SVF-doxygen/html/search/functions_3.js +257 -257
  183. package/SVF-doxygen/html/search/functions_4.js +85 -85
  184. package/SVF-doxygen/html/search/functions_5.js +54 -54
  185. package/SVF-doxygen/html/search/functions_6.js +65 -65
  186. package/SVF-doxygen/html/search/functions_7.js +857 -857
  187. package/SVF-doxygen/html/search/functions_8.js +176 -176
  188. package/SVF-doxygen/html/search/functions_9.js +436 -438
  189. package/SVF-doxygen/html/search/functions_a.js +30 -30
  190. package/SVF-doxygen/html/search/functions_b.js +2 -2
  191. package/SVF-doxygen/html/search/functions_c.js +22 -22
  192. package/SVF-doxygen/html/search/functions_d.js +81 -81
  193. package/SVF-doxygen/html/search/functions_e.js +34 -34
  194. package/SVF-doxygen/html/search/functions_f.js +58 -58
  195. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  196. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  197. package/SVF-doxygen/html/search/related_0.js +4 -4
  198. package/SVF-doxygen/html/search/related_1.js +2 -2
  199. package/SVF-doxygen/html/search/related_2.js +2 -2
  200. package/SVF-doxygen/html/search/related_3.js +2 -2
  201. package/SVF-doxygen/html/search/related_4.js +2 -2
  202. package/SVF-doxygen/html/search/related_5.js +1 -1
  203. package/SVF-doxygen/html/search/related_6.js +2 -2
  204. package/SVF-doxygen/html/search/related_7.js +5 -5
  205. package/SVF-doxygen/html/search/related_8.js +2 -2
  206. package/SVF-doxygen/html/search/related_9.js +4 -4
  207. package/SVF-doxygen/html/search/related_a.js +19 -19
  208. package/SVF-doxygen/html/search/related_b.js +4 -4
  209. package/SVF-doxygen/html/search/related_c.js +2 -2
  210. package/SVF-doxygen/html/search/related_d.js +11 -11
  211. package/SVF-doxygen/html/search/related_e.js +2 -2
  212. package/SVF-doxygen/html/search/related_f.js +2 -2
  213. package/SVF-doxygen/html/search/typedefs_0.js +20 -18
  214. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  215. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  216. package/SVF-doxygen/html/search/typedefs_11.js +12 -12
  217. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  218. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  219. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  220. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  221. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  222. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  223. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  224. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  225. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  226. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  227. package/SVF-doxygen/html/search/typedefs_9.js +4 -4
  228. package/SVF-doxygen/html/search/typedefs_a.js +28 -30
  229. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  230. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  231. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  232. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  233. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  234. package/SVF-doxygen/html/search/variables_0.js +170 -171
  235. package/SVF-doxygen/html/search/variables_1.js +78 -78
  236. package/SVF-doxygen/html/search/variables_10.js +98 -98
  237. package/SVF-doxygen/html/search/variables_11.js +47 -47
  238. package/SVF-doxygen/html/search/variables_12.js +93 -93
  239. package/SVF-doxygen/html/search/variables_13.js +76 -76
  240. package/SVF-doxygen/html/search/variables_14.js +14 -14
  241. package/SVF-doxygen/html/search/variables_15.js +49 -49
  242. package/SVF-doxygen/html/search/variables_16.js +11 -11
  243. package/SVF-doxygen/html/search/variables_17.js +1 -1
  244. package/SVF-doxygen/html/search/variables_18.js +17 -17
  245. package/SVF-doxygen/html/search/variables_2.js +40 -40
  246. package/SVF-doxygen/html/search/variables_3.js +143 -143
  247. package/SVF-doxygen/html/search/variables_4.js +51 -51
  248. package/SVF-doxygen/html/search/variables_5.js +39 -39
  249. package/SVF-doxygen/html/search/variables_6.js +66 -66
  250. package/SVF-doxygen/html/search/variables_7.js +32 -32
  251. package/SVF-doxygen/html/search/variables_8.js +8 -8
  252. package/SVF-doxygen/html/search/variables_9.js +80 -80
  253. package/SVF-doxygen/html/search/variables_a.js +4 -4
  254. package/SVF-doxygen/html/search/variables_b.js +10 -10
  255. package/SVF-doxygen/html/search/variables_c.js +44 -44
  256. package/SVF-doxygen/html/search/variables_d.js +58 -58
  257. package/SVF-doxygen/html/search/variables_e.js +123 -123
  258. package/SVF-doxygen/html/search/variables_f.js +31 -31
  259. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1RelExeState_01_4.html +6 -6
  260. package/package.json +1 -1
  261. package/svf/include/AE/Core/AbstractState.h +23 -24
  262. package/svf/include/AE/Core/RelExeState.h +10 -11
  263. package/svf/include/AE/Svfexe/AbstractInterpretation.h +4 -9
  264. package/svf/include/AE/Svfexe/SVFIR2AbsState.h +0 -3
  265. package/svf/lib/AE/Core/AbstractState.cpp +22 -22
  266. package/svf/lib/AE/Core/RelExeState.cpp +3 -3
  267. package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +3 -27
  268. package/svf/lib/AE/Svfexe/SVFIR2AbsState.cpp +8 -8
package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html CHANGED
@@ -85,10 +85,10 @@ $(function() {
85
85
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#af41aa555a5b607ae7700263ac72f8dbb">_funcToWTO</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
86
86
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ab988e460fe92f0ba3c4cbee8e0c480a0">_icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
87
87
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a5d3b15c3cdb9c8e91b942924bf8aee21">_kind</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">_moduleName</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
88
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">_moduleName</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
89
89
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">_nodeToBugInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
90
- <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a5bcfbde64bd51082e8c587e0bc708377">_postAbstractTrace</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
91
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac97c5979efd3049d18b6edb83f359a20">_preAbstractTrace</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
90
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a5bcfbde64bd51082e8c587e0bc708377">_postAbstractTrace</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
91
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac97c5979efd3049d18b6edb83f359a20">_preAbstractTrace</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
92
92
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a8e4f0c5f527e321369a19a0b37124079">_recoder</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
93
93
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a9b5e58476c372570551da971d22c5c02">_recursiveFuns</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
94
94
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a75e493e6b9db3e29428794432d293bc2">_stat</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
@@ -128,7 +128,7 @@ $(function() {
128
128
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#acba90e968cebacca3da78ac765df33ef">handleStrcat</a>(const CallICFGNode *call)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
129
129
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac941d1eb9b1216c8334d0685a471b774">handleStrcpy</a>(const CallICFGNode *call)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
130
130
  <tr><td class="entry"><a class="el" href="classSVF_1_1BufOverflowChecker.html#a0b79c3694a08100d2d8d1b8109998131">handleSVFStatement</a>(const SVFStmt *stmt) override</td><td class="entry"><a class="el" href="classSVF_1_1BufOverflowChecker.html">SVF::BufOverflowChecker</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
131
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a80d663262a8d909ef5756391cdd82246">handleWTONode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
131
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a80d663262a8d909ef5756391cdd82246">handleWTONode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
132
132
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a12cba4105a721ff73a7b13b70ee9c5b2">hasBranchES</a>(const IntraCFGEdge *intraEdge, AbstractState &amp;es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
133
133
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a01650b2a16e327408ce180b2d1bc9631">hasCmpBranchES</a>(const CmpStmt *cmpStmt, s64_t succ, AbstractState &amp;es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
134
134
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac3f8e4602627135c6fb03ba843893d6a">hasSwitchBranchES</a>(const SVFVar *var, s64_t succ, AbstractState &amp;es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
@@ -137,15 +137,13 @@ $(function() {
137
137
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BufOverflowChecker.html#af0e2276001df7d51c45b22d5d11ca09b">initExtFunMap</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1BufOverflowChecker.html">SVF::BufOverflowChecker</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
138
138
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a14c758bcbbc7d8197c5fa1851720b663">isDirectCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
139
139
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a2eb84610d9a9eca6565e4a8a1e1156d1">isExtCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
140
- <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a156687481295e019887c5ea309360347">isFunEntry</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
141
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#abcbfff7e33ef9d901bb37e64fe2ba53c">isGlobalEntry</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
142
140
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a330379cef58219f72f4ec4c12a6d86ea">isIndirectCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
143
141
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a0e2af184576d9673f535fe80deb944f6">isRecursiveCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
144
142
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a738d1768c632f86d04599ec1aa53952a">markRecursiveFuns</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
145
143
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daa9cc269dadf9cff7d399c54d9570a6614">MEMCPY</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"></td></tr>
146
144
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daa5aec33226dc590ec951d0f12bf35f15f">MEMSET</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"></td></tr>
147
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a8a4b07e6c999bea0b0e69dcab0346933">narrowFixpointPass</a>(const ICFGNode *cycle_head, AbstractState &amp;pre_es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
148
- <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac7e8c4d8d249d482e7c65af616f10ffb">propogateAbsStateToCurNode</a>(const ICFGNode *block)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
145
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a8a4b07e6c999bea0b0e69dcab0346933">narrowFixpointPass</a>(const ICFGNode *cycle_head, AbstractState &amp;pre_es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
146
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a3a12a86670eef9cd22b1853c7c6fa208">propagateStateIfFeasible</a>(const ICFGNode *curNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
149
147
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a0e36af6b826b9eacf183aebd0b8c5f1f">recursiveCallPass</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
150
148
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a971a676fb15da74d37de14725bab40b0">runOnModule</a>(ICFG *icfg)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
151
149
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#af966130d5cb8d7db786c3ec056cc2dd4">SkipRecursiveCall</a>(const CallICFGNode *callnode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
@@ -155,7 +153,7 @@ $(function() {
155
153
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a7dfd11b987d9ff9528277e23191ed95d">strRead</a>(const SVFValue *rhs)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
156
154
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac9e8bc430cd530e47811e28f5a9fe963">traceMemoryAllocationSize</a>(const SVFValue *value)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
157
155
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daad20658cd0f68b92583461b0b1f68d543">UNCLASSIFIED</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"></td></tr>
158
- <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a1b8e1e0cc9803687a0eb951015ac59af">widenFixpointPass</a>(const ICFGNode *cycle_head, AbstractState &amp;pre_es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
156
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a1b8e1e0cc9803687a0eb951015ac59af">widenFixpointPass</a>(const ICFGNode *cycle_head, AbstractState &amp;pre_es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
159
157
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#aae29a8da31fddd069cb0e19cc2f78d46">~AbstractInterpretation</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
160
158
  </table></div><!-- contents -->
161
159
  <!-- start footer part -->
package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html CHANGED
@@ -136,11 +136,11 @@ Protected Member Functions</h2></td></tr>
136
136
  <tr class="memitem:a738d1768c632f86d04599ec1aa53952a inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a738d1768c632f86d04599ec1aa53952a">markRecursiveFuns</a> ()</td></tr>
137
137
  <tr class="memdesc:a738d1768c632f86d04599ec1aa53952a inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="mdescLeft">&#160;</td><td class="mdescRight">mark recursive functions by detecting SCC in callgraph <a href="classSVF_1_1AbstractInterpretation.html#a738d1768c632f86d04599ec1aa53952a">More...</a><br /></td></tr>
138
138
  <tr class="separator:a738d1768c632f86d04599ec1aa53952a inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
139
- <tr class="memitem:ac7e8c4d8d249d482e7c65af616f10ffb inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac7e8c4d8d249d482e7c65af616f10ffb">propogateAbsStateToCurNode</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *block)</td></tr>
140
- <tr class="separator:ac7e8c4d8d249d482e7c65af616f10ffb inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
139
+ <tr class="memitem:a3a12a86670eef9cd22b1853c7c6fa208 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a3a12a86670eef9cd22b1853c7c6fa208">propagateStateIfFeasible</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *curNode)</td></tr>
140
+ <tr class="separator:a3a12a86670eef9cd22b1853c7c6fa208 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
141
141
  <tr class="memitem:a12cba4105a721ff73a7b13b70ee9c5b2 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a12cba4105a721ff73a7b13b70ee9c5b2">hasBranchES</a> (const <a class="el" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a> *intraEdge, <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;es)</td></tr>
142
142
  <tr class="separator:a12cba4105a721ff73a7b13b70ee9c5b2 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
143
- <tr class="memitem:a80d663262a8d909ef5756391cdd82246 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a80d663262a8d909ef5756391cdd82246">handleWTONode</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node)</td></tr>
143
+ <tr class="memitem:a80d663262a8d909ef5756391cdd82246 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a80d663262a8d909ef5756391cdd82246">handleWTONode</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node)</td></tr>
144
144
  <tr class="memdesc:a80d663262a8d909ef5756391cdd82246 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="mdescLeft">&#160;</td><td class="mdescRight">handle instructions in svf basic blocks <a href="classSVF_1_1AbstractInterpretation.html#a80d663262a8d909ef5756391cdd82246">More...</a><br /></td></tr>
145
145
  <tr class="separator:a80d663262a8d909ef5756391cdd82246 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
146
146
  <tr class="memitem:abbb4e49644121f6b038fd8fb4d7b0034 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#abbb4e49644121f6b038fd8fb4d7b0034">handleCallSite</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node)</td></tr>
@@ -189,6 +189,10 @@ Protected Member Functions</h2></td></tr>
189
189
  <tr class="separator:ac60581a57407fa4c65b1975f5be687b8 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
190
190
  <tr class="memitem:a048e203517ac727e6fe0653e1f24052c inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a048e203517ac727e6fe0653e1f24052c">AccessMemoryViaCallArgs</a> (const <a class="el" href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a> *arg, <a class="el" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList</a>&lt; const <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a> * &gt; &amp;worklist, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a> * &gt; &amp;visited)</td></tr>
191
191
  <tr class="separator:a048e203517ac727e6fe0653e1f24052c inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
192
+ <tr class="memitem:a1b8e1e0cc9803687a0eb951015ac59af inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a1b8e1e0cc9803687a0eb951015ac59af">widenFixpointPass</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *cycle_head, <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;pre_es)</td></tr>
193
+ <tr class="separator:a1b8e1e0cc9803687a0eb951015ac59af inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
194
+ <tr class="memitem:a8a4b07e6c999bea0b0e69dcab0346933 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a8a4b07e6c999bea0b0e69dcab0346933">narrowFixpointPass</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *cycle_head, <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;pre_es)</td></tr>
195
+ <tr class="separator:a8a4b07e6c999bea0b0e69dcab0346933 inherit pro_methods_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
192
196
  </table><table class="memberdecls">
193
197
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
194
198
  Private Member Functions</h2></td></tr>
@@ -260,6 +264,12 @@ Additional Inherited Members</h2></td></tr>
260
264
  <tr class="separator:a219313e979d779221116c1bc45becc1b inherit pro_attribs_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
261
265
  <tr class="memitem:a2a1e1b72ed740cef4c3e57e3e32c3f75 inherit pro_attribs_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a2a1e1b72ed740cef4c3e57e3e32c3f75">_checkpoint_names</a></td></tr>
262
266
  <tr class="separator:a2a1e1b72ed740cef4c3e57e3e32c3f75 inherit pro_attribs_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
267
+ <tr class="memitem:ac97c5979efd3049d18b6edb83f359a20 inherit pro_attribs_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *, <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac97c5979efd3049d18b6edb83f359a20">_preAbstractTrace</a></td></tr>
268
+ <tr class="separator:ac97c5979efd3049d18b6edb83f359a20 inherit pro_attribs_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
269
+ <tr class="memitem:a5bcfbde64bd51082e8c587e0bc708377 inherit pro_attribs_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *, <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a5bcfbde64bd51082e8c587e0bc708377">_postAbstractTrace</a></td></tr>
270
+ <tr class="separator:a5bcfbde64bd51082e8c587e0bc708377 inherit pro_attribs_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
271
+ <tr class="memitem:afefc0098ecd9bc01ce270a4a6f251b0c inherit pro_attribs_classSVF_1_1AbstractInterpretation"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">_moduleName</a></td></tr>
272
+ <tr class="separator:afefc0098ecd9bc01ce270a4a6f251b0c inherit pro_attribs_classSVF_1_1AbstractInterpretation"><td class="memSeparator" colspan="2">&#160;</td></tr>
263
273
  </table>
264
274
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
265
275
  <div class="textblock">
@@ -1178,7 +1188,7 @@ Additional Inherited Members</h2></td></tr>
1178
1188
  <div class="ttc" id="astructSVF_1_1AbstractValue_html_ab1fe6a57f784971b3bc603dbfda746e8"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#ab1fe6a57f784971b3bc603dbfda746e8">SVF::AbstractValue::getAddrs</a></div><div class="ttdeci">AddressValue &amp; getAddrs()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00171">AbstractValue.h:171</a></div></div>
1179
1189
  <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_ad68fa02efad8b628e4542dc9ab6c58bf"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#ad68fa02efad8b628e4542dc9ab6c58bf">SVF::BufOverflowChecker::canSafelyAccessMemory</a></div><div class="ttdeci">bool canSafelyAccessMemory(const SVFValue *value, const AbstractValue &amp;len, const ICFGNode *curNode)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00489">BufOverflowChecker.cpp:489</a></div></div>
1180
1190
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a43514023a4f4d0c32f536f51443b0efc"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const SVFValue *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00137">IRGraph.h:137</a></div></div>
1181
- <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a5bba3c0570d73acc743742a30af1b0b4"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a5bba3c0570d73acc743742a30af1b0b4">SVF::AbstractInterpretation::getStrlen</a></div><div class="ttdeci">AbstractValue getStrlen(const SVF::SVFValue *strValue)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l01475">AbstractInterpretation.cpp:1475</a></div></div>
1191
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a5bba3c0570d73acc743742a30af1b0b4"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a5bba3c0570d73acc743742a30af1b0b4">SVF::AbstractInterpretation::getStrlen</a></div><div class="ttdeci">AbstractValue getStrlen(const SVF::SVFValue *strValue)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l01451">AbstractInterpretation.cpp:1451</a></div></div>
1182
1192
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9815a5b31ac7dc21239d08e5b9f61106"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil::getSVFCallSite</a></div><div class="ttdeci">CallSite getSVFCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Return LLVM callsite given an instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00196">SVFUtil.h:196</a></div></div>
1183
1193
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a5d3b15c3cdb9c8e91b942924bf8aee21"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a5d3b15c3cdb9c8e91b942924bf8aee21">SVF::AbstractInterpretation::_kind</a></div><div class="ttdeci">AEKind _kind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00350">AbstractInterpretation.h:350</a></div></div>
1184
1194
  <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_ad8b2f2fa6f22b9d1655135c819cbad8a"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#ad8b2f2fa6f22b9d1655135c819cbad8a">SVF::BufOverflowChecker::detectStrcpy</a></div><div class="ttdeci">bool detectStrcpy(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00124">BufOverflowChecker.cpp:124</a></div></div>
@@ -1188,7 +1198,7 @@ Additional Inherited Members</h2></td></tr>
1188
1198
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a13fdb4a6a6d09e3504fdad16b88616daa93c9b2a9dc4bdfba5a7b23cfa5f80ccb"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daa93c9b2a9dc4bdfba5a7b23cfa5f80ccb">SVF::AbstractInterpretation::STRCPY</a></div><div class="ttdeci">@ STRCPY</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00113">AbstractInterpretation.h:113</a></div></div>
1189
1199
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a4e032a5e0898f0e349927d5a86c8477c"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a4e032a5e0898f0e349927d5a86c8477c">SVF::SVFIR2AbsState::getRangeLimitFromType</a></div><div class="ttdeci">AbstractValue getRangeLimitFromType(const SVFType *type)</div><div class="ttdoc">Return the value range of Integer SVF Type, e.g. unsigned i8 Type-&gt;[0, 255], signed i8 Type-&gt;[-128,...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00049">SVFIR2AbsState.cpp:49</a></div></div>
1190
1200
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a618fc324a6c205d7e1b471bd850377a9"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">SVF::AbstractInterpretation::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdoc">protected data members, also used in subclasses</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00342">AbstractInterpretation.h:342</a></div></div>
1191
- <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a2a1e1b72ed740cef4c3e57e3e32c3f75"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a2a1e1b72ed740cef4c3e57e3e32c3f75">SVF::AbstractInterpretation::_checkpoint_names</a></div><div class="ttdeci">Set&lt; std::string &gt; _checkpoint_names</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00385">AbstractInterpretation.h:385</a></div></div>
1201
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a2a1e1b72ed740cef4c3e57e3e32c3f75"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a2a1e1b72ed740cef4c3e57e3e32c3f75">SVF::AbstractInterpretation::_checkpoint_names</a></div><div class="ttdeci">Set&lt; std::string &gt; _checkpoint_names</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00382">AbstractInterpretation.h:382</a></div></div>
1192
1202
  <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_aed959fce840cbea32d3567ee1ac01e82"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#aed959fce840cbea32d3567ee1ac01e82">SVF::BufOverflowChecker::initExtAPIBufOverflowCheckRules</a></div><div class="ttdeci">void initExtAPIBufOverflowCheckRules()</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00077">BufOverflowChecker.cpp:77</a></div></div>
1193
1203
  <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_aa68f8aef09481d7c07dc59d7dfb83822"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#aa68f8aef09481d7c07dc59d7dfb83822">SVF::BufOverflowChecker::detectStrcat</a></div><div class="ttdeci">bool detectStrcat(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00376">BufOverflowChecker.cpp:376</a></div></div>
1194
1204
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a4080994b793d9510c00cb3a0260e0a61"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a4080994b793d9510c00cb3a0260e0a61">SVF::AbstractInterpretation::AbstractInterpretation</a></div><div class="ttdeci">AbstractInterpretation()</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l00123">AbstractInterpretation.cpp:123</a></div></div>
@@ -1198,7 +1208,7 @@ Additional Inherited Members</h2></td></tr>
1198
1208
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a13fdb4a6a6d09e3504fdad16b88616daa9cc269dadf9cff7d399c54d9570a6614"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daa9cc269dadf9cff7d399c54d9570a6614">SVF::AbstractInterpretation::MEMCPY</a></div><div class="ttdeci">@ MEMCPY</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00113">AbstractInterpretation.h:113</a></div></div>
1199
1209
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00092">ICFG.h:92</a></div></div>
1200
1210
  <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_af83b65ed98cd4e0f6cd92962e7392d4d"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d">SVF::BufOverflowChecker::_extAPIBufOverflowCheckRules</a></div><div class="ttdeci">Map&lt; std::string, std::vector&lt; std::pair&lt; u32_t, u32_t &gt; &gt; &gt; _extAPIBufOverflowCheckRules</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00202">BufOverflowChecker.h:202</a></div></div>
1201
- <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a6cac9b69d85111a5a26373ec848a3282"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a6cac9b69d85111a5a26373ec848a3282">SVF::AbstractInterpretation::handleExtAPI</a></div><div class="ttdeci">virtual void handleExtAPI(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l01194">AbstractInterpretation.cpp:1194</a></div></div>
1211
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a6cac9b69d85111a5a26373ec848a3282"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a6cac9b69d85111a5a26373ec848a3282">SVF::AbstractInterpretation::handleExtAPI</a></div><div class="ttdeci">virtual void handleExtAPI(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l01170">AbstractInterpretation.cpp:1170</a></div></div>
1202
1212
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
1203
1213
  <div class="ttc" id="aclassSVF_1_1Options_html_afbe432aabda95308e2c190a04d227a6d"><div class="ttname"><a href="classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d">SVF::Options::BufferOverflowCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; BufferOverflowCheck</div><div class="ttdoc">buffer overflow checker, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00271">Options.h:271</a></div></div>
1204
1214
  <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00047">GeneralType.h:47</a></div></div>
@@ -1207,19 +1217,19 @@ Additional Inherited Members</h2></td></tr>
1207
1217
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aa3e62b9ef912def502b95992199f5d8c"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aa3e62b9ef912def502b95992199f5d8c">SVF::SVFIR2AbsState::getAddrs</a></div><div class="ttdeci">AbstractValue &amp; getAddrs(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00113">SVFIR2AbsState.h:113</a></div></div>
1208
1218
  <div class="ttc" id="acJSON_8cpp_html_a95bf816579e97b6f33bdb5e25ed6d5de"><div class="ttname"><a href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a></div><div class="ttdeci">buffer offset</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01113">cJSON.cpp:1113</a></div></div>
1209
1219
  <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_af0e2276001df7d51c45b22d5d11ca09b"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#af0e2276001df7d51c45b22d5d11ca09b">SVF::BufOverflowChecker::initExtFunMap</a></div><div class="ttdeci">virtual void initExtFunMap() override</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00134">BufOverflowChecker.cpp:134</a></div></div>
1210
- <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a896d04a02951947bc228bf97b2c00313"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a896d04a02951947bc228bf97b2c00313">SVF::AbstractInterpretation::handleSVFStatement</a></div><div class="ttdeci">virtual void handleSVFStatement(const SVFStmt *stmt)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l00852">AbstractInterpretation.cpp:852</a></div></div>
1220
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a896d04a02951947bc228bf97b2c00313"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a896d04a02951947bc228bf97b2c00313">SVF::AbstractInterpretation::handleSVFStatement</a></div><div class="ttdeci">virtual void handleSVFStatement(const SVFStmt *stmt)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l00829">AbstractInterpretation.cpp:829</a></div></div>
1211
1221
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a13fdb4a6a6d09e3504fdad16b88616daae8dad405c06383859d8db715fd455317"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daae8dad405c06383859d8db715fd455317">SVF::AbstractInterpretation::STRCAT</a></div><div class="ttdeci">@ STRCAT</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00113">AbstractInterpretation.h:113</a></div></div>
1212
1222
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a13fdb4a6a6d09e3504fdad16b88616daa5aec33226dc590ec951d0f12bf35f15f"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daa5aec33226dc590ec951d0f12bf35f15f">SVF::AbstractInterpretation::MEMSET</a></div><div class="ttdeci">@ MEMSET</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00113">AbstractInterpretation.h:113</a></div></div>
1213
1223
  <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
1214
1224
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_ab6f95d3e7e099d75cfc9645ebc037047"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">SVF::SVFVar::getType</a></div><div class="ttdeci">virtual const SVFType * getType() const</div><div class="ttdoc">Return type of the value.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00107">SVFVariables.h:107</a></div></div>
1215
- <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a2057e8e1c0aaf39e74f0a8fb2a1b580c"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a2057e8e1c0aaf39e74f0a8fb2a1b580c">SVF::AbstractInterpretation::getPointeeElement</a></div><div class="ttdeci">const SVFType * getPointeeElement(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l01626">AbstractInterpretation.cpp:1626</a></div></div>
1225
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a2057e8e1c0aaf39e74f0a8fb2a1b580c"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a2057e8e1c0aaf39e74f0a8fb2a1b580c">SVF::AbstractInterpretation::getPointeeElement</a></div><div class="ttdeci">const SVFType * getPointeeElement(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l01602">AbstractInterpretation.cpp:1602</a></div></div>
1216
1226
  <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a0088456e712c555cbfba6203aec38037"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037">SVF::BufOverflowChecker::_addrToGep</a></div><div class="ttdeci">Map&lt; NodeID, const GepStmt * &gt; _addrToGep</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00201">BufOverflowChecker.h:201</a></div></div>
1217
1227
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ac37760566b534d89a61d789b00efb993"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ac37760566b534d89a61d789b00efb993">SVF::SVFIR2AbsState::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="SVFIR2AbsState_8h_source.html#l00170">SVFIR2AbsState.h:170</a></div></div>
1218
- <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_aa27d0ef684deec1f5385fdb0d4c64827"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#aa27d0ef684deec1f5385fdb0d4c64827">SVF::AbstractInterpretation::_func_map</a></div><div class="ttdeci">Map&lt; std::string, std::function&lt; void(const CallSite &amp;)&gt; &gt; _func_map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00383">AbstractInterpretation.h:383</a></div></div>
1228
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_aa27d0ef684deec1f5385fdb0d4c64827"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#aa27d0ef684deec1f5385fdb0d4c64827">SVF::AbstractInterpretation::_func_map</a></div><div class="ttdeci">Map&lt; std::string, std::function&lt; void(const CallSite &amp;)&gt; &gt; _func_map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00380">AbstractInterpretation.h:380</a></div></div>
1219
1229
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
1220
1230
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream &amp; errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>
1221
1231
  <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a7c11b81809cb087317cbea654a589f75"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a7c11b81809cb087317cbea654a589f75">SVF::BufOverflowChecker::addBugToRecoder</a></div><div class="ttdeci">void addBugToRecoder(const BufOverflowException &amp;e, const ICFGNode *node)</div></div>
1222
- <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a219313e979d779221116c1bc45becc1b"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a219313e979d779221116c1bc45becc1b">SVF::AbstractInterpretation::_checkpoints</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; _checkpoints</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00384">AbstractInterpretation.h:384</a></div></div>
1232
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a219313e979d779221116c1bc45becc1b"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a219313e979d779221116c1bc45becc1b">SVF::AbstractInterpretation::_checkpoints</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; _checkpoints</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00381">AbstractInterpretation.h:381</a></div></div>
1223
1233
  <!-- start footer part -->
1224
1234
  <hr class="footer"/><address class="footer"><small>
1225
1235
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/classSVF_1_1RelExeState-members.html CHANGED
@@ -72,25 +72,25 @@ $(function() {
72
72
 
73
73
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a>, including all inherited members.</p>
74
74
  <table class="directory">
75
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">_locToVal</a></td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
75
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ad92f53c7a29641d50cda609f779a46e2">_addrToVal</a></td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
76
76
  <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06">_varToVal</a></td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
77
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210">buildRelZ3Expr</a>(u32_t cmp, s32_t succ, Set&lt; u32_t &gt; &amp;vars, Set&lt; u32_t &gt; &amp;initVars)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
78
- <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6">eqVarToValMap</a>(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
79
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052">existsVar</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
80
- <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa">extractCmpVars</a>(const Z3Expr &amp;expr, Set&lt; u32_t &gt; &amp;res)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
81
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f">extractSubVars</a>(const Z3Expr &amp;expr, Set&lt; u32_t &gt; &amp;res)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
82
- <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a9f41158b546faa706bc40c061cfa79be">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
83
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ab03410a5a0014d77d4f95f3a0bf45bfd">getInternalID</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
84
- <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a3eb51c26ae9c87e1457d6515e6d537f9">getLocToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a9c64d2699cb67cdf8d1c3c23aebf2c4a">getVarToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
- <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a24408ea140a8d0b5a9fdd1d9d2fbd296">getVirtualMemAddress</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
87
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ace3b86d12ed10af211d5902ec3fa2e5a">getZ3Expr</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73">hash</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#adc3ed92ba80bb95326cbbe675a278879">isVirtualMemAddress</a>(u32_t val)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
90
- <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0">lessThanVarToValMap</a>(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
91
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5">load</a>(const Z3Expr &amp;loc)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
92
- <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a72ec0766984f31168ad59a4ee23bcc9d">load</a>(u32_t objId)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
93
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8">LocToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
77
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a019c2d09ca0ccfbd21502089e348bdfb">AddrToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
78
+ <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210">buildRelZ3Expr</a>(u32_t cmp, s32_t succ, Set&lt; u32_t &gt; &amp;vars, Set&lt; u32_t &gt; &amp;initVars)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
79
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6">eqVarToValMap</a>(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
80
+ <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052">existsVar</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa">extractCmpVars</a>(const Z3Expr &amp;expr, Set&lt; u32_t &gt; &amp;res)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
82
+ <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f">extractSubVars</a>(const Z3Expr &amp;expr, Set&lt; u32_t &gt; &amp;res)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
83
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a9f41158b546faa706bc40c061cfa79be">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
84
+ <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ab03410a5a0014d77d4f95f3a0bf45bfd">getInternalID</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
85
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a86eb61721db5e50d421f3dc8606ea0ea">getLocToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
+ <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a9c64d2699cb67cdf8d1c3c23aebf2c4a">getVarToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
87
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a24408ea140a8d0b5a9fdd1d9d2fbd296">getVirtualMemAddress</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
88
+ <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ace3b86d12ed10af211d5902ec3fa2e5a">getZ3Expr</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
89
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73">hash</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
90
+ <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#adc3ed92ba80bb95326cbbe675a278879">isVirtualMemAddress</a>(u32_t val)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
91
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0">lessThanVarToValMap</a>(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
92
+ <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5">load</a>(const Z3Expr &amp;loc)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
93
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a72ec0766984f31168ad59a4ee23bcc9d">load</a>(u32_t objId)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
94
94
  <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ae6ececb2e5bca174b46450d841ac51fa">operator!=</a>(const RelExeState &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
95
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#ac280dc7a1db7dc80f9c85921215e4c97">operator&lt;</a>(const RelExeState &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
96
96
  <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a7ab6cb58ed0f95417549b6291f658f86">operator=</a>(const RelExeState &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
@@ -99,7 +99,7 @@ $(function() {
99
99
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a8cb105e01839b136618103a3710d9d86">operator[]</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
100
100
  <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a3537b1534a643af880ad6e474e00dc7b">printExprValues</a>()</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
101
101
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a34d81c2627e224283e07765d15543bf1">RelExeState</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
102
- <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a0078db58922ddbf5a9ec9641ed6f4544">RelExeState</a>(VarToValMap &amp;varToVal, LocToValMap &amp;locToVal)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
102
+ <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a9e32fb273b4d2d69b1405f514e333033">RelExeState</a>(VarToValMap &amp;varToVal, AddrToValMap &amp;locToVal)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
103
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a482bd4d7143e7d78a22f276bf5a4f30f">RelExeState</a>(const RelExeState &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
104
  <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a0d2f6c9fe4a54b9a7c6d7167e24e1425">RelExeState</a>(RelExeState &amp;&amp;rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
105
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">store</a>(const Z3Expr &amp;loc, const Z3Expr &amp;value)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>