[Pkg-electronics-devel] Bug#716270: [Mayhem] Bug report on gtkwave: rtlbrowse crashes with exit status 139

[Alexandre Rebert]

Package: gtkwave
Version: 3.3.47-1
Severity: normal
User: mayhem at forallsecure.com
Usertags: mayhem

rtlbrowse 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/08ad9d53459dd9b94875c7ac4ad04b95894070e1/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 gtkwave depends on:
ii  gconf-service        3.2.6-1
ii  libbz2-1.0           1.0.6-4
ii  libc6                2.17-6
ii  libgconf-2-4         3.2.6-1
ii  libgdk-pixbuf2.0-0   2.28.2-1
ii  libglib2.0-0         2.36.3-2
ii  libgtk2.0-0          2.24.18-1
ii  libjudydebian1       1.0.5-1
ii  liblzma5             5.1.1alpha+20120614-2
ii  libpango-1.0-0       1.32.5-5+b1
ii  libpangocairo-1.0-0  1.32.5-5+b1
ii  tcl8.5               8.5.11-2
ii  tk8.5                8.5.11-2
ii  zlib1g               1:1.2.8.dfsg-1

gtkwave recommends no packages.

gtkwave suggests no packages.

-- no debconf information
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rtlbrowse-report.tar.bz2
Type: application/octet-stream
Size: 270119 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-electronics-devel/attachments/20130710/374f431b/attachment-0001.obj>