[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#716206: [Mayhem] Bug report on ladr4-apps: perm3 crashes with exit status 139

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.

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

Reply to: