#716026 [Mayhem] Bug report on axiom-hypertex: htadd crashes with exit status 139

Package:
axiom-hypertex
Source:
axiom
Description:
General purpose computer algebra system: hypertex subsystem
Submitter:
Alexandre Rebert
Date:
2014-07-16 21:33:14 UTC
Severity:
normal
#716026#5
Date:
2013-07-10 19:14:42 UTC
From:
To:
htadd 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/408c61c3852fc0804acf1a96d4f6011a9adb3426/full_report

#716026#10
Date:
2014-07-16 21:30:45 UTC
From:
To:
forwarded 716026 axiom-developer@nongnu.org
thanks

Package: axiom-hypertex
Version: 20120501-2
Severity: normal
User: mayhem@forallsecure.com
Usertags: mayhem

htadd 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/408c61c3852fc0804acf1a96d4f6011a9adb3426/full_report
--------------------------------------------------------------------------------------------------------------------------------------------------- Send a report that this bug log contains spam.
--------------------------------------------------------------------------------------------------------------------------------------------------- Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Wed Jul 16 21:29:26 2014; Machine Name: beach.debian.org Debian Bug tracking system Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.