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

Package:
libcdd-test
Source:
cddlib
Submitter:
Alexandre Rebert
Date:
2023-04-26 09:00:43 UTC
Severity:
normal
#716384#5
Date:
2013-07-10 19:59:53 UTC
From:
To:
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
#716384#10
Date:
2018-07-09 12:52:08 UTC
From:
To:
For all practical purposes this is a duplicate of #716383