obprobe 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/2ee1855d0775fb7d976343e915e4a385087ccd8d/full_report

Backtrace attached.


- -- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (850, 'unstable'), (700, 'testing'), (560, 'stable'), (500, 'oldstable'), (110, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.10-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=de_DE.utf8, LC_CTYPE=de_DE.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages openbabel depends on:
ii  libc6          2.17-92
ii  libgcc1        1:4.8.1-8
ii  libgomp1       4.8.1-8
ii  libopenbabel4  2.3.2+dfsg-1
ii  libstdc++6     4.8.1-8
ii  zlib1g         1:1.2.8.dfsg-1

openbabel recommends no packages.

openbabel suggests no packages.

- -- no debconf information
iEYEARECAAYFAlIG28AACgkQm0bx+wiPa4y83wCg188MuPkI/f6/jes93hpzuPjW
aN8AoNfa5KIwnCsiFpP+lstgDffSDZJn
=xLXk
-----END PGP SIGNATURE-----