[Axiom-developer] [Mayhem] Bug report on axiom: sman crashes with exit status 139

[Camm Maguire]

forwarded 716335 address@hidden
thanks

Package: axiom
Version: 20120501-2
Severity: normal
User: address@hidden
Usertags: mayhem

sman 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/949787e234f007a5cae344a73ca6765197371bbe/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 axiom depends on:
ii  axiom-databases  20120501-2
ii  libc6            2.17-6
ii  libgmp10         2:5.1.2+dfsg-1
ii  libreadline6     6.2+dfsg-0.1
ii  libx11-6         2:1.6.0-1
ii  libxpm4          1:3.5.10-1

Versions of packages axiom recommends:
ii  axiom-doc       20120501-2
ii  axiom-graphics  20120501-2
ii  axiom-hypertex  20120501-2
ii  axiom-source    20120501-2

Versions of packages axiom suggests:
pn  axiom-test  <none>
pn  axiom-tex   <none>
pn  nowebm      <none>
pn  texmacs     <none>

-- no debconf information

[sman-report.tar.bz2 (application/octet-stream, attachment)]

---------------------------------------------------------------------------------------------------------------------------------------------------

Send a report that this bug log contains spam.

---------------------------------------------------------------------------------------------------------------------------------------------------

Debian bug tracking system administrator <address@hidden>. Last modified: Wed 
Jul 16 21:27:46 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.


-- 
Camm Maguire                                        address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah