svf-tools 1.0.747 → 1.0.749

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 (270) hide show
  1. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +168 -144
  2. package/SVF-doxygen/html/html/SVFBugReport_8h.html +4 -0
  3. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +167 -125
  4. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  5. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +5 -4
  6. package/SVF-doxygen/html/html/annotated.html +292 -290
  7. package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug-members.html +11 -9
  8. package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html +4 -1
  9. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug-members.html +11 -9
  10. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug.html +4 -1
  11. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  12. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +1 -1
  13. package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug-members.html +11 -9
  14. package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug.html +4 -1
  15. package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug-members.html +11 -9
  16. package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug.html +4 -1
  17. package/SVF-doxygen/html/html/classSVF_1_1FullBufferOverflowBug-members.html +11 -9
  18. package/SVF-doxygen/html/html/classSVF_1_1FullBufferOverflowBug.html +4 -1
  19. package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug-members.html +107 -0
  20. package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.html +302 -0
  21. package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.png +0 -0
  22. package/SVF-doxygen/html/html/classSVF_1_1GenericBug-members.html +11 -9
  23. package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html +21 -14
  24. package/SVF-doxygen/html/html/classSVF_1_1GenericBug.png +0 -0
  25. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
  26. package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug-members.html +12 -10
  27. package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug.html +4 -1
  28. package/SVF-doxygen/html/html/classSVF_1_1PartialBufferOverflowBug-members.html +12 -10
  29. package/SVF-doxygen/html/html/classSVF_1_1PartialBufferOverflowBug.html +4 -1
  30. package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug-members.html +12 -10
  31. package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug.html +4 -1
  32. package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug-members.html +107 -0
  33. package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.html +302 -0
  34. package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.png +0 -0
  35. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +49 -49
  36. package/SVF-doxygen/html/html/classSVF_1_1SVFBugReport.html +169 -169
  37. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver-members.html +2 -2
  38. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +12 -12
  39. package/SVF-doxygen/html/html/classes.html +334 -332
  40. package/SVF-doxygen/html/html/functions_c.html +21 -17
  41. package/SVF-doxygen/html/html/functions_eval_f.html +3 -0
  42. package/SVF-doxygen/html/html/functions_eval_p.html +3 -0
  43. package/SVF-doxygen/html/html/functions_f.html +21 -15
  44. package/SVF-doxygen/html/html/functions_func_c.html +23 -21
  45. package/SVF-doxygen/html/html/functions_func_f.html +3 -0
  46. package/SVF-doxygen/html/html/functions_func_g.html +19 -17
  47. package/SVF-doxygen/html/html/functions_func_p.html +8 -3
  48. package/SVF-doxygen/html/html/functions_g.html +21 -19
  49. package/SVF-doxygen/html/html/functions_i.html +2 -2
  50. package/SVF-doxygen/html/html/functions_l.html +5 -5
  51. package/SVF-doxygen/html/html/functions_o.html +17 -17
  52. package/SVF-doxygen/html/html/functions_p.html +34 -28
  53. package/SVF-doxygen/html/html/functions_r.html +2 -2
  54. package/SVF-doxygen/html/html/functions_s.html +11 -11
  55. package/SVF-doxygen/html/html/functions_t.html +4 -4
  56. package/SVF-doxygen/html/html/functions_type_g.html +1 -1
  57. package/SVF-doxygen/html/html/functions_type_i.html +1 -1
  58. package/SVF-doxygen/html/html/functions_w.html +9 -9
  59. package/SVF-doxygen/html/html/hierarchy.html +4 -2
  60. package/SVF-doxygen/html/html/namespaceSVF.html +4 -0
  61. package/SVF-doxygen/html/html/search/all_10.js +325 -323
  62. package/SVF-doxygen/html/html/search/all_11.js +208 -208
  63. package/SVF-doxygen/html/html/search/all_12.js +546 -546
  64. package/SVF-doxygen/html/html/search/all_13.js +189 -189
  65. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  66. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  67. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  68. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  69. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  70. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  71. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  72. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  73. package/SVF-doxygen/html/html/search/all_6.js +70 -68
  74. package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
  75. package/SVF-doxygen/html/html/search/all_8.js +192 -192
  76. package/SVF-doxygen/html/html/search/all_9.js +597 -597
  77. package/SVF-doxygen/html/html/search/all_a.js +47 -47
  78. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  79. package/SVF-doxygen/html/html/search/all_c.js +113 -113
  80. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  81. package/SVF-doxygen/html/html/search/all_e.js +206 -206
  82. package/SVF-doxygen/html/html/search/all_f.js +122 -122
  83. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  84. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  85. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  86. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  87. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  88. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  89. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  90. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  91. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  92. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  93. package/SVF-doxygen/html/html/search/classes_4.js +10 -10
  94. package/SVF-doxygen/html/html/search/classes_5.js +28 -27
  95. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  96. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  97. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  98. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  99. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  100. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  101. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  102. package/SVF-doxygen/html/html/search/classes_d.js +19 -19
  103. package/SVF-doxygen/html/html/search/classes_e.js +36 -35
  104. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  105. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  106. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  107. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  108. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  109. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  110. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  111. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  112. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  113. package/SVF-doxygen/html/html/search/defines_8.js +13 -13
  114. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  115. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  116. package/SVF-doxygen/html/html/search/defines_b.js +2 -2
  117. package/SVF-doxygen/html/html/search/defines_c.js +2 -2
  118. package/SVF-doxygen/html/html/search/defines_d.js +6 -6
  119. package/SVF-doxygen/html/html/search/defines_e.js +3 -3
  120. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  121. package/SVF-doxygen/html/html/search/enums_1.js +1 -1
  122. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  123. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  124. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  125. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  126. package/SVF-doxygen/html/html/search/enums_4.js +4 -4
  127. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  128. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  129. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  130. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  131. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  132. package/SVF-doxygen/html/html/search/enums_a.js +2 -2
  133. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  134. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  135. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  136. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  137. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  138. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  139. package/SVF-doxygen/html/html/search/enumvalues_1.js +13 -13
  140. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  141. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  142. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  143. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  144. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  145. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  146. package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
  147. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  148. package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
  149. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -47
  150. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  151. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  152. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  153. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  154. package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
  155. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  156. package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
  157. package/SVF-doxygen/html/html/search/enumvalues_d.js +17 -16
  158. package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
  159. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  160. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  161. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  162. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  163. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  164. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  165. package/SVF-doxygen/html/html/search/files_2.js +50 -50
  166. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  167. package/SVF-doxygen/html/html/search/files_4.js +4 -4
  168. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  169. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  170. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  171. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  172. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  173. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  174. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  175. package/SVF-doxygen/html/html/search/files_c.js +19 -19
  176. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  177. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  178. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  179. package/SVF-doxygen/html/html/search/functions_0.js +351 -351
  180. package/SVF-doxygen/html/html/search/functions_1.js +80 -80
  181. package/SVF-doxygen/html/html/search/functions_10.js +121 -121
  182. package/SVF-doxygen/html/html/search/functions_11.js +282 -282
  183. package/SVF-doxygen/html/html/search/functions_12.js +55 -55
  184. package/SVF-doxygen/html/html/search/functions_13.js +38 -38
  185. package/SVF-doxygen/html/html/search/functions_14.js +71 -71
  186. package/SVF-doxygen/html/html/search/functions_15.js +29 -29
  187. package/SVF-doxygen/html/html/search/functions_16.js +2 -2
  188. package/SVF-doxygen/html/html/search/functions_17.js +169 -169
  189. package/SVF-doxygen/html/html/search/functions_2.js +251 -251
  190. package/SVF-doxygen/html/html/search/functions_3.js +72 -72
  191. package/SVF-doxygen/html/html/search/functions_4.js +55 -55
  192. package/SVF-doxygen/html/html/search/functions_5.js +55 -54
  193. package/SVF-doxygen/html/html/search/functions_6.js +832 -832
  194. package/SVF-doxygen/html/html/search/functions_7.js +144 -144
  195. package/SVF-doxygen/html/html/search/functions_8.js +417 -417
  196. package/SVF-doxygen/html/html/search/functions_9.js +29 -29
  197. package/SVF-doxygen/html/html/search/functions_a.js +2 -2
  198. package/SVF-doxygen/html/html/search/functions_b.js +23 -23
  199. package/SVF-doxygen/html/html/search/functions_c.js +75 -75
  200. package/SVF-doxygen/html/html/search/functions_d.js +35 -35
  201. package/SVF-doxygen/html/html/search/functions_e.js +56 -56
  202. package/SVF-doxygen/html/html/search/functions_f.js +143 -142
  203. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  204. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  205. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  206. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  207. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  208. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  209. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  210. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  211. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  212. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  213. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  214. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  215. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  216. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  217. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  218. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  219. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  220. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  221. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  222. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  223. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  224. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  225. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  226. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  227. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  228. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  229. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  230. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  231. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  232. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  233. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  234. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  235. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  236. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  237. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  238. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  239. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  240. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  241. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  242. package/SVF-doxygen/html/html/search/variables_0.js +146 -146
  243. package/SVF-doxygen/html/html/search/variables_1.js +74 -74
  244. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  245. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  246. package/SVF-doxygen/html/html/search/variables_12.js +93 -93
  247. package/SVF-doxygen/html/html/search/variables_13.js +77 -77
  248. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  249. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  250. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  251. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  252. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  253. package/SVF-doxygen/html/html/search/variables_2.js +35 -35
  254. package/SVF-doxygen/html/html/search/variables_3.js +148 -148
  255. package/SVF-doxygen/html/html/search/variables_4.js +56 -56
  256. package/SVF-doxygen/html/html/search/variables_5.js +40 -40
  257. package/SVF-doxygen/html/html/search/variables_6.js +67 -67
  258. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  259. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  260. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  261. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  262. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  263. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  264. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  265. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  266. package/SVF-doxygen/html/html/search/variables_f.js +33 -33
  267. package/package.json +1 -1
  268. package/svf/include/SABER/SrcSnkSolver.h +2 -2
  269. package/svf/include/Util/SVFBugReport.h +33 -1
  270. package/svf/lib/Util/SVFBugReport.cpp +24 -0
