svf-tools 1.0.819 → 1.0.821

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 (256) hide show
  1. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +488 -486
  3. package/SVF-doxygen/html/LLVMModule_8h_source.html +14 -14
  4. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/LLVMUtil_8h_source.html +1 -1
  6. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/SVFBugReport_8cpp_source.html +81 -69
  8. package/SVF-doxygen/html/SVFBugReport_8h_source.html +135 -121
  9. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +1 -1
  11. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +2 -2
  13. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  14. package/SVF-doxygen/html/classSVF_1_1FileChecker.html +1 -1
  15. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
  16. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +470 -468
  17. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
  18. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
  19. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
  20. package/SVF-doxygen/html/classSVF_1_1SVFBugReport-members.html +9 -5
  21. package/SVF-doxygen/html/classSVF_1_1SVFBugReport.html +307 -161
  22. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +2 -2
  23. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +2 -2
  24. package/SVF-doxygen/html/functions_c.html +24 -19
  25. package/SVF-doxygen/html/functions_func_i.html +1 -1
  26. package/SVF-doxygen/html/functions_func_s.html +25 -22
  27. package/SVF-doxygen/html/functions_i.html +1 -1
  28. package/SVF-doxygen/html/functions_l.html +3 -3
  29. package/SVF-doxygen/html/functions_m.html +4 -3
  30. package/SVF-doxygen/html/functions_n.html +4 -4
  31. package/SVF-doxygen/html/functions_o.html +4 -4
  32. package/SVF-doxygen/html/functions_p.html +11 -11
  33. package/SVF-doxygen/html/functions_r.html +4 -6
  34. package/SVF-doxygen/html/functions_s.html +26 -21
  35. package/SVF-doxygen/html/functions_t.html +8 -5
  36. package/SVF-doxygen/html/functions_v.html +6 -6
  37. package/SVF-doxygen/html/functions_vars_c.html +3 -0
  38. package/SVF-doxygen/html/functions_vars_m.html +1 -0
  39. package/SVF-doxygen/html/functions_vars_t.html +3 -0
  40. package/SVF-doxygen/html/functions_w.html +1 -1
  41. package/SVF-doxygen/html/search/all_10.js +324 -324
  42. package/SVF-doxygen/html/search/all_11.js +222 -222
  43. package/SVF-doxygen/html/search/all_12.js +545 -544
  44. package/SVF-doxygen/html/search/all_13.js +192 -191
  45. package/SVF-doxygen/html/search/all_14.js +67 -67
  46. package/SVF-doxygen/html/search/all_15.js +167 -167
  47. package/SVF-doxygen/html/search/all_16.js +63 -63
  48. package/SVF-doxygen/html/search/all_17.js +1 -1
  49. package/SVF-doxygen/html/search/all_18.js +1 -1
  50. package/SVF-doxygen/html/search/all_19.js +11 -11
  51. package/SVF-doxygen/html/search/all_1a.js +172 -172
  52. package/SVF-doxygen/html/search/all_3.js +138 -137
  53. package/SVF-doxygen/html/search/all_4.js +233 -233
  54. package/SVF-doxygen/html/search/all_5.js +119 -119
  55. package/SVF-doxygen/html/search/all_6.js +225 -225
  56. package/SVF-doxygen/html/search/all_7.js +1044 -1044
  57. package/SVF-doxygen/html/search/all_8.js +197 -197
  58. package/SVF-doxygen/html/search/all_9.js +607 -607
  59. package/SVF-doxygen/html/search/all_a.js +46 -46
  60. package/SVF-doxygen/html/search/all_b.js +26 -26
  61. package/SVF-doxygen/html/search/all_c.js +116 -116
  62. package/SVF-doxygen/html/search/all_d.js +196 -196
  63. package/SVF-doxygen/html/search/all_e.js +207 -207
  64. package/SVF-doxygen/html/search/all_f.js +115 -115
  65. package/SVF-doxygen/html/search/classes_0.js +26 -26
  66. package/SVF-doxygen/html/search/classes_1.js +9 -9
  67. package/SVF-doxygen/html/search/classes_10.js +73 -73
  68. package/SVF-doxygen/html/search/classes_11.js +15 -15
  69. package/SVF-doxygen/html/search/classes_12.js +2 -2
  70. package/SVF-doxygen/html/search/classes_13.js +10 -10
  71. package/SVF-doxygen/html/search/classes_14.js +14 -14
  72. package/SVF-doxygen/html/search/classes_15.js +1 -1
  73. package/SVF-doxygen/html/search/classes_2.js +80 -80
  74. package/SVF-doxygen/html/search/classes_3.js +37 -37
  75. package/SVF-doxygen/html/search/classes_4.js +9 -9
  76. package/SVF-doxygen/html/search/classes_5.js +28 -28
  77. package/SVF-doxygen/html/search/classes_6.js +104 -104
  78. package/SVF-doxygen/html/search/classes_7.js +33 -33
  79. package/SVF-doxygen/html/search/classes_8.js +56 -56
  80. package/SVF-doxygen/html/search/classes_9.js +1 -1
  81. package/SVF-doxygen/html/search/classes_a.js +12 -12
  82. package/SVF-doxygen/html/search/classes_b.js +29 -29
  83. package/SVF-doxygen/html/search/classes_c.js +6 -6
  84. package/SVF-doxygen/html/search/classes_d.js +18 -18
  85. package/SVF-doxygen/html/search/classes_e.js +36 -36
  86. package/SVF-doxygen/html/search/classes_f.js +25 -25
  87. package/SVF-doxygen/html/search/defines_0.js +3 -3
  88. package/SVF-doxygen/html/search/defines_1.js +2 -2
  89. package/SVF-doxygen/html/search/defines_2.js +30 -30
  90. package/SVF-doxygen/html/search/defines_3.js +21 -21
  91. package/SVF-doxygen/html/search/defines_4.js +2 -2
  92. package/SVF-doxygen/html/search/defines_5.js +4 -4
  93. package/SVF-doxygen/html/search/defines_6.js +2 -2
  94. package/SVF-doxygen/html/search/defines_7.js +5 -5
  95. package/SVF-doxygen/html/search/defines_8.js +11 -11
  96. package/SVF-doxygen/html/search/defines_9.js +9 -9
  97. package/SVF-doxygen/html/search/defines_a.js +2 -2
  98. package/SVF-doxygen/html/search/defines_b.js +1 -1
  99. package/SVF-doxygen/html/search/defines_c.js +3 -3
  100. package/SVF-doxygen/html/search/defines_d.js +2 -2
  101. package/SVF-doxygen/html/search/defines_e.js +7 -7
  102. package/SVF-doxygen/html/search/defines_f.js +3 -3
  103. package/SVF-doxygen/html/search/enums_0.js +3 -3
  104. package/SVF-doxygen/html/search/enums_1.js +2 -2
  105. package/SVF-doxygen/html/search/enums_10.js +1 -1
  106. package/SVF-doxygen/html/search/enums_11.js +1 -1
  107. package/SVF-doxygen/html/search/enums_2.js +8 -8
  108. package/SVF-doxygen/html/search/enums_3.js +1 -1
  109. package/SVF-doxygen/html/search/enums_4.js +3 -3
  110. package/SVF-doxygen/html/search/enums_5.js +1 -1
  111. package/SVF-doxygen/html/search/enums_6.js +2 -2
  112. package/SVF-doxygen/html/search/enums_7.js +2 -2
  113. package/SVF-doxygen/html/search/enums_8.js +4 -4
  114. package/SVF-doxygen/html/search/enums_9.js +1 -1
  115. package/SVF-doxygen/html/search/enums_a.js +1 -1
  116. package/SVF-doxygen/html/search/enums_b.js +7 -7
  117. package/SVF-doxygen/html/search/enums_c.js +1 -1
  118. package/SVF-doxygen/html/search/enums_d.js +4 -4
  119. package/SVF-doxygen/html/search/enums_e.js +2 -2
  120. package/SVF-doxygen/html/search/enums_f.js +4 -4
  121. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  122. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  123. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  124. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  125. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  126. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  127. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  128. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  129. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  130. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  131. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  132. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  133. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  134. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  135. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  136. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  137. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  138. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  139. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  140. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  141. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  142. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  143. package/SVF-doxygen/html/search/files_0.js +13 -13
  144. package/SVF-doxygen/html/search/files_1.js +7 -7
  145. package/SVF-doxygen/html/search/files_10.js +8 -8
  146. package/SVF-doxygen/html/search/files_11.js +8 -8
  147. package/SVF-doxygen/html/search/files_12.js +2 -2
  148. package/SVF-doxygen/html/search/files_2.js +55 -55
  149. package/SVF-doxygen/html/search/files_3.js +14 -14
  150. package/SVF-doxygen/html/search/files_4.js +5 -5
  151. package/SVF-doxygen/html/search/files_5.js +13 -13
  152. package/SVF-doxygen/html/search/files_6.js +9 -9
  153. package/SVF-doxygen/html/search/files_7.js +14 -14
  154. package/SVF-doxygen/html/search/files_8.js +13 -13
  155. package/SVF-doxygen/html/search/files_9.js +18 -18
  156. package/SVF-doxygen/html/search/files_a.js +3 -3
  157. package/SVF-doxygen/html/search/files_b.js +2 -2
  158. package/SVF-doxygen/html/search/files_c.js +20 -20
  159. package/SVF-doxygen/html/search/files_d.js +4 -4
  160. package/SVF-doxygen/html/search/files_e.js +62 -62
  161. package/SVF-doxygen/html/search/files_f.js +8 -8
  162. package/SVF-doxygen/html/search/functions_0.js +12 -12
  163. package/SVF-doxygen/html/search/functions_1.js +360 -360
  164. package/SVF-doxygen/html/search/functions_10.js +140 -140
  165. package/SVF-doxygen/html/search/functions_11.js +138 -138
  166. package/SVF-doxygen/html/search/functions_12.js +280 -279
  167. package/SVF-doxygen/html/search/functions_13.js +59 -59
  168. package/SVF-doxygen/html/search/functions_14.js +39 -39
  169. package/SVF-doxygen/html/search/functions_15.js +71 -71
  170. package/SVF-doxygen/html/search/functions_16.js +32 -32
  171. package/SVF-doxygen/html/search/functions_17.js +3 -3
  172. package/SVF-doxygen/html/search/functions_18.js +172 -172
  173. package/SVF-doxygen/html/search/functions_2.js +87 -87
  174. package/SVF-doxygen/html/search/functions_3.js +257 -257
  175. package/SVF-doxygen/html/search/functions_4.js +75 -75
  176. package/SVF-doxygen/html/search/functions_5.js +53 -53
  177. package/SVF-doxygen/html/search/functions_6.js +59 -59
  178. package/SVF-doxygen/html/search/functions_7.js +854 -854
  179. package/SVF-doxygen/html/search/functions_8.js +149 -149
  180. package/SVF-doxygen/html/search/functions_9.js +423 -423
  181. package/SVF-doxygen/html/search/functions_a.js +30 -30
  182. package/SVF-doxygen/html/search/functions_b.js +2 -2
  183. package/SVF-doxygen/html/search/functions_c.js +26 -26
  184. package/SVF-doxygen/html/search/functions_d.js +77 -77
  185. package/SVF-doxygen/html/search/functions_e.js +35 -35
  186. package/SVF-doxygen/html/search/functions_f.js +56 -56
  187. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  188. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  189. package/SVF-doxygen/html/search/related_0.js +2 -2
  190. package/SVF-doxygen/html/search/related_1.js +2 -2
  191. package/SVF-doxygen/html/search/related_2.js +2 -2
  192. package/SVF-doxygen/html/search/related_3.js +2 -2
  193. package/SVF-doxygen/html/search/related_4.js +2 -2
  194. package/SVF-doxygen/html/search/related_5.js +1 -1
  195. package/SVF-doxygen/html/search/related_6.js +2 -2
  196. package/SVF-doxygen/html/search/related_7.js +4 -4
  197. package/SVF-doxygen/html/search/related_8.js +2 -2
  198. package/SVF-doxygen/html/search/related_9.js +4 -4
  199. package/SVF-doxygen/html/search/related_a.js +19 -19
  200. package/SVF-doxygen/html/search/related_b.js +4 -4
  201. package/SVF-doxygen/html/search/related_c.js +1 -1
  202. package/SVF-doxygen/html/search/related_d.js +12 -12
  203. package/SVF-doxygen/html/search/related_e.js +2 -2
  204. package/SVF-doxygen/html/search/related_f.js +2 -2
  205. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  206. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  207. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  208. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  209. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  210. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  211. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  212. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  213. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  214. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  215. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  216. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  217. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  218. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  219. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  220. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  221. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  222. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  223. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  224. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  225. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  226. package/SVF-doxygen/html/search/variables_0.js +151 -151
  227. package/SVF-doxygen/html/search/variables_1.js +75 -75
  228. package/SVF-doxygen/html/search/variables_10.js +97 -97
  229. package/SVF-doxygen/html/search/variables_11.js +44 -44
  230. package/SVF-doxygen/html/search/variables_12.js +92 -92
  231. package/SVF-doxygen/html/search/variables_13.js +76 -75
  232. package/SVF-doxygen/html/search/variables_14.js +14 -14
  233. package/SVF-doxygen/html/search/variables_15.js +48 -48
  234. package/SVF-doxygen/html/search/variables_16.js +9 -9
  235. package/SVF-doxygen/html/search/variables_17.js +1 -1
  236. package/SVF-doxygen/html/search/variables_18.js +2 -2
  237. package/SVF-doxygen/html/search/variables_2.js +38 -38
  238. package/SVF-doxygen/html/search/variables_3.js +143 -142
  239. package/SVF-doxygen/html/search/variables_4.js +55 -55
  240. package/SVF-doxygen/html/search/variables_5.js +37 -37
  241. package/SVF-doxygen/html/search/variables_6.js +66 -66
  242. package/SVF-doxygen/html/search/variables_7.js +34 -34
  243. package/SVF-doxygen/html/search/variables_8.js +7 -7
  244. package/SVF-doxygen/html/search/variables_9.js +78 -78
  245. package/SVF-doxygen/html/search/variables_a.js +4 -4
  246. package/SVF-doxygen/html/search/variables_b.js +10 -10
  247. package/SVF-doxygen/html/search/variables_c.js +45 -45
  248. package/SVF-doxygen/html/search/variables_d.js +56 -56
  249. package/SVF-doxygen/html/search/variables_e.js +123 -123
  250. package/SVF-doxygen/html/search/variables_f.js +29 -29
  251. package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  252. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  253. package/package.json +1 -1
  254. package/svf/include/Util/SVFBugReport.h +10 -0
  255. package/svf/lib/Util/SVFBugReport.cpp +46 -32
  256. package/svf-llvm/lib/LLVMModule.cpp +2 -0
