SIGABRT in bison at src/lssi.c:244

[Irfan Ariq]

Hello,

We are currently working on fuzz testing feature, and we found a
*SIGABRT* error
on `bison`.

The stack traces are as follow:

> Program received signal SIGABRT, Aborted.
> __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:51
> 51 ../sysdeps/unix/sysv/linux/raise.c: No such file or directory.
> #0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:51
> #1  0x00007ffff6a67921 in __GI_abort () at abort.c:79
> #2  0x00005555555d0096 in shortest_path_from_start (target=20, next_sym=7)
> at src/lssi.c:244
> #3  0x00005555555a49bd in counterexample_report (itm1=20, itm2=24,
> next_sym=7, shift_reduce=true, out=0x616000000980, prefix=0x5555556ec180 "
>    ") at src/counterexample.c:1255
> #4  0x00005555555a5214 in counterexample_report_shift_reduce (itm1=20,
> itm2=24, next_sym=7, out=0x616000000980, prefix=0x5555556ec180 "    ") at
> src/counterexample.c:1306
> #5  0x00005555555a64a6 in counterexample_report_state (s=0x607000000f00,
> out=0x616000000980, prefix=0x5555556ec180 "    ") at
> src/counterexample.c:1380
> #6  0x00005555556202e1 in print_state (out=0x616000000980,
> s=0x607000000f00) at src/print.c:366
> #7  0x000055555562117b in print_results () at src/print.c:473
> #8  0x00005555555d1ee5 in main (argc=10, argv=0x7fffffffdda8) at
> src/main.c:188

The full stack trace is attached.


   - *Step to reproduce*


We configured `bison` using `*CFLAGS="-g -O0 -fsanitize=address"
./configure --prefix=$(pwd)/ --disable-shared*` and build it using `*make
-j 10*`, and run it with:

./bison -S -f -x --verbose <attached file> --report=all -o none
> --defines=none


The input file is attached.


   - *Environment*

- OS: Ubuntu 18.04.5 LTS
- GCC version: gcc 7.5.0
- Bison version: latest commit (7c90a28) of master branch in github ([link](
https://github.com/akimd/bison/tree/7c90a28f17e97b3ec8213ff6e0b0a5d2382f8929
))

Thank you.

full_stacktrace_poc_3.zip
Description: Zip compressed data

input_bison_poc_3.zip
Description: Zip compressed data