[Bug Report] Inquiring about GNU gawk-5.1.0 program bug report

[소프트웨어학과/이재혁]

Dear whom it may concern,

Hello, this is Jaehyeok Lee, and I'm the master program student in
Sungkyunkwan University from South Korea.

While doing my paperwork, I just found the bug command in the program
"gawk" where the version of the program is 5.1.0. That's why I would like
to send this mail to confirm if this bug is already reported correctly. The
bug command is as follows:

"./gawk" "-F\x01" "--nos" "" '

We found this command through symbolic execution testing by utilizing the
widely-used tool KLEE. Since \x01 stands for the ASCII character of 1 with
hexademic form inside the command, it's really challenging to execute a
gawk program with the above command as it is.

Actually, we confirmed that there is a crash signal by executing the
generated test case where arguments are mentioned with the klee-replay
program.

Thank you!
Best regards,
ᐧ