package/SVF-doxygen/html/classSVF_1_1SVFBugReport.html CHANGED
@@ -88,6 +88,8 @@ Public Member Functions</h2></td></tr>
88
88
  <tr class="separator:af163790aa2065d72be8c31c281abee20"><td class="memSeparator" colspan="2">&#160;</td></tr>
89
89
  <tr class="memitem:a4e243c7297791b306d970c19abc87ca9"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFBugReport.html#a4e243c7297791b306d970c19abc87ca9">~SVFBugReport</a> ()</td></tr>
90
90
  <tr class="separator:a4e243c7297791b306d970c19abc87ca9"><td class="memSeparator" colspan="2">&#160;</td></tr>
91
+ <tr class="memitem:a817f61a73d84f9054a2f80375f51f747"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFBugReport.html#a817f61a73d84f9054a2f80375f51f747">setStat</a> (double <a class="el" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">time</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">mem</a>, double <a class="el" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">coverage</a>)</td></tr>
92
+ <tr class="separator:a817f61a73d84f9054a2f80375f51f747"><td class="memSeparator" colspan="2">&#160;</td></tr>
91
93
  <tr class="memitem:aca243a30fa7f65f3d21cddd18a8fbf45"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">addSaberBug</a> (<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a> bugType, const <a class="el" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;eventStack)</td></tr>
