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_1PartialNullPtrDereferenceBug.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::PartialNullPtrDereferenceBug 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_1PartialNullPtrDereferenceBug.html">PartialNullPtrDereferenceBug</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_1PartialNullPtrDereferenceBug-members.html">List of all members</a> </div>
72
+ <div class="headertitle">
73
+ <div class="title">SVF::PartialNullPtrDereferenceBug 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::PartialNullPtrDereferenceBug:</div>
80
+ <div class="dyncontent">
81
+ <div class="center">
82
+ <img src="classSVF_1_1PartialNullPtrDereferenceBug.png" usemap="#SVF::PartialNullPtrDereferenceBug_map" alt=""/>
83
+ <map id="SVF::PartialNullPtrDereferenceBug_map" name="SVF::PartialNullPtrDereferenceBug_map">
84
+ <area href="classSVF_1_1GenericBug.html" alt="SVF::GenericBug" shape="rect" coords="0,0,211,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:ad3f9af5c317048ada0a8d6a25402a9db"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PartialNullPtrDereferenceBug.html#ad3f9af5c317048ada0a8d6a25402a9db">PartialNullPtrDereferenceBug</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:ad3f9af5c317048ada0a8d6a25402a9db"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
+ <tr class="memitem:a910f2e839e1e722655fbb2266c15f136"><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_1PartialNullPtrDereferenceBug.html#a910f2e839e1e722655fbb2266c15f136">getBugDescription</a> () const</td></tr>
93
+ <tr class="separator:a910f2e839e1e722655fbb2266c15f136"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
+ <tr class="memitem:acc860880d548ea2cf5b63f0f7ad11456"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PartialNullPtrDereferenceBug.html#acc860880d548ea2cf5b63f0f7ad11456">printBugToTerminal</a> () const</td></tr>
95
+ <tr class="separator:acc860880d548ea2cf5b63f0f7ad11456"><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:a3813a8bb6b6ba48bb7f76634045c364a"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PartialNullPtrDereferenceBug.html#a3813a8bb6b6ba48bb7f76634045c364a">classof</a> (const <a class="el" href="classSVF_1_1GenericBug.html">GenericBug</a> *bug)</td></tr>
117
+ <tr class="memdesc:a3813a8bb6b6ba48bb7f76634045c364a"><td class="mdescLeft">&#160;</td><td class="mdescRight">ClassOf. <a href="classSVF_1_1PartialNullPtrDereferenceBug.html#a3813a8bb6b6ba48bb7f76634045c364a">More...</a><br /></td></tr>
118
+ <tr class="separator:a3813a8bb6b6ba48bb7f76634045c364a"><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#l00272">272</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="ad3f9af5c317048ada0a8d6a25402a9db"></a>
154
+ <h2 class="memtitle"><span class="permalink"><a href="#ad3f9af5c317048ada0a8d6a25402a9db">&#9670;&nbsp;</a></span>PartialNullPtrDereferenceBug()</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::PartialNullPtrDereferenceBug::PartialNullPtrDereferenceBug </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#l00275">275</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
178
+ <div class="fragment"><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; :</div>
179
+ <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <a class="code" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">GenericBug::PARTIALNULLPTRDEREFERENCE</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="a3813a8bb6b6ba48bb7f76634045c364a"></a>
185
+ <h2 class="memtitle"><span class="permalink"><a href="#a3813a8bb6b6ba48bb7f76634045c364a">&#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::PartialNullPtrDereferenceBug::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#l00282">282</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
211
+ <div class="fragment"><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; {</div>
212
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">return</span> bug-&gt;getBugType() == <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">GenericBug::PARTIALNULLPTRDEREFERENCE</a>;</div>
213
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; }</div>
214
+ </div><!-- fragment -->
215
+ </div>
216
+ </div>
217
+ <a id="a910f2e839e1e722655fbb2266c15f136"></a>
218
+ <h2 class="memtitle"><span class="permalink"><a href="#a910f2e839e1e722655fbb2266c15f136">&#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> * PartialNullPtrDereferenceBug::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#l00265">265</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
243
+ <div class="fragment"><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160;{</div>
244
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *bugDescription = cJSON_CreateObject();</div>
245
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; <span class="keywordflow">return</span> bugDescription;</div>
246
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160;}</div>
247
+ </div><!-- fragment -->
248
+ </div>
249
+ </div>
250
+ <a id="acc860880d548ea2cf5b63f0f7ad11456"></a>
251
+ <h2 class="memtitle"><span class="permalink"><a href="#acc860880d548ea2cf5b63f0f7ad11456">&#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 PartialNullPtrDereferenceBug::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#l00271">271</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
276
+ <div class="fragment"><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160;{</div>
277
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</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 PartialNullPtrDereference :&quot;</span>) &lt;&lt; <span class="stringliteral">&quot; dereference at : (&quot;</span></div>
278
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</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="l00275"></a><span class="lineno"> 275</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_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>
293
+ <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>
294
+ <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>
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_1SVFBugEvent.html CHANGED
@@ -236,48 +236,48 @@ Protected Attributes</h2></td></tr>
236
236
  </table>
237
237
  </div><div class="memdoc">
238
238
 
239
- <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00263">263</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
240
- <div class="fragment"><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160;{</div>
241
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <span class="keywordflow">switch</span>(<a class="code" href="classSVF_1_1SVFBugEvent.html#a7ded0022f3852a08a05c67aeae77162f">getEventType</a>())</div>
242
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; {</div>
243
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVFBugEvent::Branch</a>:</div>
244
- <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; {</div>
245
- <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567">typeAndInfoFlag</a> &amp; <a class="code" href="SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec">BRANCHFLAGMASK</a>)</div>
246
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; {</div>
247
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;True&quot;</span>;</div>
248
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; }</div>
249
- <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <span class="keywordflow">else</span></div>
250
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; {</div>
251
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;False&quot;</span>;</div>
252
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; }</div>
253
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <span class="keywordflow">break</span>;</div>
254
- <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; }</div>
255
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629">SVFBugEvent::CallSite</a>:</div>
256
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; {</div>
257
- <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> description(<span class="stringliteral">&quot;calls &quot;</span>);</div>
258
- <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *callee = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVFUtil::getCallee</a>(<a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>);</div>
259
- <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; <span class="keywordflow">if</span>(callee == <span class="keyword">nullptr</span>)</div>
260
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; {</div>
261
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; description += <span class="stringliteral">&quot;&lt;unknown&gt;&quot;</span>;</div>
262
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; }</div>
263
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; <span class="keywordflow">else</span></div>
264
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; {</div>
265
- <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; description += callee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
266
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; }</div>
267
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; <span class="keywordflow">return</span> description;</div>
268
- <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">break</span>;</div>
269
- <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; }</div>
270
- <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVFBugEvent::SourceInst</a>:</div>
271
- <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; {</div>
272
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;None&quot;</span>;</div>
273
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div>
274
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; <span class="keywordflow">default</span>:</div>
275
- <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; {</div>
276
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;No such type of event!&quot;</span>);</div>
277
- <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; abort();</div>
239
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00287">287</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
240
+ <div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160;{</div>
241
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; <span class="keywordflow">switch</span>(<a class="code" href="classSVF_1_1SVFBugEvent.html#a7ded0022f3852a08a05c67aeae77162f">getEventType</a>())</div>
242
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; {</div>
243
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVFBugEvent::Branch</a>:</div>
244
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; {</div>
245
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567">typeAndInfoFlag</a> &amp; <a class="code" href="SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec">BRANCHFLAGMASK</a>)</div>
246
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; {</div>
247
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;True&quot;</span>;</div>
248
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; }</div>
249
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">else</span></div>
250
+ <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; {</div>
251
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;False&quot;</span>;</div>
252
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; }</div>
253
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <span class="keywordflow">break</span>;</div>
278
254
  <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; }</div>
279
- <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; }</div>
280
- <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160;}</div>
255
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629">SVFBugEvent::CallSite</a>:</div>
256
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; {</div>
257
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> description(<span class="stringliteral">&quot;calls &quot;</span>);</div>
258
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *callee = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVFUtil::getCallee</a>(<a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>);</div>
259
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; <span class="keywordflow">if</span>(callee == <span class="keyword">nullptr</span>)</div>
260
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; {</div>
261
+ <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; description += <span class="stringliteral">&quot;&lt;unknown&gt;&quot;</span>;</div>
262
+ <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; }</div>
263
+ <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; <span class="keywordflow">else</span></div>
264
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; {</div>
265
+ <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; description += callee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
266
+ <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; }</div>
267
+ <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">return</span> description;</div>
268
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <span class="keywordflow">break</span>;</div>
269
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div>
270
+ <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVFBugEvent::SourceInst</a>:</div>
271
+ <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; {</div>
272
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;None&quot;</span>;</div>
273
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; }</div>
274
+ <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">default</span>:</div>
275
+ <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; {</div>
276
+ <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;No such type of event!&quot;</span>);</div>
277
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; abort();</div>
278
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div>
279
+ <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; }</div>
280
+ <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160;}</div>
281
281
  </div><!-- fragment -->
282
282
  </div>
283
283
  </div>
@@ -304,10 +304,10 @@ Protected Attributes</h2></td></tr>
304
304
  </table>
305
305
  </div><div class="memdoc">
306
306
 
307
- <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00258">258</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
308
- <div class="fragment"><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160;{</div>
309
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>();</div>
310
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160;}</div>
307
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00282">282</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
308
+ <div class="fragment"><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160;{</div>
309
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>();</div>
310
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160;}</div>
311
311
  </div><!-- fragment -->
312
312
  </div>
313
313
  </div>
@@ -364,10 +364,10 @@ Protected Attributes</h2></td></tr>
364
364
  </table>
365
365
  </div><div class="memdoc">
366
366
 
367
- <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>
368
- <div class="fragment"><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160;{</div>
369
- <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>-&gt;<a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
370
- <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160;}</div>
367
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00277">277</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
368
+ <div class="fragment"><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160;{</div>
369
+ <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>-&gt;<a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
370
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160;}</div>
371
371
  </div><!-- fragment -->
372
372
  </div>
373
373
  </div>