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/classSVF_1_1FullNullPtrDereferenceBug.html ADDED
@@ -0,0 +1,302 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: SVF::FullNullPtrDereferenceBug Class Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html">FullNullPtrDereferenceBug</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="summary">
69
+ <a href="#pub-methods">Public Member Functions</a> &#124;
70
+ <a href="#pub-static-methods">Static Public Member Functions</a> &#124;
71
+ <a href="classSVF_1_1FullNullPtrDereferenceBug-members.html">List of all members</a> </div>
72
+ <div class="headertitle">
73
+ <div class="title">SVF::FullNullPtrDereferenceBug Class Reference</div> </div>
74
+ </div><!--header-->
75
+ <div class="contents">
76
+
77
+ <p><code>#include &lt;<a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>&gt;</code></p>
78
+ <div class="dynheader">
79
+ Inheritance diagram for SVF::FullNullPtrDereferenceBug:</div>
80
+ <div class="dyncontent">
81
+ <div class="center">
82
+ <img src="classSVF_1_1FullNullPtrDereferenceBug.png" usemap="#SVF::FullNullPtrDereferenceBug_map" alt=""/>
83
+ <map id="SVF::FullNullPtrDereferenceBug_map" name="SVF::FullNullPtrDereferenceBug_map">
84
+ <area href="classSVF_1_1GenericBug.html" alt="SVF::GenericBug" shape="rect" coords="0,0,196,24"/>
85
+ </map>
86
+ </div></div>
87
+ <table class="memberdecls">
88
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
89
+ Public Member Functions</h2></td></tr>
90
+ <tr class="memitem:ab0b8fccb4d800443de3399084f379d9a"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a">FullNullPtrDereferenceBug</a> (const <a class="el" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">EventStack</a> &amp;<a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>)</td></tr>
91
+ <tr class="separator:ab0b8fccb4d800443de3399084f379d9a"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
+ <tr class="memitem:a8f057178ee7182d691dbb3103d0d0d43"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structcJSON.html">cJSON</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html#a8f057178ee7182d691dbb3103d0d0d43">getBugDescription</a> () const</td></tr>
93
+ <tr class="separator:a8f057178ee7182d691dbb3103d0d0d43"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
+ <tr class="memitem:ae269f1b62e89f8fcca783865d6ce8723"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723">printBugToTerminal</a> () const</td></tr>
95
+ <tr class="separator:ae269f1b62e89f8fcca783865d6ce8723"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
+ <tr class="inherit_header pub_methods_classSVF_1_1GenericBug"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GenericBug')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td></tr>
97
+ <tr class="memitem:a3f62d1f1307b9e6771d7449d0855d7e4 inherit pub_methods_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a> (<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">BugType</a> <a class="el" href="classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51">bugType</a>, const <a class="el" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">EventStack</a> &amp;<a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>)</td></tr>
98
+ <tr class="memdesc:a3f62d1f1307b9e6771d7449d0855d7e4 inherit pub_methods_classSVF_1_1GenericBug"><td class="mdescLeft">&#160;</td><td class="mdescRight">note: should be initialized with a bugEventStack <a href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">More...</a><br /></td></tr>
99
+ <tr class="separator:a3f62d1f1307b9e6771d7449d0855d7e4 inherit pub_methods_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
+ <tr class="memitem:a7a468e626e081190e4f0e5a4bda0a579 inherit pub_methods_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">~GenericBug</a> ()=default</td></tr>
101
+ <tr class="separator:a7a468e626e081190e4f0e5a4bda0a579 inherit pub_methods_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
102
+ <tr class="memitem:a693839b33e167cd0688be2e1738198f2 inherit pub_methods_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">BugType</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a> () const</td></tr>
103
+ <tr class="memdesc:a693839b33e167cd0688be2e1738198f2 inherit pub_methods_classSVF_1_1GenericBug"><td class="mdescLeft">&#160;</td><td class="mdescRight">returns bug type <a href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">More...</a><br /></td></tr>
104
+ <tr class="separator:a693839b33e167cd0688be2e1738198f2 inherit pub_methods_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
105
+ <tr class="memitem:abbc86875488c27e53e5c36e95c472b20 inherit pub_methods_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a> () const</td></tr>
106
+ <tr class="memdesc:abbc86875488c27e53e5c36e95c472b20 inherit pub_methods_classSVF_1_1GenericBug"><td class="mdescLeft">&#160;</td><td class="mdescRight">returns bug location as json format string <a href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">More...</a><br /></td></tr>
107
+ <tr class="separator:abbc86875488c27e53e5c36e95c472b20 inherit pub_methods_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
108
+ <tr class="memitem:afad49e3f62083345138932ffadf567dd inherit pub_methods_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a> () const</td></tr>
109
+ <tr class="memdesc:afad49e3f62083345138932ffadf567dd inherit pub_methods_classSVF_1_1GenericBug"><td class="mdescLeft">&#160;</td><td class="mdescRight">return bug source function name <a href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">More...</a><br /></td></tr>
110
+ <tr class="separator:afad49e3f62083345138932ffadf567dd inherit pub_methods_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
111
+ <tr class="memitem:aa63e1b3fb32d0383a57ab5c503673d18 inherit pub_methods_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">EventStack</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a> () const</td></tr>
112
+ <tr class="separator:aa63e1b3fb32d0383a57ab5c503673d18 inherit pub_methods_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
113
+ </table><table class="memberdecls">
114
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
115
+ Static Public Member Functions</h2></td></tr>
116
+ <tr class="memitem:a07bdac10dd87c669358220ac36acbf20"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html#a07bdac10dd87c669358220ac36acbf20">classof</a> (const <a class="el" href="classSVF_1_1GenericBug.html">GenericBug</a> *bug)</td></tr>
117
+ <tr class="memdesc:a07bdac10dd87c669358220ac36acbf20"><td class="mdescLeft">&#160;</td><td class="mdescRight">ClassOf. <a href="classSVF_1_1FullNullPtrDereferenceBug.html#a07bdac10dd87c669358220ac36acbf20">More...</a><br /></td></tr>
118
+ <tr class="separator:a07bdac10dd87c669358220ac36acbf20"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
+ </table><table class="memberdecls">
120
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
121
+ Additional Inherited Members</h2></td></tr>
122
+ <tr class="inherit_header pub_types_classSVF_1_1GenericBug"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericBug')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td></tr>
123
+ <tr class="memitem:a7aeeb33097bca5f7fe6747f90f5cecac inherit pub_types_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">BugType</a> { <br />
124
+ &#160;&#160;<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a>,
125
+ <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a>,
126
+ <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a>,
127
+ <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a>,
128
+ <br />
129
+ &#160;&#160;<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">DOUBLEFREE</a>,
130
+ <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a>,
131
+ <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a>,
132
+ <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a>,
133
+ <br />
134
+ &#160;&#160;<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a>
135
+ <br />
136
+ }</td></tr>
137
+ <tr class="separator:a7aeeb33097bca5f7fe6747f90f5cecac inherit pub_types_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
138
+ <tr class="memitem:acc65b033bfd61257d5b6fdbf932dfafe inherit pub_types_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; <a class="el" href="classSVF_1_1SVFBugEvent.html">SVFBugEvent</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">EventStack</a></td></tr>
139
+ <tr class="separator:acc65b033bfd61257d5b6fdbf932dfafe inherit pub_types_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
+ <tr class="inherit_header pub_static_attribs_classSVF_1_1GenericBug"><td colspan="2" onclick="javascript:toggleInherit('pub_static_attribs_classSVF_1_1GenericBug')"><img src="closed.png" alt="-"/>&#160;Static Public Attributes inherited from <a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td></tr>
141
+ <tr class="memitem:a5cfadd60fc90ea6cb7b51aa1f292b6a3 inherit pub_static_attribs_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top">static const std::map&lt; <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3">BugType2Str</a></td></tr>
142
+ <tr class="separator:a5cfadd60fc90ea6cb7b51aa1f292b6a3 inherit pub_static_attribs_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
143
+ <tr class="inherit_header pro_attribs_classSVF_1_1GenericBug"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1GenericBug')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td></tr>
144
+ <tr class="memitem:a143c39c6a120e0ea1371bc309bf05d51 inherit pro_attribs_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">BugType</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51">bugType</a></td></tr>
145
+ <tr class="separator:a143c39c6a120e0ea1371bc309bf05d51 inherit pro_attribs_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
146
+ <tr class="memitem:ac0b91adaf9df0d57dc2e179d962ca490 inherit pro_attribs_classSVF_1_1GenericBug"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">EventStack</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a></td></tr>
147
+ <tr class="separator:ac0b91adaf9df0d57dc2e179d962ca490 inherit pro_attribs_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2">&#160;</td></tr>
148
+ </table>
149
+ <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
150
+ <div class="textblock">
151
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00256">256</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
152
+ </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
153
+ <a id="ab0b8fccb4d800443de3399084f379d9a"></a>
154
+ <h2 class="memtitle"><span class="permalink"><a href="#ab0b8fccb4d800443de3399084f379d9a">&#9670;&nbsp;</a></span>FullNullPtrDereferenceBug()</h2>
155
+
156
+ <div class="memitem">
157
+ <div class="memproto">
158
+ <table class="mlabels">
159
+ <tr>
160
+ <td class="mlabels-left">
161
+ <table class="memname">
162
+ <tr>
163
+ <td class="memname">SVF::FullNullPtrDereferenceBug::FullNullPtrDereferenceBug </td>
164
+ <td>(</td>
165
+ <td class="paramtype">const <a class="el" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">EventStack</a> &amp;&#160;</td>
166
+ <td class="paramname"><em>bugEventStack</em></td><td>)</td>
167
+ <td></td>
168
+ </tr>
169
+ </table>
170
+ </td>
171
+ <td class="mlabels-right">
172
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
173
+ </tr>
174
+ </table>
175
+ </div><div class="memdoc">
176
+
177
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00259">259</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
178
+ <div class="fragment"><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; :</div>
179
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <a class="code" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">GenericBug::FULLNULLPTRDEREFERENCE</a>, <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>) { }</div>
180
+ </div><!-- fragment -->
181
+ </div>
182
+ </div>
183
+ <h2 class="groupheader">Member Function Documentation</h2>
184
+ <a id="a07bdac10dd87c669358220ac36acbf20"></a>
185
+ <h2 class="memtitle"><span class="permalink"><a href="#a07bdac10dd87c669358220ac36acbf20">&#9670;&nbsp;</a></span>classof()</h2>
186
+
187
+ <div class="memitem">
188
+ <div class="memproto">
189
+ <table class="mlabels">
190
+ <tr>
191
+ <td class="mlabels-left">
192
+ <table class="memname">
193
+ <tr>
194
+ <td class="memname">static bool SVF::FullNullPtrDereferenceBug::classof </td>
195
+ <td>(</td>
196
+ <td class="paramtype">const <a class="el" href="classSVF_1_1GenericBug.html">GenericBug</a> *&#160;</td>
197
+ <td class="paramname"><em>bug</em></td><td>)</td>
198
+ <td></td>
199
+ </tr>
200
+ </table>
201
+ </td>
202
+ <td class="mlabels-right">
203
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
204
+ </tr>
205
+ </table>
206
+ </div><div class="memdoc">
207
+
208
+ <p>ClassOf. </p>
209
+
210
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00266">266</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
211
+ <div class="fragment"><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; {</div>
212
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; <span class="keywordflow">return</span> bug-&gt;getBugType() == <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">GenericBug::FULLNULLPTRDEREFERENCE</a>;</div>
213
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; }</div>
214
+ </div><!-- fragment -->
215
+ </div>
216
+ </div>
217
+ <a id="a8f057178ee7182d691dbb3103d0d0d43"></a>
218
+ <h2 class="memtitle"><span class="permalink"><a href="#a8f057178ee7182d691dbb3103d0d0d43">&#9670;&nbsp;</a></span>getBugDescription()</h2>
219
+
220
+ <div class="memitem">
221
+ <div class="memproto">
222
+ <table class="mlabels">
223
+ <tr>
224
+ <td class="mlabels-left">
225
+ <table class="memname">
226
+ <tr>
227
+ <td class="memname"><a class="el" href="structcJSON.html">cJSON</a> * FullNullPtrDereferenceBug::getBugDescription </td>
228
+ <td>(</td>
229
+ <td class="paramname"></td><td>)</td>
230
+ <td> const</td>
231
+ </tr>
232
+ </table>
233
+ </td>
234
+ <td class="mlabels-right">
235
+ <span class="mlabels"><span class="mlabel">virtual</span></span> </td>
236
+ </tr>
237
+ </table>
238
+ </div><div class="memdoc">
239
+
240
+ <p>Implements <a class="el" href="classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c">SVF::GenericBug</a>.</p>
241
+
242
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00253">253</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
243
+ <div class="fragment"><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160;{</div>
244
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *bugDescription = cJSON_CreateObject();</div>
245
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <span class="keywordflow">return</span> bugDescription;</div>
246
+ <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160;}</div>
247
+ </div><!-- fragment -->
248
+ </div>
249
+ </div>
250
+ <a id="ae269f1b62e89f8fcca783865d6ce8723"></a>
251
+ <h2 class="memtitle"><span class="permalink"><a href="#ae269f1b62e89f8fcca783865d6ce8723">&#9670;&nbsp;</a></span>printBugToTerminal()</h2>
252
+
253
+ <div class="memitem">
254
+ <div class="memproto">
255
+ <table class="mlabels">
256
+ <tr>
257
+ <td class="mlabels-left">
258
+ <table class="memname">
259
+ <tr>
260
+ <td class="memname">void FullNullPtrDereferenceBug::printBugToTerminal </td>
261
+ <td>(</td>
262
+ <td class="paramname"></td><td>)</td>
263
+ <td> const</td>
264
+ </tr>
265
+ </table>
266
+ </td>
267
+ <td class="mlabels-right">
268
+ <span class="mlabels"><span class="mlabel">virtual</span></span> </td>
269
+ </tr>
270
+ </table>
271
+ </div><div class="memdoc">
272
+
273
+ <p>Implements <a class="el" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">SVF::GenericBug</a>.</p>
274
+
275
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00259">259</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
276
+ <div class="fragment"><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160;{</div>
277
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535">SVFUtil::bugMsg2</a>(<span class="stringliteral">&quot;\t FullNullPtrDereference :&quot;</span>) &lt;&lt; <span class="stringliteral">&quot; dereference at : (&quot;</span></div>
278
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; &lt;&lt; <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div>
279
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160;}</div>
280
+ </div><!-- fragment -->
281
+ </div>
282
+ </div>
283
+ <hr/>The documentation for this class was generated from the following files:<ul>
284
+ <li>/home/runner/work/SVF/SVF/svf/include/Util/<a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a></li>
285
+ <li>/home/runner/work/SVF/SVF/svf/lib/Util/<a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a></li>
286
+ </ul>
287
+ </div><!-- contents -->
288
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ac25f6dfcc9118ffd80244a771bdee535"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535">SVF::SVFUtil::bugMsg2</a></div><div class="ttdeci">std::string bugMsg2(const std::string &amp;msg)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00086">SVFUtil.cpp:86</a></div></div>
289
+ <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>
290
+ <div class="ttc" id="aclassSVF_1_1GenericBug_html_a3f62d1f1307b9e6771d7449d0855d7e4"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">SVF::GenericBug::GenericBug</a></div><div class="ttdeci">GenericBug(BugType bugType, const EventStack &amp;bugEventStack)</div><div class="ttdoc">note: should be initialized with a bugEventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00095">SVFBugReport.h:95</a></div></div>
291
+ <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>
292
+ <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>
293
+ <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>
294
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream &amp; errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>
295
+ <!-- start footer part -->
296
+ <hr class="footer"/><address class="footer"><small>
297
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
298
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
299
+ </a> 1.8.17
300
+ </small></address>
301
+ </body>
302
+ </html>
package/SVF-doxygen/html/html/classSVF_1_1GenericBug-members.html CHANGED
@@ -81,15 +81,17 @@ $(function() {
81
81
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
82
82
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
83
83
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
84
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(BugType bugType, const EventStack &amp;bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c">getBugDescription</a>() const =0</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
86
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
87
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
89
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
90
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
91
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
92
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
84
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
85
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(BugType bugType, const EventStack &amp;bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c">getBugDescription</a>() const =0</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
87
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
88
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
90
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
91
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
92
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
93
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
94
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
93
95
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">printBugToTerminal</a>() const =0</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
94
96
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">~GenericBug</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
95
97
  </table></div><!-- contents -->
package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html CHANGED
@@ -83,14 +83,14 @@ Inheritance diagram for SVF::GenericBug:</div>
83
83
  <div class="center">
84
84
  <img src="classSVF_1_1GenericBug.png" usemap="#SVF::GenericBug_map" alt=""/>
85
85
  <map id="SVF::GenericBug_map" name="SVF::GenericBug_map">
86
- <area href="classSVF_1_1BufferOverflowBug.html" alt="SVF::BufferOverflowBug" shape="rect" coords="99,56,287,80"/>
87
- <area href="classSVF_1_1DoubleFreeBug.html" alt="SVF::DoubleFreeBug" shape="rect" coords="297,56,485,80"/>
88
- <area href="classSVF_1_1FileNeverCloseBug.html" alt="SVF::FileNeverCloseBug" shape="rect" coords="495,56,683,80"/>
89
- <area href="classSVF_1_1FilePartialCloseBug.html" alt="SVF::FilePartialCloseBug" shape="rect" coords="693,56,881,80"/>
90
- <area href="classSVF_1_1NeverFreeBug.html" alt="SVF::NeverFreeBug" shape="rect" coords="891,56,1079,80"/>
91
- <area href="classSVF_1_1PartialLeakBug.html" alt="SVF::PartialLeakBug" shape="rect" coords="1089,56,1277,80"/>
92
- <area href="classSVF_1_1FullBufferOverflowBug.html" alt="SVF::FullBufferOverflowBug" shape="rect" coords="0,112,188,136"/>
93
- <area href="classSVF_1_1PartialBufferOverflowBug.html" alt="SVF::PartialBufferOverflowBug" shape="rect" coords="198,112,386,136"/>
86
+ <area href="classSVF_1_1BufferOverflowBug.html" alt="SVF::BufferOverflowBug" shape="rect" coords="221,56,432,80"/>
87
+ <area href="classSVF_1_1DoubleFreeBug.html" alt="SVF::DoubleFreeBug" shape="rect" coords="221,112,432,136"/>
88
+ <area href="classSVF_1_1FileNeverCloseBug.html" alt="SVF::FileNeverCloseBug" shape="rect" coords="221,168,432,192"/>
89
+ <area href="classSVF_1_1FilePartialCloseBug.html" alt="SVF::FilePartialCloseBug" shape="rect" coords="221,224,432,248"/>
90
+ <area href="classSVF_1_1FullNullPtrDereferenceBug.html" alt="SVF::FullNullPtrDereferenceBug" shape="rect" coords="221,280,432,304"/>
91
+ <area href="classSVF_1_1NeverFreeBug.html" alt="SVF::NeverFreeBug" shape="rect" coords="221,336,432,360"/>
92
+ <area href="classSVF_1_1PartialLeakBug.html" alt="SVF::PartialLeakBug" shape="rect" coords="221,392,432,416"/>
93
+ <area href="classSVF_1_1PartialNullPtrDereferenceBug.html" alt="SVF::PartialNullPtrDereferenceBug" shape="rect" coords="221,448,432,472"/>
94
94
  </map>
95
95
  </div></div>
96
96
  <table class="memberdecls">
@@ -104,7 +104,10 @@ Public Types</h2></td></tr>
104
104
  <br />
105
105
  &#160;&#160;<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">DOUBLEFREE</a>,
106
106
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a>,
107
- <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a>
107
+ <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a>,
108
+ <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a>,
109
+ <br />
110
+ &#160;&#160;<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a>
108
111
  <br />
109
112
  }</td></tr>
110
113
  <tr class="separator:a7aeeb33097bca5f7fe6747f90f5cecac"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -186,10 +189,12 @@ Protected Attributes</h2></td></tr>
186
189
  <tr><td class="fieldname"><a id="a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4"></a>DOUBLEFREE&#160;</td><td class="fielddoc"></td></tr>
187
190
  <tr><td class="fieldname"><a id="a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc"></a>FILENEVERCLOSE&#160;</td><td class="fielddoc"></td></tr>
188
191
  <tr><td class="fieldname"><a id="a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4"></a>FILEPARTIALCLOSE&#160;</td><td class="fielddoc"></td></tr>
192
+ <tr><td class="fieldname"><a id="a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7"></a>FULLNULLPTRDEREFERENCE&#160;</td><td class="fielddoc"></td></tr>
193
+ <tr><td class="fieldname"><a id="a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64"></a>PARTIALNULLPTRDEREFERENCE&#160;</td><td class="fielddoc"></td></tr>
189
194
  </table>
190
195
 
191
196
  <p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00086">86</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
192
- <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160;{<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>
197
+ <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160;{<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>
193
198
  </div><!-- fragment -->
194
199
  </div>
195
200
  </div>
@@ -288,7 +293,7 @@ Protected Attributes</h2></td></tr>
288
293
  </table>
289
294
  </div><div class="memdoc">
290
295
 
291
- <p>Implemented in <a class="el" href="classSVF_1_1FilePartialCloseBug.html#a16b96f3c79cf5edae0f0f02e52344283">SVF::FilePartialCloseBug</a>, <a class="el" href="classSVF_1_1FileNeverCloseBug.html#a80257bc6a9cf4eecfa402def59993e6e">SVF::FileNeverCloseBug</a>, <a class="el" href="classSVF_1_1DoubleFreeBug.html#acf0d2ffb52d0b322421a5556d41a1d63">SVF::DoubleFreeBug</a>, <a class="el" href="classSVF_1_1PartialLeakBug.html#abd956a30bc4f8b1e25826149d20ea2b5">SVF::PartialLeakBug</a>, <a class="el" href="classSVF_1_1NeverFreeBug.html#a0e52a0f35ff4d536f2de27a22139e59c">SVF::NeverFreeBug</a>, and <a class="el" href="classSVF_1_1BufferOverflowBug.html#a192bb246ed947f33cf7b02493c8fded8">SVF::BufferOverflowBug</a>.</p>
296
+ <p>Implemented in <a class="el" href="classSVF_1_1PartialNullPtrDereferenceBug.html#a910f2e839e1e722655fbb2266c15f136">SVF::PartialNullPtrDereferenceBug</a>, <a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html#a8f057178ee7182d691dbb3103d0d0d43">SVF::FullNullPtrDereferenceBug</a>, <a class="el" href="classSVF_1_1FilePartialCloseBug.html#a16b96f3c79cf5edae0f0f02e52344283">SVF::FilePartialCloseBug</a>, <a class="el" href="classSVF_1_1FileNeverCloseBug.html#a80257bc6a9cf4eecfa402def59993e6e">SVF::FileNeverCloseBug</a>, <a class="el" href="classSVF_1_1DoubleFreeBug.html#acf0d2ffb52d0b322421a5556d41a1d63">SVF::DoubleFreeBug</a>, <a class="el" href="classSVF_1_1PartialLeakBug.html#abd956a30bc4f8b1e25826149d20ea2b5">SVF::PartialLeakBug</a>, <a class="el" href="classSVF_1_1NeverFreeBug.html#a0e52a0f35ff4d536f2de27a22139e59c">SVF::NeverFreeBug</a>, and <a class="el" href="classSVF_1_1BufferOverflowBug.html#a192bb246ed947f33cf7b02493c8fded8">SVF::BufferOverflowBug</a>.</p>
292
297
 
293
298
  </div>
294
299
  </div>
@@ -429,7 +434,7 @@ Protected Attributes</h2></td></tr>
429
434
  </table>
430
435
  </div><div class="memdoc">
431
436
 
432
- <p>Implemented in <a class="el" href="classSVF_1_1FilePartialCloseBug.html#a32576eee4de3b4c094c3f8a5501c7b99">SVF::FilePartialCloseBug</a>, <a class="el" href="classSVF_1_1FileNeverCloseBug.html#ae3d9bb5952fa858780ec50148e474388">SVF::FileNeverCloseBug</a>, <a class="el" href="classSVF_1_1DoubleFreeBug.html#af67320d8ebd56aec6ecddc3f44ec09b9">SVF::DoubleFreeBug</a>, <a class="el" href="classSVF_1_1PartialLeakBug.html#aa3acf06e90939896a86c449260c2e4b4">SVF::PartialLeakBug</a>, <a class="el" href="classSVF_1_1NeverFreeBug.html#ac20c926cb9a72c5913afcf6877d04791">SVF::NeverFreeBug</a>, and <a class="el" href="classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212">SVF::BufferOverflowBug</a>.</p>
437
+ <p>Implemented in <a class="el" href="classSVF_1_1PartialNullPtrDereferenceBug.html#acc860880d548ea2cf5b63f0f7ad11456">SVF::PartialNullPtrDereferenceBug</a>, <a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723">SVF::FullNullPtrDereferenceBug</a>, <a class="el" href="classSVF_1_1FilePartialCloseBug.html#a32576eee4de3b4c094c3f8a5501c7b99">SVF::FilePartialCloseBug</a>, <a class="el" href="classSVF_1_1FileNeverCloseBug.html#ae3d9bb5952fa858780ec50148e474388">SVF::FileNeverCloseBug</a>, <a class="el" href="classSVF_1_1DoubleFreeBug.html#af67320d8ebd56aec6ecddc3f44ec09b9">SVF::DoubleFreeBug</a>, <a class="el" href="classSVF_1_1PartialLeakBug.html#aa3acf06e90939896a86c449260c2e4b4">SVF::PartialLeakBug</a>, <a class="el" href="classSVF_1_1NeverFreeBug.html#ac20c926cb9a72c5913afcf6877d04791">SVF::NeverFreeBug</a>, and <a class="el" href="classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212">SVF::BufferOverflowBug</a>.</p>
433
438
 
434
439
  </div>
435
440
  </div>
@@ -525,16 +530,18 @@ Protected Attributes</h2></td></tr>
525
530
  <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>
526
531
  <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>
527
532
  <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>
528
- <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>
533
+ <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>
529
534
  <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>
530
535
  <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>
531
536
  <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>
532
537
  <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>
538
+ <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>
533
539
  <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>
534
540
  <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>
535
- <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>
541
+ <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>
536
542
  <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>
537
543
  <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>
544
+ <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>
538
545
  <!-- start footer part -->
539
546
  <hr class="footer"/><address class="footer"><small>
540
547
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html CHANGED
@@ -1213,7 +1213,7 @@ Additional Inherited Members</h2></td></tr>
1213
1213
  <div class="ttc" id="aclassSVF_1_1LeakChecker_html_a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1"><div class="ttname"><a href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1">SVF::LeakChecker::GLOBAL_LEAK</a></div><div class="ttdeci">@ GLOBAL_LEAK</div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8h_source.html#l00055">LeakChecker.h:55</a></div></div>
1214
1214
  <div class="ttc" id="aclassSVF_1_1LeakChecker_html_aaf5d098e0d08929a108fb59bff46e424"><div class="ttname"><a href="classSVF_1_1LeakChecker.html#aaf5d098e0d08929a108fb59bff46e424">SVF::LeakChecker::testsValidation</a></div><div class="ttdeci">void testsValidation(const ProgSlice *slice)</div><div class="ttdoc">Validate test cases for regression test purpose.</div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8cpp_source.html#l00179">LeakChecker.cpp:179</a></div></div>
1215
1215
  <div class="ttc" id="aclassSVF_1_1ProgSlice_html_a215c9142830814ae838d15d9b7b40af9"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9">SVF::ProgSlice::evalFinalCond2Event</a></div><div class="ttdeci">void evalFinalCond2Event(GenericBug::EventStack &amp;eventStack) const</div><div class="ttdoc">Add final condition to eventStack.</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00149">ProgSlice.cpp:149</a></div></div>
1216
- <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>
1216
+ <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>
1217
1217
  <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>
1218
1218
  <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a5f5a5ec7e707a21994d301cc07d32a5a"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a">SVF::PTACallGraph::FunctionSet</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00228">PTACallGraph.h:228</a></div></div>
1219
1219
  <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_ad445032e9b2027b3c990ce2a250257f8"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#ad445032e9b2027b3c990ce2a250257f8">SVF::SrcSnkDDA::getCallgraph</a></div><div class="ttdeci">PTACallGraph * getCallgraph() const</div><div class="ttdoc">Get Callgraph.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00132">SrcSnkDDA.h:132</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug-members.html CHANGED
@@ -82,16 +82,18 @@ $(function() {
82
82
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
83
83
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
84
84
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
85
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(BugType bugType, const EventStack &amp;bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
- <tr><td class="entry"><a class="el" href="classSVF_1_1NeverFreeBug.html#a0e52a0f35ff4d536f2de27a22139e59c">getBugDescription</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NeverFreeBug.html">SVF::NeverFreeBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
87
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
90
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
91
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
92
- <tr><td class="entry"><a class="el" href="classSVF_1_1NeverFreeBug.html#a2366068e0e1813c47003e3c072c1ad85">NeverFreeBug</a>(const EventStack &amp;bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1NeverFreeBug.html">SVF::NeverFreeBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
94
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
85
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
86
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(BugType bugType, const EventStack &amp;bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
87
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NeverFreeBug.html#a0e52a0f35ff4d536f2de27a22139e59c">getBugDescription</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NeverFreeBug.html">SVF::NeverFreeBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
88
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
90
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
91
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
92
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
93
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NeverFreeBug.html#a2366068e0e1813c47003e3c072c1ad85">NeverFreeBug</a>(const EventStack &amp;bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1NeverFreeBug.html">SVF::NeverFreeBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
95
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
96
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
95
97
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NeverFreeBug.html#ac20c926cb9a72c5913afcf6877d04791">printBugToTerminal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NeverFreeBug.html">SVF::NeverFreeBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
96
98
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">~GenericBug</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
97
99
  </table></div><!-- contents -->