92
94
  <tr class="separator:aca243a30fa7f65f3d21cddd18a8fbf45"><td class="memSeparator" colspan="2">&#160;</td></tr>
93
95
  <tr class="memitem:a05f395eff23619ed10c31c0acda949e2"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">addAbsExecBug</a> (<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a> bugType, const <a class="el" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;eventStack, <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> allocLowerBound, <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> allocUpperBound, <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> accessLowerBound, <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> accessUpperBound)</td></tr>
@@ -101,6 +103,12 @@ Public Member Functions</h2></td></tr>
101
103
  Protected Attributes</h2></td></tr>
102
104
  <tr class="memitem:acacf8d5aa4aab95be34a5a1cb21838b3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a></td></tr>
103
105
  <tr class="separator:acacf8d5aa4aab95be34a5a1cb21838b3"><td class="memSeparator" colspan="2">&#160;</td></tr>
106
+ <tr class="memitem:a529dfbc5ea68061897e84af9cf248bcf"><td class="memItemLeft" align="right" valign="top">double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">time</a></td></tr>
107
+ <tr class="separator:a529dfbc5ea68061897e84af9cf248bcf"><td class="memSeparator" colspan="2">&#160;</td></tr>
108
+ <tr class="memitem:aed1046e4c7559ebdaf57775726645085"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">mem</a></td></tr>
109
+ <tr class="separator:aed1046e4c7559ebdaf57775726645085"><td class="memSeparator" colspan="2">&#160;</td></tr>
110
+ <tr class="memitem:abdb02bf4b61c6cbccd4b9c3c01590ddc"><td class="memItemLeft" align="right" valign="top">double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">coverage</a></td></tr>
111
+ <tr class="separator:abdb02bf4b61c6cbccd4b9c3c01590ddc"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
112
  </table>
