a56-keybld 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/e0d1d69e1d0bef5ffc8033e367253318aa5c5e04/full_report

I have reproduced this bug on Crunchbang (based on Wheezy) with the
following error message:

./crash.sh: line 19: 28130 Segmentation fault      env -i MALLOC_CHECK_=0
$GDB /usr/bin/a56-keybld "`cat $DIR/argv_1.symb`" "`cat $DIR/argv_2.symb`"
"`cat $DIR/argv_3.symb`" < "$DIR/file___dev__stdin.symb"


I have also merged the two bug reports filed.

Thanks!