Package: ladr4-apps Version: 0.0.200911a-2 Severity: normal User: mayhem@forallsecure.com Usertags: mayhem perm3 crashes with exit status 139. We confirmed the crash by re-running it in a fresh debian unstable installation. The attachment [1] contains a testcase (under ./crash) crashing the program. It ensures that you can easily reproduce the bug. Additionally, under ./crash_info/, we include more information about the crash such as a core dump, the dmesg generated by the crash, and its output. Regards, The Mayhem Team (Alexandre Rebert, Thanassis Avgerinos, Sang Kil Cha, David Brumley, Manuel Egele) Cylab, Carnegie Mellon University [1] http://www.forallsecure.com/bug-reports/909117c5ab853dec1c3c00bf1966cd07eb27772d/full_report -- System Information: Debian Release: jessie/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: i386 (i686) Kernel: Linux 3.9-1-686-pae (SMP w/1 CPU core) Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) Shell: /bin/sh linked to /bin/dash Versions of packages ladr4-apps depends on: ii libc6 2.17-6 ii libladr4 0.0.200911a-2 ii python 2.7.5-2 Versions of packages ladr4-apps recommends: ii prover9-doc 0.0.200902a-2 ladr4-apps suggests no packages. -- no debconf information
Attachment:
perm3-report.tar.bz2
Description: Binary data