105
113
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
106
114
  <div class="textblock">
@@ -233,45 +241,45 @@ Protected Attributes</h2></td></tr>
233
241
  </div><div class="memdoc">
234
242
  <p>add bugs</p>
235
243
 
236
- <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00357">357</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
237
- <div class="fragment"><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div>
238
- <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; GenericBug *newBug = <span class="keyword">nullptr</span>;</div>
239
- <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">switch</span>(bugType)</div>
240
- <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div>
241
- <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>
242
- <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; {</div>
243
- <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; newBug = <span class="keyword">new</span> FullBufferOverflowBug(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
244
- <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>
245
- <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">break</span>;</div>
246
- <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; }</div>
247
- <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>
248
- <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; {</div>
249
- <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; newBug = <span class="keyword">new</span> PartialBufferOverflowBug(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
250
- <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>
251
- <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">break</span>;</div>
252
- <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div>
253
- <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">GenericBug::FULLNULLPTRDEREFERENCE</a>:</div>
254
- <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
255
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; newBug = <span class="keyword">new</span> FullNullPtrDereferenceBug(eventStack);</div>
256
- <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
257
- <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordflow">break</span>;</div>
258
- <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; }</div>
259
- <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">GenericBug::PARTIALNULLPTRDEREFERENCE</a>:</div>
260
- <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; {</div>
261
- <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; newBug = <span class="keyword">new</span> PartialNullPtrDereferenceBug(eventStack);</div>
262
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
263
- <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <span class="keywordflow">break</span>;</div>
264
- <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; }</div>
265
- <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <span class="keywordflow">default</span>:</div>
266
- <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; {</div>
267
- <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Abstract Execution does NOT have this bug type!&quot;</span>);</div>
268
- <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <span class="keywordflow">break</span>;</div>
269
- <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; }</div>
270
- <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; }</div>
271
- <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; </div>
272
- <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <span class="comment">// when add a bug, also print it to terminal</span></div>
273
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; newBug-&gt;printBugToTerminal();</div>
274
- <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div>
244
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00367">367</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
245
+ <div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; {</div>
246
+ <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; GenericBug *newBug = <span class="keyword">nullptr</span>;</div>
247
+ <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; <span class="keywordflow">switch</span>(bugType)</div>
248
+ <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; {</div>
249
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">GenericBug::FULLBUFOVERFLOW</a>:</div>
250
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; {</div>
251
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; newBug = <span class="keyword">new</span> FullBufferOverflowBug(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
252
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
253
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keywordflow">break</span>;</div>
254
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; }</div>
255
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">GenericBug::PARTIALBUFOVERFLOW</a>:</div>
256
+ <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; {</div>
257
+ <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; newBug = <span class="keyword">new</span> PartialBufferOverflowBug(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
258
+ <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
259
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">break</span>;</div>
260
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; }</div>
261
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">GenericBug::FULLNULLPTRDEREFERENCE</a>:</div>
262
+ <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; {</div>
263
+ <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; newBug = <span class="keyword">new</span> FullNullPtrDereferenceBug(eventStack);</div>
264
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
265
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">break</span>;</div>
266
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div>
267
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">GenericBug::PARTIALNULLPTRDEREFERENCE</a>:</div>
268
+ <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; {</div>
269
+ <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; newBug = <span class="keyword">new</span> PartialNullPtrDereferenceBug(eventStack);</div>
270
+ <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
271
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keywordflow">break</span>;</div>
272
+ <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div>
273
+ <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; <span class="keywordflow">default</span>:</div>
274
+ <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; {</div>
275
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Abstract Execution does NOT have this bug type!&quot;</span>);</div>
276
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <span class="keywordflow">break</span>;</div>
277
+ <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; }</div>
278
+ <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; }</div>
279
+ <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; </div>
280
+ <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; <span class="comment">// when add a bug, also print it to terminal</span></div>
281
+ <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; newBug-&gt;printBugToTerminal();</div>
282
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; }</div>
275
283
  </div><!-- fragment -->
276
284
  </div>
277
285
  </div>
@@ -310,51 +318,51 @@ Protected Attributes</h2></td></tr>
310
318
  </div><div class="memdoc">
311
319
  <p>create and add the bug</p>
312
320
 
313
- <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00305">305</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
314
- <div class="fragment"><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; {</div>
315
- <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; GenericBug *newBug = <span class="keyword">nullptr</span>;</div>
316
- <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <span class="keywordflow">switch</span>(bugType)</div>
317
- <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; {</div>
318
- <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>
319
- <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; {</div>
320
- <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; newBug = <span class="keyword">new</span> NeverFreeBug(eventStack);</div>
321
- <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>
322
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">break</span>;</div>
323
- <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; }</div>
324
- <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>
325
- <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; {</div>
326
- <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; newBug = <span class="keyword">new</span> PartialLeakBug(eventStack);</div>
327
- <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>
328
- <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keywordflow">break</span>;</div>
329
- <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; }</div>
330
- <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>
331
- <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; {</div>
332
- <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; newBug = <span class="keyword">new</span> DoubleFreeBug(eventStack);</div>
333
- <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>
334
- <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; <span class="keywordflow">break</span>;</div>
335
- <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; }</div>
336
- <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>
337
- <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; {</div>
338
- <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; newBug = <span class="keyword">new</span> FileNeverCloseBug(eventStack);</div>
339
- <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>
340
- <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <span class="keywordflow">break</span>;</div>
341
- <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; }</div>
342
- <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>
343
- <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; {</div>
344
- <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; newBug = <span class="keyword">new</span> FilePartialCloseBug(eventStack);</div>
345
- <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>
346
- <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; <span class="keywordflow">break</span>;</div>
347
- <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; }</div>
348
- <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <span class="keywordflow">default</span>:</div>
349
- <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; {</div>
350
- <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>
351
- <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <span class="keywordflow">break</span>;</div>
352
- <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; }</div>
353
- <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; }</div>
354
- <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; </div>
355
- <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>
356
- <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; newBug-&gt;printBugToTerminal();</div>
357
- <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; }</div>
321
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00315">315</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
322
+ <div class="fragment"><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; {</div>
323
+ <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; GenericBug *newBug = <span class="keyword">nullptr</span>;</div>
324
+ <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; <span class="keywordflow">switch</span>(bugType)</div>
325
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; {</div>
326
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">GenericBug::NEVERFREE</a>:</div>
327
+ <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; {</div>
328
+ <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; newBug = <span class="keyword">new</span> NeverFreeBug(eventStack);</div>
329
+ <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
330
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <span class="keywordflow">break</span>;</div>
331
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div>
332
+ <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">GenericBug::PARTIALLEAK</a>:</div>
333
+ <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; {</div>
334
+ <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; newBug = <span class="keyword">new</span> PartialLeakBug(eventStack);</div>
335
+ <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
336
+ <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; <span class="keywordflow">break</span>;</div>
337
+ <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; }</div>
338
+ <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">GenericBug::DOUBLEFREE</a>:</div>
339
+ <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; {</div>
340
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; newBug = <span class="keyword">new</span> DoubleFreeBug(eventStack);</div>
341
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
342
+ <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; <span class="keywordflow">break</span>;</div>
343
+ <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; }</div>
344
+ <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">GenericBug::FILENEVERCLOSE</a>:</div>
345
+ <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; {</div>
346
+ <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; newBug = <span class="keyword">new</span> FileNeverCloseBug(eventStack);</div>
347
+ <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
348
+ <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; <span class="keywordflow">break</span>;</div>
349
+ <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; }</div>
350
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">GenericBug::FILEPARTIALCLOSE</a>:</div>
351
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; {</div>
352
+ <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; newBug = <span class="keyword">new</span> FilePartialCloseBug(eventStack);</div>
353
+ <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
354
+ <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <span class="keywordflow">break</span>;</div>
355
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; }</div>
356
+ <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; <span class="keywordflow">default</span>:</div>
357
+ <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; {</div>
358
+ <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;saber does NOT have this bug type!&quot;</span>);</div>
359
+ <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; <span class="keywordflow">break</span>;</div>
360
+ <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; }</div>
361
+ <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; }</div>
362
+ <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; </div>
363
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <span class="comment">// when add a bug, also print it to terminal</span></div>
364
+ <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; newBug-&gt;printBugToTerminal();</div>
365
+ <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; }</div>
358
366
  </div><!-- fragment -->
359
367
  </div>
360
368
  </div>
@@ -373,10 +381,12 @@ Protected Attributes</h2></td></tr>
373
381
  </tr>
374
382
  </table>
375
383
  </div><div class="memdoc">
376
- <p>add bug information to json</p>
377
- <p>add event information to json</p>
378
- <p>dump single bug to json str and write to file</p>
379
- <p>destroy the <a class="el" href="structcJSON.html">cJSON</a> object</p>
384
+ <p>Add defects</p>
385
+ <p>Add bug information to JSON</p>
386
+ <p>Add event information to JSON</p>
387
+ <p>Dump single bug to JSON string and write to file</p>
388
+ <p>Destroy the <a class="el" href="structcJSON.html">cJSON</a> object</p>
389
+ <p>Add program information</p>
380
390
 
381
391
  <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00338">338</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
382
392
  <div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160;{</div>
@@ -390,77 +400,89 @@ Protected Attributes</h2></td></tr>
390
400
  <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; </div>
391
401
  <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; ofstream jsonFile(filePath, ios::out);</div>
392
402
  <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; </div>
393
- <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;[&quot;</span>;</div>
403
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;{\n&quot;</span>;</div>
394
404
  <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; </div>
395
- <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; <span class="keywordtype">size_t</span> commaCounter = <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.size() - 1; <span class="comment">// comma num needed</span></div>
396
- <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">auto</span> bugPtr : <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>)</div>
397
- <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; {</div>
398
- <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *singleBug = cJSON_CreateObject();</div>
399
- <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; </div>
400
- <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *bugType = cJSON_CreateString(<a class="code" href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3">GenericBug::BugType2Str</a>.at(bugPtr-&gt;getBugType()).c_str());</div>
401
- <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; cJSON_AddItemToObject(singleBug, <span class="stringliteral">&quot;DefectType&quot;</span>, bugType);</div>
402
- <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; </div>
403
- <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *bugLoc = cJSON_Parse(bugPtr-&gt;getLoc().c_str());</div>
404
- <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">if</span>(bugLoc == <span class="keyword">nullptr</span>)</div>
405
- <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div>
406
- <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; bugLoc = cJSON_CreateObject();</div>
407
- <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; }</div>
408
- <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; cJSON_AddItemToObject(singleBug, <span class="stringliteral">&quot;Location&quot;</span>, bugLoc);</div>
409
- <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; </div>
410
- <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *bugFunction = cJSON_CreateString(bugPtr-&gt;getFuncName().c_str());</div>
411
- <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; cJSON_AddItemToObject(singleBug, <span class="stringliteral">&quot;Function&quot;</span>, bugFunction);</div>
405
+ <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;\&quot;Defects\&quot;: [\n&quot;</span>;</div>
406
+ <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; <span class="keywordtype">size_t</span> commaCounter = <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.size() - 1;</div>
407
+ <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> bugPtr : <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>)</div>
408
+ <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; {</div>
409
+ <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *singleDefect = cJSON_CreateObject();</div>
410
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; </div>
411
+ <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *bugType = cJSON_CreateString(</div>
412
+ <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <a class="code" href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3">GenericBug::BugType2Str</a>.at(bugPtr-&gt;getBugType()).c_str());</div>
413
+ <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; cJSON_AddItemToObject(singleDefect, <span class="stringliteral">&quot;DefectType&quot;</span>, bugType);</div>
414
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; </div>
415
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *bugLoc = cJSON_Parse(bugPtr-&gt;getLoc().c_str());</div>
416
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; <span class="keywordflow">if</span> (bugLoc == <span class="keyword">nullptr</span>)</div>
417
+ <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; {</div>
418
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; bugLoc = cJSON_CreateObject();</div>
419
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; }</div>
420
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; cJSON_AddItemToObject(singleDefect, <span class="stringliteral">&quot;Location&quot;</span>, bugLoc);</div>
412
421
  <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; </div>
413
- <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; cJSON_AddItemToObject(singleBug, <span class="stringliteral">&quot;Description&quot;</span>, bugPtr-&gt;getBugDescription());</div>
414
- <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; </div>
415
- <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *eventList = cJSON_CreateArray();</div>
416
- <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;bugEventStack = bugPtr-&gt;getEventStack();</div>
417
- <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a236e3cf3e81ec4248547b3011323e45f">BufferOverflowBug::classof</a>(bugPtr))</div>
418
- <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
419
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="comment">// add only when bug is context sensitive</span></div>
420
- <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBugEvent.html">SVFBugEvent</a>&amp;event : bugEventStack)</div>
421
- <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; {</div>
422
- <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <span class="keywordflow">if</span> (event.getEventType() == <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVFBugEvent::SourceInst</a>)</div>
423
- <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; {</div>
424
- <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; <span class="keywordflow">continue</span>;</div>
425
- <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; }</div>
426
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; </div>
427
- <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *singleEvent = cJSON_CreateObject();</div>
428
- <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="comment">//event type</span></div>
429
- <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *eventType = cJSON_CreateString(eventType2Str[event.getEventType()].c_str());</div>
430
- <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; cJSON_AddItemToObject(singleEvent, <span class="stringliteral">&quot;EventType&quot;</span>, eventType);</div>
431
- <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="comment">//function name</span></div>
432
- <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *eventFunc = cJSON_CreateString(event.getFuncName().c_str());</div>
433
- <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; cJSON_AddItemToObject(singleEvent, <span class="stringliteral">&quot;Function&quot;</span>, eventFunc);</div>
434
- <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; <span class="comment">//event loc</span></div>
435
- <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *eventLoc = cJSON_Parse(event.getEventLoc().c_str());</div>
436
- <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <span class="keywordflow">if</span>(eventLoc == <span class="keyword">nullptr</span>)</div>
437
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; {</div>
438
- <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; eventLoc = cJSON_CreateObject();</div>
439
- <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; }</div>
440
- <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; cJSON_AddItemToObject(singleEvent, <span class="stringliteral">&quot;Location&quot;</span>, eventLoc);</div>
441
- <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <span class="comment">//event description</span></div>
442
- <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *eventDescription = cJSON_CreateString(event.getEventDescription().c_str());</div>
443
- <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; cJSON_AddItemToObject(singleEvent, <span class="stringliteral">&quot;Description&quot;</span>, eventDescription);</div>
444
- <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; </div>
445
- <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; cJSON_AddItemToArray(eventList, singleEvent);</div>
446
- <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; }</div>
447
- <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; }</div>
448
- <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; cJSON_AddItemToObject(singleBug, <span class="stringliteral">&quot;Events&quot;</span>, eventList);</div>
449
- <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; </div>
450
- <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; <span class="keywordtype">char</span> *singleBugStr = cJSON_Print(singleBug);</div>
451
- <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; jsonFile &lt;&lt; singleBugStr;</div>
452
- <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; <span class="keywordflow">if</span> (commaCounter != 0)</div>
453
- <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; {</div>
454
- <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;,\n&quot;</span>;</div>
455
- <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; }</div>
456
- <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; commaCounter --;</div>
457
- <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; </div>
458
- <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; <a class="code" href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON_Delete</a>(singleBug);</div>
459
- <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; }</div>
460
- <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; </div>
461
- <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
462
- <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; jsonFile.close();</div>
463
- <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160;}</div>
422
+ <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *bugFunction = cJSON_CreateString(</div>
423
+ <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; bugPtr-&gt;getFuncName().c_str());</div>
424
+ <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; cJSON_AddItemToObject(singleDefect, <span class="stringliteral">&quot;Function&quot;</span>, bugFunction);</div>
425
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; </div>
426
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; cJSON_AddItemToObject(singleDefect, <span class="stringliteral">&quot;Description&quot;</span>,</div>
427
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; bugPtr-&gt;getBugDescription());</div>
428
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; </div>
429
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *eventList = cJSON_CreateArray();</div>
430
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;bugEventStack = bugPtr-&gt;getEventStack();</div>
431
+ <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1BufferOverflowBug.html#a236e3cf3e81ec4248547b3011323e45f">BufferOverflowBug::classof</a>(bugPtr))</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">// Add only when bug is context sensitive</span></div>
434
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBugEvent.html">SVFBugEvent</a> &amp;event : bugEventStack)</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; <span class="keywordflow">if</span> (event.getEventType() == <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVFBugEvent::SourceInst</a>)</div>
437
+ <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; {</div>
438
+ <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <span class="keywordflow">continue</span>;</div>
439
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; }</div>
440
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; </div>
441
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *singleEvent = cJSON_CreateObject();</div>
442
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; <span class="comment">// Event type</span></div>
443
+ <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *eventType = cJSON_CreateString(</div>
444
+ <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; eventType2Str[event.getEventType()].c_str());</div>
445
+ <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; cJSON_AddItemToObject(singleEvent, <span class="stringliteral">&quot;EventType&quot;</span>, eventType);</div>
446
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="comment">// Function name</span></div>
447
+ <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *eventFunc = cJSON_CreateString(</div>
448
+ <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; event.getFuncName().c_str());</div>
449
+ <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; cJSON_AddItemToObject(singleEvent, <span class="stringliteral">&quot;Function&quot;</span>, eventFunc);</div>
450
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <span class="comment">// Event loc</span></div>
451
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *eventLoc = cJSON_Parse(event.getEventLoc().c_str());</div>
452
+ <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; <span class="keywordflow">if</span> (eventLoc == <span class="keyword">nullptr</span>)</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; eventLoc = cJSON_CreateObject();</div>
455
+ <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; }</div>
456
+ <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; cJSON_AddItemToObject(singleEvent, <span class="stringliteral">&quot;Location&quot;</span>, eventLoc);</div>
457
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; <span class="comment">// Event description</span></div>
458
+ <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *eventDescription = cJSON_CreateString(</div>
459
+ <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; event.getEventDescription().c_str());</div>
460
+ <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; cJSON_AddItemToObject(singleEvent, <span class="stringliteral">&quot;Description&quot;</span>, eventDescription);</div>
461
+ <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; </div>
462
+ <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; cJSON_AddItemToArray(eventList, singleEvent);</div>
463
+ <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; }</div>
464
+ <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; }</div>
465
+ <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; cJSON_AddItemToObject(singleDefect, <span class="stringliteral">&quot;Events&quot;</span>, eventList);</div>
466
+ <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; </div>
467
+ <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <span class="keywordtype">char</span> *singleDefectStr = cJSON_Print(singleDefect);</div>
468
+ <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; jsonFile &lt;&lt; singleDefectStr;</div>
469
+ <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordflow">if</span> (commaCounter != 0)</div>
470
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; {</div>
471
+ <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;,\n&quot;</span>;</div>
472
+ <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; }</div>
473
+ <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; commaCounter--;</div>
474
+ <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; </div>
475
+ <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; <a class="code" href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON_Delete</a>(singleDefect);</div>
476
+ <div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; }</div>
477
+ <div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;\n],\n&quot;</span>;</div>
478
+ <div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; </div>
479
+ <div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;\&quot;Time\&quot;: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">time</a> &lt;&lt; <span class="stringliteral">&quot;,\n&quot;</span>;</div>
480
+ <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;\&quot;Memory\&quot;: \&quot;&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">mem</a> &lt;&lt; <span class="stringliteral">&quot;\&quot;,\n&quot;</span>;</div>
481
+ <div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;\&quot;Coverage\&quot;: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">coverage</a> &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
482
+ <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; </div>
483
+ <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; jsonFile &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div>
484
+ <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; jsonFile.close();</div>
485
+ <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160;}</div>
464
486
  </div><!-- fragment -->
