Bug#716384: [Mayhem] Bug report on libcdd-test: testlp1_gmp crashes with exit status 139

Alexandre Rebert alexandre at cmu.edu
Wed Jul 10 19:59:53 UTC 2013


Package: libcdd-test
Version: 094b.dfsg-4.2
Severity: normal
User: mayhem at forallsecure.com
Usertags: mayhem

testlp1_gmp 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/63cc838e1cc8c9b9b69ab57f6c2702e58c44d9d6/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 libcdd-test depends on:
ii  libc6       2.17-6
ii  libcdd0     094b.dfsg-4.2
ii  libgcc1     1:4.8.1-4
ii  libgmp10    2:5.1.2+dfsg-1
ii  libstdc++6  4.8.1-4

libcdd-test recommends no packages.

libcdd-test suggests no packages.

-- no debconf information
-------------- next part --------------
A non-text attachment was scrubbed...
Name: testlp1_gmp-report.tar.bz2
Type: application/octet-stream
Size: 74693 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20130710/3e7cae2e/attachment-0001.obj>


More information about the debian-science-maintainers mailing list