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 "Patch". 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:
"./patch" "--deb" "0" "\x01\x01" "\n"
We found this command through symbolic execution testing by utilizing the widely-used tool KLEE, and \x01 stands for the ASCII character of 1 with hexademic form inside the command.
However, it's gonna be challenging to execute a patch program with ASCII characters as it is, since we just tried to execute all commands with binary form in KLEE-replay program with test case generated from KLEE. (We just learned about this command form from the test cases generated by the KLEE.)
Thank you!