465
487
  </div>
466
488
  </div>
@@ -487,10 +509,59 @@ Protected Attributes</h2></td></tr>
487
509
  </table>
488
510
  </div><div class="memdoc">
489
511
 
490
- <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00409">409</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
491
- <div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; {</div>
492
- <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>;</div>
493
- <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; }</div>
512
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00419">419</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
513
+ <div class="fragment"><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; {</div>
514
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>;</div>
515
+ <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; }</div>
516
+ </div><!-- fragment -->
517
+ </div>
518
+ </div>
519
+ <a id="a817f61a73d84f9054a2f80375f51f747"></a>
520
+ <h2 class="memtitle"><span class="permalink"><a href="#a817f61a73d84f9054a2f80375f51f747">&#9670;&nbsp;</a></span>setStat()</h2>
521
+
522
+ <div class="memitem">
523
+ <div class="memproto">
524
+ <table class="mlabels">
525
+ <tr>
526
+ <td class="mlabels-left">
527
+ <table class="memname">
528
+ <tr>
529
+ <td class="memname">void SVF::SVFBugReport::setStat </td>
530
+ <td>(</td>
531
+ <td class="paramtype">double&#160;</td>
532
+ <td class="paramname"><em>time</em>, </td>
533
+ </tr>
534
+ <tr>
535
+ <td class="paramkey"></td>
536
+ <td></td>
537
+ <td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
538
+ <td class="paramname"><em>mem</em>, </td>
539
+ </tr>
540
+ <tr>
541
+ <td class="paramkey"></td>
542
+ <td></td>
543
+ <td class="paramtype">double&#160;</td>
544
+ <td class="paramname"><em>coverage</em>&#160;</td>
545
+ </tr>
546
+ <tr>
547
+ <td></td>
548
+ <td>)</td>
549
+ <td></td><td></td>
550
+ </tr>
551
+ </table>
552
+ </td>
553
+ <td class="mlabels-right">
554
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
555
+ </tr>
556
+ </table>
557
+ </div><div class="memdoc">
558
+
559
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00303">303</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
560
+ <div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; {</div>
561
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; this-&gt;<a class="code" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">time</a> = <a class="code" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">time</a>;</div>
562
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; this-&gt;<a class="code" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">mem</a> = <a class="code" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">mem</a>;</div>
563
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; this-&gt;<a class="code" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">coverage</a> = <a class="code" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">coverage</a>;</div>
564
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; }</div>
494
565
  </div><!-- fragment -->