package/SVF-doxygen/html/html/SVFBugReport_8h_source.html CHANGED
@@ -149,7 +149,7 @@ $(function() {
149
149
  <div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe"> 83</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFBugEvent&gt; <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">EventStack</a>;</div>
150
150
  <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; </div>
151
151
  <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160;<span class="keyword">public</span>:</div>
152
- <div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402"> 86</a></span>&#160; <span class="keyword">enum</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">BugType</a> {<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">DOUBLEFREE</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a>};</div>
152
+ <div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64"> 86</a></span>&#160; <span class="keyword">enum</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">BugType</a> {<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">DOUBLEFREE</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a>, <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a>};</div>
153
153
  <div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3"> 87</a></span>&#160; <span class="keyword">static</span> <span class="keyword">const</span> std::map&lt;GenericBug::BugType, std::string&gt; <a class="code" href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3">BugType2Str</a>;</div>
154
154
  <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; </div>
155
155
  <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160;<span class="keyword">protected</span>:</div>
@@ -307,130 +307,162 @@ $(function() {
307
307
  <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; }</div>
308
308
  <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160;};</div>
309
309
  <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; </div>
310
- <div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html"> 256</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1SVFBugReport.html">SVFBugReport</a></div>
310
+ <div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="classSVF_1_1FullNullPtrDereferenceBug.html"> 256</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1FullNullPtrDereferenceBug.html">FullNullPtrDereferenceBug</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a></div>
311
311
  <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160;{</div>
312
312
  <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160;<span class="keyword">public</span>:</div>
313
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20">SVFBugReport</a>() = <span class="keywordflow">default</span>;</div>
314
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#a4e243c7297791b306d970c19abc87ca9">~SVFBugReport</a>();</div>
315
- <div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac"> 261</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set&lt;const GenericBug *&gt;</a> <a class="code" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a>;</div>
316
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; </div>
317
- <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160;<span class="keyword">protected</span>:</div>
318
- <div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3"> 264</a></span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>; <span class="comment">// maintain bugs</span></div>
319
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; </div>
320
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160;<span class="keyword">public</span>:</div>
321
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; </div>
322
- <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; <span class="comment">/*</span></div>
323
- <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160;<span class="comment"> * function: pass bug type (i.e., GenericBug::NEVERFREE) and eventStack as parameter,</span></div>
324
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160;<span class="comment"> * it will add the bug into bugQueue.</span></div>
325
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160;<span class="comment"> * usage: addSaberBug(GenericBug::NEVERFREE, eventStack)</span></div>
326
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160;<span class="comment"> */</span></div>
327
- <div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45"> 273</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">addSaberBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a> bugType, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;eventStack)</div>
328
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; {</div>
329
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a> *newBug = <span class="keyword">nullptr</span>;</div>
330
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <span class="keywordflow">switch</span>(bugType)</div>
331
- <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; {</div>
332
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">GenericBug::NEVERFREE</a>:</div>
333
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; {</div>
334
- <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1NeverFreeBug.html">NeverFreeBug</a>(eventStack);</div>
335
- <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
336
- <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; <span class="keywordflow">break</span>;</div>
337
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; }</div>
338
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">GenericBug::PARTIALLEAK</a>:</div>
339
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; {</div>
340
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PartialLeakBug.html">PartialLeakBug</a>(eventStack);</div>
341
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
342
- <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; <span class="keywordflow">break</span>;</div>
343
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; }</div>
344
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">GenericBug::DOUBLEFREE</a>:</div>
345
- <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; {</div>
346
- <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1DoubleFreeBug.html">DoubleFreeBug</a>(eventStack);</div>
347
- <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
348
- <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">break</span>;</div>
349
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; }</div>
350
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">GenericBug::FILENEVERCLOSE</a>:</div>
351
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; {</div>
352
- <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FileNeverCloseBug.html">FileNeverCloseBug</a>(eventStack);</div>
353
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
354
- <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <span class="keywordflow">break</span>;</div>
355
- <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; }</div>
356
- <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">GenericBug::FILEPARTIALCLOSE</a>:</div>
357
- <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; {</div>
358
- <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FilePartialCloseBug.html">FilePartialCloseBug</a>(eventStack);</div>
359
- <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
360
- <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; <span class="keywordflow">break</span>;</div>
361
- <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; }</div>
362
- <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <span class="keywordflow">default</span>:</div>
313
+ <div class="line"><a name="l00259"></a><span class="lineno"><a class="line" href="classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a"> 259</a></span>&#160; <a class="code" href="classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a">FullNullPtrDereferenceBug</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">EventStack</a> &amp;<a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>):</div>
314
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a>(<a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a>::<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a>, <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>) { }</div>
315
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; </div>
316
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *<a class="code" href="classSVF_1_1FullNullPtrDereferenceBug.html#a8f057178ee7182d691dbb3103d0d0d43">getBugDescription</a>() <span class="keyword">const</span>;</div>
317
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723">printBugToTerminal</a>() <span class="keyword">const</span>;</div>
318
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; </div>
319
+ <div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="classSVF_1_1FullNullPtrDereferenceBug.html#a07bdac10dd87c669358220ac36acbf20"> 266</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1FullNullPtrDereferenceBug.html#a07bdac10dd87c669358220ac36acbf20">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a> *bug)</div>
320
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; {</div>
321
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; <span class="keywordflow">return</span> bug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() == <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">GenericBug::FULLNULLPTRDEREFERENCE</a>;</div>
322
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; }</div>
323
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160;};</div>
324
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; </div>
325
+ <div class="line"><a name="l00272"></a><span class="lineno"><a class="line" href="classSVF_1_1PartialNullPtrDereferenceBug.html"> 272</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1PartialNullPtrDereferenceBug.html">PartialNullPtrDereferenceBug</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a></div>
326
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160;{</div>
327
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160;<span class="keyword">public</span>:</div>
328
+ <div class="line"><a name="l00275"></a><span class="lineno"><a class="line" href="classSVF_1_1PartialNullPtrDereferenceBug.html#ad3f9af5c317048ada0a8d6a25402a9db"> 275</a></span>&#160; <a class="code" href="classSVF_1_1PartialNullPtrDereferenceBug.html#ad3f9af5c317048ada0a8d6a25402a9db">PartialNullPtrDereferenceBug</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">EventStack</a> &amp;<a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>):</div>
329
+ <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a>(<a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a>::<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a>, <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>) { }</div>
330
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; </div>
331
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *<a class="code" href="classSVF_1_1PartialNullPtrDereferenceBug.html#a910f2e839e1e722655fbb2266c15f136">getBugDescription</a>() <span class="keyword">const</span>;</div>
332
+ <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1PartialNullPtrDereferenceBug.html#acc860880d548ea2cf5b63f0f7ad11456">printBugToTerminal</a>() <span class="keyword">const</span>;</div>
333
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; </div>
334
+ <div class="line"><a name="l00282"></a><span class="lineno"><a class="line" href="classSVF_1_1PartialNullPtrDereferenceBug.html#a3813a8bb6b6ba48bb7f76634045c364a"> 282</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PartialNullPtrDereferenceBug.html#a3813a8bb6b6ba48bb7f76634045c364a">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a> *bug)</div>
335
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; {</div>
336
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">return</span> bug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() == <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">GenericBug::PARTIALNULLPTRDEREFERENCE</a>;</div>
337
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; }</div>
338
+ <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160;};</div>
339
+ <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; </div>
340
+ <div class="line"><a name="l00288"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html"> 288</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1SVFBugReport.html">SVFBugReport</a></div>
341
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160;{</div>
342
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160;<span class="keyword">public</span>:</div>
343
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20">SVFBugReport</a>() = <span class="keywordflow">default</span>;</div>
344
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#a4e243c7297791b306d970c19abc87ca9">~SVFBugReport</a>();</div>
345
+ <div class="line"><a name="l00293"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac"> 293</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set&lt;const GenericBug *&gt;</a> <a class="code" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a>;</div>
346
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; </div>
347
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160;<span class="keyword">protected</span>:</div>
348
+ <div class="line"><a name="l00296"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3"> 296</a></span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>; <span class="comment">// maintain bugs</span></div>
349
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; </div>
350
+ <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160;<span class="keyword">public</span>:</div>
351
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; </div>
352
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="comment">/*</span></div>
353
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160;<span class="comment"> * function: pass bug type (i.e., GenericBug::NEVERFREE) and eventStack as parameter,</span></div>
354
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160;<span class="comment"> * it will add the bug into bugQueue.</span></div>
355
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160;<span class="comment"> * usage: addSaberBug(GenericBug::NEVERFREE, eventStack)</span></div>
356
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160;<span class="comment"> */</span></div>
357
+ <div class="line"><a name="l00305"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45"> 305</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">addSaberBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a> bugType, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;eventStack)</div>
358
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; {</div>
359
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a> *newBug = <span class="keyword">nullptr</span>;</div>
360
+ <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <span class="keywordflow">switch</span>(bugType)</div>
363
361
  <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; {</div>
364
- <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;saber does NOT have this bug type!&quot;</span>);</div>
365
- <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <span class="keywordflow">break</span>;</div>
366
- <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; }</div>
367
- <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; }</div>
368
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; </div>
369
- <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <span class="comment">// when add a bug, also print it to terminal</span></div>
370
- <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; newBug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">printBugToTerminal</a>();</div>
371
- <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; }</div>
372
- <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; </div>
373
- <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <span class="comment">/*</span></div>
374
- <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160;<span class="comment"> * function: pass bug type (i.e., GenericBug::FULLBUFOVERFLOW) and eventStack as parameter,</span></div>
375
- <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160;<span class="comment"> * it will add the bug into bugQueue.</span></div>
376
- <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160;<span class="comment"> * usage: addAbsExecBug(GenericBug::FULLBUFOVERFLOW, eventStack, 0, 10, 11, 11)</span></div>
377
- <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160;<span class="comment"> */</span></div>
378
- <div class="line"><a name="l00325"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2"> 325</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">addAbsExecBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a> bugType, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;eventStack,</div>
379
- <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> allocLowerBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> allocUpperBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> accessLowerBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> accessUpperBound)</div>
380
- <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; {</div>
381
- <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a> *newBug = <span class="keyword">nullptr</span>;</div>
382
- <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">switch</span>(bugType)</div>
383
- <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; {</div>
384
- <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">GenericBug::FULLBUFOVERFLOW</a>:</div>
385
- <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; {</div>
386
- <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FullBufferOverflowBug.html">FullBufferOverflowBug</a>(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
387
- <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
388
- <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordflow">break</span>;</div>
389
- <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; }</div>
390
- <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">GenericBug::PARTIALBUFOVERFLOW</a>:</div>
391
- <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; {</div>
392
- <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PartialBufferOverflowBug.html">PartialBufferOverflowBug</a>(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
393
- <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
394
- <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <span class="keywordflow">break</span>;</div>
395
- <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; }</div>
396
- <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <span class="keywordflow">default</span>:</div>
397
- <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; {</div>
398
- <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Abstract Execution does NOT hava his bug type!&quot;</span>);</div>
399
- <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; <span class="keywordflow">break</span>;</div>
400
- <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; }</div>
401
- <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; }</div>
402
- <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; </div>
403
- <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; <span class="comment">// when add a bug, also print it to terminal</span></div>
404
- <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; newBug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">printBugToTerminal</a>();</div>
405
- <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; }</div>
406
- <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; </div>
407
- <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; <span class="comment">/*</span></div>
408
- <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160;<span class="comment"> * function: pass file path, open the file and dump bug report as JSON format</span></div>
409
- <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160;<span class="comment"> * usage: dumpToFile(&quot;/path/to/file&quot;)</span></div>
410
- <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160;<span class="comment"> */</span></div>
411
- <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">dumpToJsonFile</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; filePath) <span class="keyword">const</span>;</div>
412
- <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; </div>
413
- <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <span class="comment">/*</span></div>
414
- <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160;<span class="comment"> * function: get underlying bugset</span></div>
415
- <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160;<span class="comment"> * usage: getBugSet()</span></div>
416
- <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160;<span class="comment"> */</span></div>
417
- <div class="line"><a name="l00365"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e"> 365</a></span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a> &amp;<a class="code" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">getBugSet</a>()<span class="keyword"> const</span></div>
418
- <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160;<span class="keyword"> </span>{</div>
419
- <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>;</div>
420
- <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; }</div>
421
- <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; </div>
422
- <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160;};</div>
423
- <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160;}</div>
424
- <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; </div>
425
- <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160;<span class="preprocessor">#endif</span></div>
362
+ <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">GenericBug::NEVERFREE</a>:</div>
363
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; {</div>
364
+ <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1NeverFreeBug.html">NeverFreeBug</a>(eventStack);</div>
365
+ <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
366
+ <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">break</span>;</div>
367
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; }</div>
368
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">GenericBug::PARTIALLEAK</a>:</div>
369
+ <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; {</div>
370
+ <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PartialLeakBug.html">PartialLeakBug</a>(eventStack);</div>
371
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
372
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keywordflow">break</span>;</div>
373
+ <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; }</div>
374
+ <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">GenericBug::DOUBLEFREE</a>:</div>
375
+ <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; {</div>
376
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1DoubleFreeBug.html">DoubleFreeBug</a>(eventStack);</div>
377
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
378
+ <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; <span class="keywordflow">break</span>;</div>
379
+ <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; }</div>
380
+ <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">GenericBug::FILENEVERCLOSE</a>:</div>
381
+ <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; {</div>
382
+ <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FileNeverCloseBug.html">FileNeverCloseBug</a>(eventStack);</div>
383
+ <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
384
+ <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <span class="keywordflow">break</span>;</div>
385
+ <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; }</div>
386
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">GenericBug::FILEPARTIALCLOSE</a>:</div>
387
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; {</div>
388
+ <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FilePartialCloseBug.html">FilePartialCloseBug</a>(eventStack);</div>
389
+ <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
390
+ <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; <span class="keywordflow">break</span>;</div>
391
+ <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; }</div>
392
+ <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <span class="keywordflow">default</span>:</div>
393
+ <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; {</div>
394
+ <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;saber does NOT have this bug type!&quot;</span>);</div>
395
+ <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <span class="keywordflow">break</span>;</div>
396
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; }</div>
397
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; }</div>
398
+ <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; </div>
399
+ <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; <span class="comment">// when add a bug, also print it to terminal</span></div>
400
+ <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; newBug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">printBugToTerminal</a>();</div>
401
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; }</div>
402
+ <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; </div>
403
+ <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; <span class="comment">/*</span></div>
404
+ <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160;<span class="comment"> * function: pass bug type (i.e., GenericBug::FULLBUFOVERFLOW) and eventStack as parameter,</span></div>
405
+ <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160;<span class="comment"> * it will add the bug into bugQueue.</span></div>
406
+ <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160;<span class="comment"> * usage: addAbsExecBug(GenericBug::FULLBUFOVERFLOW, eventStack, 0, 10, 11, 11)</span></div>
407
+ <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160;<span class="comment"> */</span></div>
408
+ <div class="line"><a name="l00357"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2"> 357</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">addAbsExecBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a> bugType, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;eventStack,</div>
409
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> allocLowerBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> allocUpperBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> accessLowerBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> accessUpperBound)</div>
410
+ <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div>
411
+ <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a> *newBug = <span class="keyword">nullptr</span>;</div>
412
+ <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">switch</span>(bugType)</div>
413
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div>
414
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">GenericBug::FULLBUFOVERFLOW</a>:</div>
415
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; {</div>
416
+ <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FullBufferOverflowBug.html">FullBufferOverflowBug</a>(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
417
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
418
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">break</span>;</div>
419
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; }</div>
420
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">GenericBug::PARTIALBUFOVERFLOW</a>:</div>
421
+ <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; {</div>
422
+ <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PartialBufferOverflowBug.html">PartialBufferOverflowBug</a>(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
423
+ <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
424
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">break</span>;</div>
425
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div>
426
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">default</span>:</div>
427
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
428
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Abstract Execution does NOT hava his bug type!&quot;</span>);</div>
429
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">break</span>;</div>
430
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; }</div>
431
+ <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; }</div>
432
+ <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; </div>
433
+ <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; <span class="comment">// when add a bug, also print it to terminal</span></div>
434
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; newBug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">printBugToTerminal</a>();</div>
435
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; }</div>
436
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; </div>
437
+ <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="comment">/*</span></div>
438
+ <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160;<span class="comment"> * function: pass file path, open the file and dump bug report as JSON format</span></div>
439
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160;<span class="comment"> * usage: dumpToFile(&quot;/path/to/file&quot;)</span></div>
440
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160;<span class="comment"> */</span></div>
441
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">dumpToJsonFile</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; filePath) <span class="keyword">const</span>;</div>
442
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; </div>
443
+ <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; <span class="comment">/*</span></div>
444
+ <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160;<span class="comment"> * function: get underlying bugset</span></div>
445
+ <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160;<span class="comment"> * usage: getBugSet()</span></div>
446
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160;<span class="comment"> */</span></div>
447
+ <div class="line"><a name="l00397"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e"> 397</a></span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a> &amp;<a class="code" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">getBugSet</a>()<span class="keyword"> const</span></div>
448
+ <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160;<span class="keyword"> </span>{</div>
449
+ <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>;</div>
450
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; }</div>
451
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; </div>
452
+ <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160;};</div>
453
+ <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160;}</div>
454
+ <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; </div>
455
+ <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160;<span class="preprocessor">#endif</span></div>
426
456
  </div><!-- fragment --></div><!-- contents -->
