API tools faq
paste
Advertisement
programjm

foo, w/ null check, null input enabled

programjm
Jul 8th, 2020
1,710
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Lisp 20.40 KB | None | 0 0
raw download clone embed print report
  1. (call (entry__foo))
  2. (lisp-message "p before test: 0")
  3. (lisp-message "p2 before test: 0")
  4. (pc-changed 0x400576:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:16 {
  5. (call (foo 0 0))
  6. (pc-changed 0x400577:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:16 {
  7. (pc-changed 0x40057A:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:16 {
  8. (pc-changed 0x40057E:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:16 {
  9. (pc-changed 0x400582:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:16 {
  10. (pc-changed 0x400586:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  11. (pc-changed 0x40058A:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  12. (assert-failure (null-pointer-dereference (_ #x0000000000000000)))
  13. (exception "Page fault at 7")
  14. (assert-failure (null-pointer-dereference (_ #x0000000000000000)))
  15. (exception "Page fault at 6")
  16. (assert-failure (null-pointer-dereference (_ #x0000000000000000)))
  17. (exception "Page fault at 5")
  18. (assert-failure (null-pointer-dereference (_ #x0000000000000000)))
  19. (exception "Page fault at 4")
  20. (assert-failure (null-pointer-dereference (_ #x0000000000000000)))
  21. (exception "Page fault at 3")
  22. (assert-failure (null-pointer-dereference (_ #x0000000000000000)))
  23. (exception "Page fault at 2")
  24. (assert-failure (null-pointer-dereference (_ #x0000000000000000)))
  25. (exception "Page fault at 1")
  26. (assert-failure (null-pointer-dereference (_ #x0000000000000000)))
  27. (exception "Page fault at 0")
  28. (pc-changed 0x40058D:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  29. (pc-changed 0x400592:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  30. (pc-changed 0x400597:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  31. (pc-changed 0x40059A:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  32. (call (strncmp 0x868B569DAC2B7B3 0x4006C4 5))
  33. (call (strlen 0x868B569DAC2B7B3))
  34. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  35.                  (mem[0] #x00) (mem[1] #x02) (mem[2] #x00) (mem[3] #x00)
  36.                  (mem[4] #x00) (mem[5] #x00) (mem[6] #x00) (mem[7] #x00)))
  37. (exception "Page fault at 0x868B569DAC2B7B3")
  38. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  39.                  (mem[0] #x05) (mem[1] #x0c) (mem[2] #x00) (mem[3] #x00)
  40.                  (mem[4] #x00) (mem[5] #x00) (mem[6] #x00) (mem[7] #x00)
  41.                  (mem[0x868B569DAC2B7B3] #x01)))
  42. (call-return (strlen 0x868B569DAC2B7B3 1))
  43. (call (strlen 0x4006C4))
  44. (call-return (strlen 0x4006C4 5))
  45. (call (memcmp 0x868B569DAC2B7B3 0x4006C4 2))
  46. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  47.                  (mem[0] #x00) (mem[1] #x04) (mem[2] #x00) (mem[3] #x00)
  48.                  (mem[4] #x00) (mem[5] #x00) (mem[6] #x00) (mem[7] #x00)
  49.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  50. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  51.                  (mem[0] #x00) (mem[1] #x04) (mem[2] #x00) (mem[3] #x00)
  52.                  (mem[4] #x00) (mem[5] #x00) (mem[6] #x00) (mem[7] #x00)
  53.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  54. (call-return (memcmp 0x868B569DAC2B7B3 0x4006C4 2 1))
  55. (call-return (strncmp 0x868B569DAC2B7B3 0x4006C4 5 1))
  56. (pc-changed 0x40059F:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  57. (pc-changed 0x4005A1:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  58. (pc-changed 0x4005AA:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:19   int x = 3;
  59. (pc-changed 0x4005B1:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  60. (pc-changed 0x4005B5:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  61. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  62.                  (mem[0x868B569DAC2B7B3] #x01) (mem[0x868B569DAC2B7B4] #x00)))
  63. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  64.                  (mem[0x868B569DAC2B7B3] #x01) (mem[0x868B569DAC2B7B4] #x00)))
  65. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  66.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  67. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  68.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  69. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  70.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  71. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  72.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  73. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  74.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  75. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  76.                  (mem[0x868B569DAC2B7B3] #x80) (mem[0x868B569DAC2B7B4] #x00)))
  77. (pc-changed 0x4005B9:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  78. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  79.                  (mem[8] #x1c) (mem[9] #x08) (mem[0xA] #x00) (mem[0xB] #x00)
  80.                  (mem[0xC] #x00) (mem[0xD] #x00) (mem[0xE] #x00)
  81.                  (mem[0xF] #x00) (mem[0x868B569DAC2B7B3] #x01)
  82.                  (mem[0x868B569DAC2B7B4] #x00)))
  83. (exception "Page fault at 0x7C00000000000003")
  84. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  85.                  (mem[8] #x0c) (mem[9] #x0c) (mem[0xA] #x00) (mem[0xB] #x00)
  86.                  (mem[0xC] #x00) (mem[0xD] #x00) (mem[0xE] #x00)
  87.                  (mem[0xF] #x00) (mem[0x868B569DAC2B7B3] #x01)
  88.                  (mem[0x868B569DAC2B7B4] #x00)))
  89. (exception "Page fault at 0x7C00000000000002")
  90. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  91.                  (mem[8] #xff) (mem[9] #x0f) (mem[0xA] #x00) (mem[0xB] #x00)
  92.                  (mem[0xC] #x00) (mem[0xD] #x00) (mem[0xE] #x00)
  93.                  (mem[0xF] #x00) (mem[0x868B569DAC2B7B3] #x40)
  94.                  (mem[0x868B569DAC2B7B4] #x00)))
  95. (exception "Page fault at 0x7C00000000000001")
  96. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  97.                  (mem[8] #x00) (mem[9] #x04) (mem[0xA] #x00) (mem[0xB] #x00)
  98.                  (mem[0xC] #x00) (mem[0xD] #x00) (mem[0xE] #x00)
  99.                  (mem[0xF] #x00) (mem[0x868B569DAC2B7B3] #x40)
  100.                  (mem[0x868B569DAC2B7B4] #x00)))
  101. (exception "Page fault at 0x7C00000000000000")
  102. (pc-changed 0x4005BB:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  103. (pc-changed 0x4005BE:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  104. (pc-changed 0x4005C1:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  105. (pc-changed 0x4005C4:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  106. (pc-changed 0x4005C8:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  107. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  108.                  (mem[0x868B569DAC2B7B3] #x80) (mem[0x868B569DAC2B7B4] #x00)))
  109. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  110.                  (mem[0x868B569DAC2B7B3] #x80) (mem[0x868B569DAC2B7B4] #x00)))
  111. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  112.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  113. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  114.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  115. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  116.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  117. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  118.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  119. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  120.                  (mem[0x868B569DAC2B7B3] #x40) (mem[0x868B569DAC2B7B4] #x00)))
  121. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  122.                  (mem[0x868B569DAC2B7B3] #x80) (mem[0x868B569DAC2B7B4] #x00)))
  123. (pc-changed 0x4005CC:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  124. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  125.                  (mem[8] #x00) (mem[9] #x0e) (mem[0xA] #x00) (mem[0xB] #x00)
  126.                  (mem[0xC] #x00) (mem[0xD] #x00) (mem[0xE] #x00)
  127.                  (mem[0xF] #x00) (mem[0x868B569DAC2B7B3] #x01)
  128.                  (mem[0x868B569DAC2B7B4] #x00)))
  129. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  130.                  (mem[8] #xe0) (mem[9] #x0f) (mem[0xA] #x00) (mem[0xB] #x00)
  131.                  (mem[0xC] #x00) (mem[0xD] #x00) (mem[0xE] #x00)
  132.                  (mem[0xF] #x00) (mem[0x868B569DAC2B7B3] #x80)
  133.                  (mem[0x868B569DAC2B7B4] #x00)))
  134. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  135.                  (mem[8] #xfb) (mem[9] #x0f) (mem[0xA] #x00) (mem[0xB] #x00)
  136.                  (mem[0xC] #x00) (mem[0xD] #x00) (mem[0xE] #x00)
  137.                  (mem[0xF] #x00) (mem[0x868B569DAC2B7B3] #x40)
  138.                  (mem[0x868B569DAC2B7B4] #x00)))
  139. (assert-failure (null-pointer-dereference (_ #x0000000000000000)
  140.                  (mem[8] #x58) (mem[9] #x0c) (mem[0xA] #x00) (mem[0xB] #x00)
  141.                  (mem[0xC] #x00) (mem[0xD] #x00) (mem[0xE] #x00)
  142.                  (mem[0xF] #x00) (mem[0x868B569DAC2B7B3] #x40)
  143.                  (mem[0x868B569DAC2B7B4] #x00)))
  144. (pc-changed 0x4005CF:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  145. (pc-changed 0x4005D2:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  146. (pc-changed 0x4005D5:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  147. (pc-changed 0x4005D8:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:22   if (p == NULL)
  148. (pc-changed 0x4005DD:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:22   if (p == NULL)
  149. (pc-changed 0x4005DF:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:23     return 1;
  150. (pc-changed 0x4005E4:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:23     return 1;
  151. (pc-changed 0x4005FA:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:26 }
  152. (pc-changed 0x4005FB:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:26 }
  153. (call-return (foo 0 0 1))
  154. (lisp-message "p after invoke: 0")
  155. (lisp-message "p2 after invoke: 0")
  156. (call-return (entry__foo 0))
  157. (exception Halt)
  158. (exception Halt)
  159. (call (entry__foo))
  160. (lisp-message "p before test: 2")
  161. (lisp-message "p2 before test: 2")
  162. (call-return (entry__foo 0))
  163. (exception Halt)
  164. (exception Halt)
  165. (call (entry__foo))
  166. (lisp-message "p before test: 0xD002")
  167. (lisp-message "p2 before test: 0xD002")
  168. (pc-changed 0x400576:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:16 {
  169. (call (foo 0xD002 0xD002))
  170. (pc-changed 0x400577:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:16 {
  171. (pc-changed 0x40057A:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:16 {
  172. (pc-changed 0x40057E:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:16 {
  173. (pc-changed 0x400582:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:16 {
  174. (pc-changed 0x400586:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  175. (pc-changed 0x40058A:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  176. (exception "Page fault at 0xD009")
  177. (exception "Page fault at 0xD008")
  178. (exception "Page fault at 0xD007")
  179. (exception "Page fault at 0xD006")
  180. (exception "Page fault at 0xD005")
  181. (exception "Page fault at 0xD004")
  182. (exception "Page fault at 0xD003")
  183. (exception "Page fault at 0xD002")
  184. (pc-changed 0x40058D:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  185. (pc-changed 0x400592:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  186. (pc-changed 0x400597:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  187. (pc-changed 0x40059A:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  188. (call (strncmp 0x626AFF1B94A46145 0x4006C4 5))
  189. (call (strlen 0x626AFF1B94A46145))
  190. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  191.                  (mem[0xD002] #x00) (mem[0xD003] #x04) (mem[0xD004] #x00)
  192.                  (mem[0xD005] #x00) (mem[0xD006] #x00) (mem[0xD007] #x00)
  193.                  (mem[0xD008] #x00) (mem[0xD009] #x00)))
  194. (exception "Page fault at 0x626AFF1B94A46145")
  195. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  196.                  (mem[0xD002] #x1d) (mem[0xD003] #x08) (mem[0xD004] #x00)
  197.                  (mem[0xD005] #x00) (mem[0xD006] #x00) (mem[0xD007] #x00)
  198.                  (mem[0xD008] #x00) (mem[0xD009] #x00)
  199.                  (mem[0x626AFF1B94A46145] #x01)))
  200. (call-return (strlen 0x626AFF1B94A46145 1))
  201. (call (strlen 0x4006C4))
  202. (call-return (strlen 0x4006C4 5))
  203. (call (memcmp 0x626AFF1B94A46145 0x4006C4 2))
  204. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  205.                  (mem[0xD002] #x00) (mem[0xD003] #x08) (mem[0xD004] #x00)
  206.                  (mem[0xD005] #x00) (mem[0xD006] #x00) (mem[0xD007] #x00)
  207.                  (mem[0xD008] #x00) (mem[0xD009] #x00)
  208.                  (mem[0x626AFF1B94A46145] #x40)
  209.                  (mem[0x626AFF1B94A46146] #x00)))
  210. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  211.                  (mem[0xD002] #x00) (mem[0xD003] #x08) (mem[0xD004] #x00)
  212.                  (mem[0xD005] #x00) (mem[0xD006] #x00) (mem[0xD007] #x00)
  213.                  (mem[0xD008] #x00) (mem[0xD009] #x00)
  214.                  (mem[0x626AFF1B94A46145] #x40)
  215.                  (mem[0x626AFF1B94A46146] #x00)))
  216. (call-return (memcmp 0x626AFF1B94A46145 0x4006C4 2 1))
  217. (call-return (strncmp 0x626AFF1B94A46145 0x4006C4 5 1))
  218. (pc-changed 0x40059F:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  219. (pc-changed 0x4005A1:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:17   if (strncmp(o->name,"error",5) == 0)
  220. (pc-changed 0x4005AA:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:19   int x = 3;
  221. (pc-changed 0x4005B1:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  222. (pc-changed 0x4005B5:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  223. (pc-changed 0x4005B9:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  224. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  225.                  (mem[0xD00A] #x88) (mem[0xD00B] #x0b) (mem[0xD00C] #x00)
  226.                  (mem[0xD00D] #x00) (mem[0xD00E] #x00) (mem[0xD00F] #x00)
  227.                  (mem[0xD010] #x00) (mem[0xD011] #x00)
  228.                  (mem[0x626AFF1B94A46145] #x80)
  229.                  (mem[0x626AFF1B94A46146] #x00)))
  230. (exception "Page fault at 0x3E00000000000003")
  231. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  232.                  (mem[0xD00A] #x1c) (mem[0xD00B] #x0e) (mem[0xD00C] #x00)
  233.                  (mem[0xD00D] #x00) (mem[0xD00E] #x00) (mem[0xD00F] #x00)
  234.                  (mem[0xD010] #x00) (mem[0xD011] #x00)
  235.                  (mem[0x626AFF1B94A46145] #x80)
  236.                  (mem[0x626AFF1B94A46146] #x00)))
  237. (exception "Page fault at 0x3E00000000000002")
  238. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  239.                  (mem[0xD00A] #x05) (mem[0xD00B] #x0c) (mem[0xD00C] #x00)
  240.                  (mem[0xD00D] #x00) (mem[0xD00E] #x00) (mem[0xD00F] #x00)
  241.                  (mem[0xD010] #x00) (mem[0xD011] #x00)
  242.                  (mem[0x626AFF1B94A46145] #x01)
  243.                  (mem[0x626AFF1B94A46146] #x00)))
  244. (exception "Page fault at 0x3E00000000000001")
  245. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  246.                  (mem[0xD00A] #x00) (mem[0xD00B] #x04) (mem[0xD00C] #x00)
  247.                  (mem[0xD00D] #x00) (mem[0xD00E] #x00) (mem[0xD00F] #x00)
  248.                  (mem[0xD010] #x00) (mem[0xD011] #x00)
  249.                  (mem[0x626AFF1B94A46145] #x80)
  250.                  (mem[0x626AFF1B94A46146] #x00)))
  251. (exception "Page fault at 0x3E00000000000000")
  252. (pc-changed 0x4005BB:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  253. (pc-changed 0x4005BE:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  254. (pc-changed 0x4005C1:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:20   x *= o->data->x;
  255. (pc-changed 0x4005C4:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  256. (pc-changed 0x4005C8:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  257. (pc-changed 0x4005CC:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  258. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  259.                  (mem[0xD00A] #xc8) (mem[0xD00B] #x09) (mem[0xD00C] #x00)
  260.                  (mem[0xD00D] #x00) (mem[0xD00E] #x00) (mem[0xD00F] #x00)
  261.                  (mem[0xD010] #x00) (mem[0xD011] #x00)
  262.                  (mem[0x626AFF1B94A46145] #x80)
  263.                  (mem[0x626AFF1B94A46146] #x00)))
  264. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  265.                  (mem[0xD00A] #xa8) (mem[0xD00B] #x0f) (mem[0xD00C] #x00)
  266.                  (mem[0xD00D] #x00) (mem[0xD00E] #x00) (mem[0xD00F] #x00)
  267.                  (mem[0xD010] #x00) (mem[0xD011] #x00)
  268.                  (mem[0x626AFF1B94A46145] #x80)
  269.                  (mem[0x626AFF1B94A46146] #x00)))
  270. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  271.                  (mem[0xD00A] #x0a) (mem[0xD00B] #x08) (mem[0xD00C] #x00)
  272.                  (mem[0xD00D] #x00) (mem[0xD00E] #x00) (mem[0xD00F] #x00)
  273.                  (mem[0xD010] #x00) (mem[0xD011] #x00)
  274.                  (mem[0x626AFF1B94A46145] #x01)
  275.                  (mem[0x626AFF1B94A46146] #x00)))
  276. (assert-failure (null-pointer-dereference (_ #x000000000000d002)
  277.                  (mem[0xD00A] #xfc) (mem[0xD00B] #x0f) (mem[0xD00C] #x00)
  278.                  (mem[0xD00D] #x00) (mem[0xD00E] #x00) (mem[0xD00F] #x00)
  279.                  (mem[0xD010] #x00) (mem[0xD011] #x00)
  280.                  (mem[0x626AFF1B94A46145] #x01)
  281.                  (mem[0x626AFF1B94A46146] #x00)))
  282. (pc-changed 0x4005CF:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  283. (pc-changed 0x4005D2:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  284. (pc-changed 0x4005D5:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:21   x *= o->data->y;
  285. (pc-changed 0x4005D8:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:22   if (p == NULL)
  286. (pc-changed 0x4005DD:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:22   if (p == NULL)
  287. (pc-changed 0x4005E6:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:24   (*p)++;
  288. (pc-changed 0x4005EA:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:24   (*p)++;
  289. (pc-changed 0x4005EC:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:24   (*p)++;
  290. (pc-changed 0x4005EF:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:24   (*p)++;
  291. (pc-changed 0x4005F3:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:24   (*p)++;
  292. (pc-changed 0x4005F5:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:25   return 0;
  293. (pc-changed 0x4005FA:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:26 }
  294. (pc-changed 0x4005FB:64u) /home/Jon/FuzzingBugGenerator/tests/bap_tests/3/foo.c:26 }
  295. (call-return (foo 0xD002 0xD002 0))
  296. (lisp-message "p after invoke: 0xD002")
  297. (lisp-message "p2 after invoke: 0xD002")
  298. (call-return (entry__foo 0))
  299. (exception Halt)
  300. (exception Halt)
  301. (exception  "Primus Lisp runtime error - File \"/home/Jon/.opam/4.07.1/share/primus/site-lisp/types.lisp\", line 33, characters 0-102\
  302.           \nunknown symbolic memory mem")
  303. (exception  "Primus Lisp runtime error - File \"/home/Jon/.opam/4.07.1/share/primus/site-lisp/types.lisp\", line 33, characters 0-102\
  304.           \nunknown symbolic memory mem")
  305. (call (entry__foo))
  306. (lisp-message "p before test: 0x8000000000005002")
  307. (lisp-message "p2 before test: 0x8000000000005002")
  308. (call-return (entry__foo 0))
  309. (exception Halt)
  310. (exception Halt)
  311. (exception Halt)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!