495
566
  </div>
496
567
  </div>
@@ -517,6 +588,78 @@ Protected Attributes</h2></td></tr>
517
588
 
518
589
  <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00296">296</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
519
590
 
591
+ </div>
592
+ </div>
593
+ <a id="abdb02bf4b61c6cbccd4b9c3c01590ddc"></a>
594
+ <h2 class="memtitle"><span class="permalink"><a href="#abdb02bf4b61c6cbccd4b9c3c01590ddc">&#9670;&nbsp;</a></span>coverage</h2>
595
+
596
+ <div class="memitem">
597
+ <div class="memproto">
598
+ <table class="mlabels">
599
+ <tr>
600
+ <td class="mlabels-left">
601
+ <table class="memname">
602
+ <tr>
603
+ <td class="memname">double SVF::SVFBugReport::coverage</td>
604
+ </tr>
605
+ </table>
606
+ </td>
607
+ <td class="mlabels-right">
608
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
609
+ </tr>
610
+ </table>
611
+ </div><div class="memdoc">
612
+
613
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00299">299</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
614
+
615
+ </div>
616
+ </div>
617
+ <a id="aed1046e4c7559ebdaf57775726645085"></a>
618
+ <h2 class="memtitle"><span class="permalink"><a href="#aed1046e4c7559ebdaf57775726645085">&#9670;&nbsp;</a></span>mem</h2>
619
+
620
+ <div class="memitem">
621
+ <div class="memproto">
622
+ <table class="mlabels">
623
+ <tr>
624
+ <td class="mlabels-left">
625
+ <table class="memname">
626
+ <tr>
627
+ <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::SVFBugReport::mem</td>
628
+ </tr>
629
+ </table>
630
+ </td>
631
+ <td class="mlabels-right">
632
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
633
+ </tr>
634
+ </table>
635
+ </div><div class="memdoc">
636
+
637
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00298">298</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
638
+
639
+ </div>
640
+ </div>
641
+ <a id="a529dfbc5ea68061897e84af9cf248bcf"></a>
642
+ <h2 class="memtitle"><span class="permalink"><a href="#a529dfbc5ea68061897e84af9cf248bcf">&#9670;&nbsp;</a></span>time</h2>
643
+
644
+ <div class="memitem">
645
+ <div class="memproto">
646
+ <table class="mlabels">
647
+ <tr>
648
+ <td class="mlabels-left">
649
+ <table class="memname">
650
+ <tr>
651
+ <td class="memname">double SVF::SVFBugReport::time</td>
652
+ </tr>
653
+ </table>
654
+ </td>
655
+ <td class="mlabels-right">
656
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
657
+ </tr>
658
+ </table>
659
+ </div><div class="memdoc">
660
+
661
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00297">297</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
662
+
520
663
  </div>