427
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a05f395eff23619ed10c31c0acda949e2"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">SVF::SVFBugReport::addAbsExecBug</a></div><div class="ttdeci">void addAbsExecBug(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00325">SVFBugReport.h:325</a></div></div>
457
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a05f395eff23619ed10c31c0acda949e2"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">SVF::SVFBugReport::addAbsExecBug</a></div><div class="ttdeci">void addAbsExecBug(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00357">SVFBugReport.h:357</a></div></div>
458
+ <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_a8f057178ee7182d691dbb3103d0d0d43"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#a8f057178ee7182d691dbb3103d0d0d43">SVF::FullNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00253">SVFBugReport.cpp:253</a></div></div>
428
459
  <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_ac20c926cb9a72c5913afcf6877d04791"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#ac20c926cb9a72c5913afcf6877d04791">SVF::NeverFreeBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00122">SVFBugReport.cpp:122</a></div></div>
429
460
  <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_ae3d9bb5952fa858780ec50148e474388"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#ae3d9bb5952fa858780ec50148e474388">SVF::FileNeverCloseBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00209">SVFBugReport.cpp:209</a></div></div>
430
461
  <div class="ttc" id="aICFGNode_8h_html"><div class="ttname"><a href="ICFGNode_8h.html">ICFGNode.h</a></div></div>
431
462
  <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html">SVF::FileNeverCloseBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00224">SVFBugReport.h:224</a></div></div>
432
463
  <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_a0e52a0f35ff4d536f2de27a22139e59c"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#a0e52a0f35ff4d536f2de27a22139e59c">SVF::NeverFreeBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00116">SVFBugReport.cpp:116</a></div></div>
433
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_acacf8d5aa4aab95be34a5a1cb21838b3"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport::bugSet</a></div><div class="ttdeci">BugSet bugSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00264">SVFBugReport.h:264</a></div></div>
464
+ <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_ad3f9af5c317048ada0a8d6a25402a9db"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#ad3f9af5c317048ada0a8d6a25402a9db">SVF::PartialNullPtrDereferenceBug::PartialNullPtrDereferenceBug</a></div><div class="ttdeci">PartialNullPtrDereferenceBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00275">SVFBugReport.h:275</a></div></div>
465
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_acacf8d5aa4aab95be34a5a1cb21838b3"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport::bugSet</a></div><div class="ttdeci">BugSet bugSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00296">SVFBugReport.h:296</a></div></div>
434
466
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_aa63e1b3fb32d0383a57ab5c503673d18"><div class="ttname"><a href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">SVF::GenericBug::getEventStack</a></div><div class="ttdeci">const EventStack &amp; getEventStack() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00112">SVFBugReport.h:112</a></div></div>
435
467
  <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html">SVF::NeverFreeBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00176">SVFBugReport.h:176</a></div></div>
436
468
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_ac05f2603f96431354402ea526da27fec"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec">SVF::BufferOverflowBug::BufferOverflowBug</a></div><div class="ttdeci">BufferOverflowBug(GenericBug::BugType bugType, const EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00127">SVFBugReport.h:127</a></div></div>
@@ -445,38 +477,44 @@ $(function() {
445
477
  <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_ad1327aa541ec4eb8c2fd4029e693870f"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#ad1327aa541ec4eb8c2fd4029e693870f">SVF::PartialLeakBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00202">SVFBugReport.h:202</a></div></div>
446
478
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a33496918c5f2adaf48a64f39d9c49567"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567">SVF::SVFBugEvent::typeAndInfoFlag</a></div><div class="ttdeci">u32_t typeAndInfoFlag</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00064">SVFBugReport.h:64</a></div></div>
447
479
  <div class="ttc" id="aclassSVF_1_1PartialBufferOverflowBug_html"><div class="ttname"><a href="classSVF_1_1PartialBufferOverflowBug.html">SVF::PartialBufferOverflowBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00160">SVFBugReport.h:160</a></div></div>
448
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00256">SVFBugReport.h:256</a></div></div>
480
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00288">SVFBugReport.h:288</a></div></div>
481
+ <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_ae269f1b62e89f8fcca783865d6ce8723"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723">SVF::FullNullPtrDereferenceBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00259">SVFBugReport.cpp:259</a></div></div>
449
482
  <div class="ttc" id="aSVFVariables_8h_html"><div class="ttname"><a href="SVFVariables_8h.html">SVFVariables.h</a></div></div>
450
483
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">SVF::GenericBug::PARTIALLEAK</a></div><div class="ttdeci">@ PARTIALLEAK</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
451
484
  <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html">SVF::PartialLeakBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00192">SVFBugReport.h:192</a></div></div>
452
485
  <div class="ttc" id="aclassSVF_1_1FullBufferOverflowBug_html_a87e463d4e7af1a3421da2ad73e01eb7d"><div class="ttname"><a href="classSVF_1_1FullBufferOverflowBug.html#a87e463d4e7af1a3421da2ad73e01eb7d">SVF::FullBufferOverflowBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00154">SVFBugReport.h:154</a></div></div>
453
486
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVF::SVFBugEvent::SourceInst</a></div><div class="ttdeci">@ SourceInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00060">SVFBugReport.h:60</a></div></div>
454
487
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_acc65b033bfd61257d5b6fdbf932dfafe"><div class="ttname"><a href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">SVF::GenericBug::EventStack</a></div><div class="ttdeci">std::vector&lt; SVFBugEvent &gt; EventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00083">SVFBugReport.h:83</a></div></div>
455
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a4e243c7297791b306d970c19abc87ca9"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a4e243c7297791b306d970c19abc87ca9">SVF::SVFBugReport::~SVFBugReport</a></div><div class="ttdeci">~SVFBugReport()</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00306">SVFBugReport.cpp:306</a></div></div>
488
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a4e243c7297791b306d970c19abc87ca9"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a4e243c7297791b306d970c19abc87ca9">SVF::SVFBugReport::~SVFBugReport</a></div><div class="ttdeci">~SVFBugReport()</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00330">SVFBugReport.cpp:330</a></div></div>
456
489
  <div class="ttc" id="acJSON_8h_html"><div class="ttname"><a href="cJSON_8h.html">cJSON.h</a></div></div>
490
+ <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_ab0b8fccb4d800443de3399084f379d9a"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a">SVF::FullNullPtrDereferenceBug::FullNullPtrDereferenceBug</a></div><div class="ttdeci">FullNullPtrDereferenceBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00259">SVFBugReport.h:259</a></div></div>
457
491
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7a468e626e081190e4f0e5a4bda0a579"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">SVF::GenericBug::~GenericBug</a></div><div class="ttdeci">virtual ~GenericBug()=default</div></div>
458
492
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6">SVF::SVFBugEvent::Caller</a></div><div class="ttdeci">@ Caller</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00057">SVFBugReport.h:57</a></div></div>
459
493
  <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_acf0d2ffb52d0b322421a5556d41a1d63"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#acf0d2ffb52d0b322421a5556d41a1d63">SVF::DoubleFreeBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00166">SVFBugReport.cpp:166</a></div></div>
460
494
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">SVF::GenericBug::FULLBUFOVERFLOW</a></div><div class="ttdeci">@ FULLBUFOVERFLOW</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
461
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aa119593331403f73867fddcb6ec26989"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">SVF::SVFBugReport::dumpToJsonFile</a></div><div class="ttdeci">void dumpToJsonFile(const std::string &amp;filePath) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00314">SVFBugReport.cpp:314</a></div></div>
462
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aca243a30fa7f65f3d21cddd18a8fbf45"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">SVF::SVFBugReport::addSaberBug</a></div><div class="ttdeci">void addSaberBug(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00273">SVFBugReport.h:273</a></div></div>
495
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aa119593331403f73867fddcb6ec26989"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">SVF::SVFBugReport::dumpToJsonFile</a></div><div class="ttdeci">void dumpToJsonFile(const std::string &amp;filePath) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00338">SVFBugReport.cpp:338</a></div></div>
496
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aca243a30fa7f65f3d21cddd18a8fbf45"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">SVF::SVFBugReport::addSaberBug</a></div><div class="ttdeci">void addSaberBug(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00305">SVFBugReport.h:305</a></div></div>
463
497
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a236e3cf3e81ec4248547b3011323e45f"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a236e3cf3e81ec4248547b3011323e45f">SVF::BufferOverflowBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00138">SVFBugReport.h:138</a></div></div>
464
- <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_ad3bcb02563f952edd43ab5a7276bd57d"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#ad3bcb02563f952edd43ab5a7276bd57d">SVF::SVFBugEvent::getFuncName</a></div><div class="ttdeci">virtual const std::string getFuncName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00253">SVFBugReport.cpp:253</a></div></div>
498
+ <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_ad3bcb02563f952edd43ab5a7276bd57d"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#ad3bcb02563f952edd43ab5a7276bd57d">SVF::SVFBugEvent::getFuncName</a></div><div class="ttdeci">virtual const std::string getFuncName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00277">SVFBugReport.cpp:277</a></div></div>
465
499
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
466
500
  <div class="ttc" id="aclassSVF_1_1GenericBug_html"><div class="ttname"><a href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00080">SVFBugReport.h:80</a></div></div>
501
+ <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html">SVF::FullNullPtrDereferenceBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00256">SVFBugReport.h:256</a></div></div>
467
502
  <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_a2fcc321d3132c56423a0d3cfc21b8b80"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#a2fcc321d3132c56423a0d3cfc21b8b80">SVF::NeverFreeBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00186">SVFBugReport.h:186</a></div></div>
468
503
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_af012270169f767655456ae0e09add06a"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a">SVF::SVFBugEvent::SVFBugEvent</a></div><div class="ttdeci">SVFBugEvent(u32_t typeAndInfoFlag, const SVFInstruction *eventInst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00068">SVFBugReport.h:68</a></div></div>
469
504
  <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_a61c7ebeeb916dd223d2279b7b6ba6571"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#a61c7ebeeb916dd223d2279b7b6ba6571">SVF::DoubleFreeBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00218">SVFBugReport.h:218</a></div></div>
505
+ <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_acc860880d548ea2cf5b63f0f7ad11456"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#acc860880d548ea2cf5b63f0f7ad11456">SVF::PartialNullPtrDereferenceBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00271">SVFBugReport.cpp:271</a></div></div>
470
506
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_ac985d855e598175618b517259b6d3212"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212">SVF::BufferOverflowBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00079">SVFBugReport.cpp:79</a></div></div>
471
507
  <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html">SVF::FilePartialCloseBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00240">SVFBugReport.h:240</a></div></div>
472
508
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3">SVF::SVFBugEvent::EventType</a></div><div class="ttdeci">EventType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00054">SVFBugReport.h:54</a></div></div>
473
509
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a07fa3b9bf041ade658526fd3bc9d361c"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">SVF::BufferOverflowBug::accessLowerBound</a></div><div class="ttdeci">s64_t accessLowerBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
510
+ <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_a3813a8bb6b6ba48bb7f76634045c364a"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#a3813a8bb6b6ba48bb7f76634045c364a">SVF::PartialNullPtrDereferenceBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00282">SVFBugReport.h:282</a></div></div>
474
511
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">SVF::GenericBug::NEVERFREE</a></div><div class="ttdeci">@ NEVERFREE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
475
512
  <div class="ttc" id="aclassSVF_1_1FullBufferOverflowBug_html"><div class="ttname"><a href="classSVF_1_1FullBufferOverflowBug.html">SVF::FullBufferOverflowBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00144">SVFBugReport.h:144</a></div></div>
476
513
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">SVF::GenericBug::FILENEVERCLOSE</a></div><div class="ttdeci">@ FILENEVERCLOSE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
477
514
  <div class="ttc" id="astructcJSON_html"><div class="ttname"><a href="structcJSON.html">cJSON</a></div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00103">cJSON.h:103</a></div></div>
478
515
  <div class="ttc" id="aclassSVF_1_1PartialBufferOverflowBug_html_a561e055af483e825d095a89d7e7ed39b"><div class="ttname"><a href="classSVF_1_1PartialBufferOverflowBug.html#a561e055af483e825d095a89d7e7ed39b">SVF::PartialBufferOverflowBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00170">SVFBugReport.h:170</a></div></div>
479
- <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a7c5d28996f9715d0f90d664b93477a23"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a7c5d28996f9715d0f90d664b93477a23">SVF::SVFBugEvent::getEventDescription</a></div><div class="ttdeci">virtual const std::string getEventDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00263">SVFBugReport.cpp:263</a></div></div>
516
+ <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a7c5d28996f9715d0f90d664b93477a23"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a7c5d28996f9715d0f90d664b93477a23">SVF::SVFBugEvent::getEventDescription</a></div><div class="ttdeci">virtual const std::string getEventDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00287">SVFBugReport.cpp:287</a></div></div>
517
+ <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_a07bdac10dd87c669358220ac36acbf20"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#a07bdac10dd87c669358220ac36acbf20">SVF::FullNullPtrDereferenceBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00266">SVFBugReport.h:266</a></div></div>
480
518
  <div class="ttc" id="aSVFStatements_8h_html"><div class="ttname"><a href="SVFStatements_8h.html">SVFStatements.h</a></div></div>
481
519
  <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_ac1ded32b2cdae3e0a74bf767b5ca96cb"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#ac1ded32b2cdae3e0a74bf767b5ca96cb">SVF::FileNeverCloseBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00234">SVFBugReport.h:234</a></div></div>
482
520
  <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_aa3acf06e90939896a86c449260c2e4b4"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#aa3acf06e90939896a86c449260c2e4b4">SVF::PartialLeakBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00152">SVFBugReport.cpp:152</a></div></div>
@@ -489,10 +527,11 @@ $(function() {
489
527
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a5cfadd60fc90ea6cb7b51aa1f292b6a3"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3">SVF::GenericBug::BugType2Str</a></div><div class="ttdeci">static const std::map&lt; GenericBug::BugType, std::string &gt; BugType2Str</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00087">SVFBugReport.h:87</a></div></div>
490
528
  <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a32576eee4de3b4c094c3f8a5501c7b99"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a32576eee4de3b4c094c3f8a5501c7b99">SVF::FilePartialCloseBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00239">SVFBugReport.cpp:239</a></div></div>
491
529
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_ac0b91adaf9df0d57dc2e179d962ca490"><div class="ttname"><a href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug::bugEventStack</a></div><div class="ttdeci">const EventStack bugEventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00091">SVFBugReport.h:91</a></div></div>
530
+ <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">SVF::GenericBug::FULLNULLPTRDEREFERENCE</a></div><div class="ttdeci">@ FULLNULLPTRDEREFERENCE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
492
531
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a143c39c6a120e0ea1371bc309bf05d51"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51">SVF::GenericBug::bugType</a></div><div class="ttdeci">BugType bugType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00090">SVFBugReport.h:90</a></div></div>
493
532
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_abbc86875488c27e53e5c36e95c472b20"><div class="ttname"><a href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">SVF::GenericBug::getLoc</a></div><div class="ttdeci">const std::string getLoc() const</div><div class="ttdoc">returns bug location as json format string</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00049">SVFBugReport.cpp:49</a></div></div>
494
533
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecac"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug::BugType</a></div><div class="ttdeci">BugType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
495
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a7dbf4adc013615567b33b6e293b61c8e"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">SVF::SVFBugReport::getBugSet</a></div><div class="ttdeci">const BugSet &amp; getBugSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00365">SVFBugReport.h:365</a></div></div>
534
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a7dbf4adc013615567b33b6e293b61c8e"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">SVF::SVFBugReport::getBugSet</a></div><div class="ttdeci">const BugSet &amp; getBugSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00397">SVFBugReport.h:397</a></div></div>
496
535
  <div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01098">SVFValue.h:1098</a></div></div>
497
536
  <div class="ttc" id="aSVFBugReport_8h_html_aae8a01dec6f65eaf27a03f4e063d92f8"><div class="ttname"><a href="SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8">EVENTTYPEMASK</a></div><div class="ttdeci">#define EVENTTYPEMASK</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00041">SVFBugReport.h:41</a></div></div>
498
537
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_afad49e3f62083345138932ffadf567dd"><div class="ttname"><a href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">SVF::GenericBug::getFuncName</a></div><div class="ttdeci">const std::string getFuncName() const</div><div class="ttdoc">return bug source function name</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00056">SVFBugReport.cpp:56</a></div></div>
@@ -507,7 +546,7 @@ $(function() {
507
546
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_aed9feb57ffb0860cbdd13698fd4dbf6c"><div class="ttname"><a href="classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c">SVF::GenericBug::getBugDescription</a></div><div class="ttdeci">virtual cJSON * getBugDescription() const =0</div></div>
508
547
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a7ded0022f3852a08a05c67aeae77162f"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a7ded0022f3852a08a05c67aeae77162f">SVF::SVFBugEvent::getEventType</a></div><div class="ttdeci">u32_t getEventType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00071">SVFBugReport.h:71</a></div></div>
509
548
  <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_abd956a30bc4f8b1e25826149d20ea2b5"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#abd956a30bc4f8b1e25826149d20ea2b5">SVF::PartialLeakBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00128">SVFBugReport.cpp:128</a></div></div>
510
- <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a5b3fcd366e5275927eb66a02dc6040f8"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a5b3fcd366e5275927eb66a02dc6040f8">SVF::SVFBugEvent::getEventLoc</a></div><div class="ttdeci">virtual const std::string getEventLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00258">SVFBugReport.cpp:258</a></div></div>
549
+ <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a5b3fcd366e5275927eb66a02dc6040f8"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a5b3fcd366e5275927eb66a02dc6040f8">SVF::SVFBugEvent::getEventLoc</a></div><div class="ttdeci">virtual const std::string getEventLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00282">SVFBugReport.cpp:282</a></div></div>
511
550
  <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_af163790aa2065d72be8c31c281abee20"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20">SVF::SVFBugReport::SVFBugReport</a></div><div class="ttdeci">SVFBugReport()=default</div></div>
512
551
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a04cb8d2b008019cf48e2d70ba20c3098"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">SVF::BufferOverflowBug::accessUpperBound</a></div><div class="ttdeci">s64_t accessUpperBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
513
552
  <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a16b96f3c79cf5edae0f0f02e52344283"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a16b96f3c79cf5edae0f0f02e52344283">SVF::FilePartialCloseBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00215">SVFBugReport.cpp:215</a></div></div>
@@ -515,13 +554,16 @@ $(function() {
515
554
  <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
516
555
  <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00595">SVFValue.h:595</a></div></div>
517
556
  <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00054">SVFType.h:54</a></div></div>
557
+ <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_a910f2e839e1e722655fbb2266c15f136"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#a910f2e839e1e722655fbb2266c15f136">SVF::PartialNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00265">SVFBugReport.cpp:265</a></div></div>
518
558
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">SVF::GenericBug::PARTIALBUFOVERFLOW</a></div><div class="ttdeci">@ PARTIALBUFOVERFLOW</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
519
559
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a608644b6a751669f7e0130a00c28d7ca"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">SVF::BufferOverflowBug::allocUpperBound</a></div><div class="ttdeci">s64_t allocUpperBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
560
+ <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html">SVF::PartialNullPtrDereferenceBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00272">SVFBugReport.h:272</a></div></div>
520
561
  <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="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
521
562
  <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_ad4fb019d5add0b9436b24b22a3cdf9a4"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#ad4fb019d5add0b9436b24b22a3cdf9a4">SVF::FileNeverCloseBug::FileNeverCloseBug</a></div><div class="ttdeci">FileNeverCloseBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00227">SVFBugReport.h:227</a></div></div>
522
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a357fa4ad635d2c53693ab147f255f7ac"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport::BugSet</a></div><div class="ttdeci">SVF::Set&lt; const GenericBug * &gt; BugSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00261">SVFBugReport.h:261</a></div></div>
563
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a357fa4ad635d2c53693ab147f255f7ac"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport::BugSet</a></div><div class="ttdeci">SVF::Set&lt; const GenericBug * &gt; BugSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00293">SVFBugReport.h:293</a></div></div>
523
564
  <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_aa0279f4e85caf2257586568ce34856a3"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#aa0279f4e85caf2257586568ce34856a3">SVF::FilePartialCloseBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00250">SVFBugReport.h:250</a></div></div>
524
565
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html">SVF::BufferOverflowBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00121">SVFBugReport.h:121</a></div></div>
566
+ <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">SVF::GenericBug::PARTIALNULLPTRDEREFERENCE</a></div><div class="ttdeci">@ PARTIALNULLPTRDEREFERENCE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
525
567
  <!-- start footer part -->
526
568
  <hr class="footer"/><address class="footer"><small>
527
569
  Generated by &#160;<a href="http://www.doxygen.org/index.html">