521
664
  </div>
522
665
  <hr/>The documentation for this class was generated from the following files:<ul>
@@ -529,6 +672,7 @@ Protected Attributes</h2></td></tr>
529
672
  <div class="ttc" id="acJSON_8cpp_html_afde5c619f31577b3d821b56b23953c85"><div class="ttname"><a href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON_Delete</a></div><div class="ttdeci">cJSON_Delete(null)</div></div>
530
673
  <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>
531
674
  <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>
675
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_abdb02bf4b61c6cbccd4b9c3c01590ddc"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">SVF::SVFBugReport::coverage</a></div><div class="ttdeci">double coverage</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00299">SVFBugReport.h:299</a></div></div>
532
676
  <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>
533
677
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7">SVF::SVFBugEvent::Loop</a></div><div class="ttdeci">@ Loop</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00059">SVFBugReport.h:59</a></div></div>
534
678
  <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>
@@ -541,7 +685,9 @@ Protected Attributes</h2></td></tr>
541
685
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">SVF::GenericBug::DOUBLEFREE</a></div><div class="ttdeci">@ DOUBLEFREE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
542
686
  <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>
543
687
  <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>
688
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aed1046e4c7559ebdaf57775726645085"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">SVF::SVFBugReport::mem</a></div><div class="ttdeci">std::string mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00298">SVFBugReport.h:298</a></div></div>
544
689
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVF::SVFBugEvent::Branch</a></div><div class="ttdeci">@ Branch</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00056">SVFBugReport.h:56</a></div></div>
690
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a529dfbc5ea68061897e84af9cf248bcf"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">SVF::SVFBugReport::time</a></div><div class="ttdeci">double time</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00297">SVFBugReport.h:297</a></div></div>
545
691
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html">SVF::SVFBugEvent</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00051">SVFBugReport.h:51</a></div></div>
546
692
  <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>
547
693
  <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>