Am Mo., 11. Nov. 2024 um 16:07 Uhr schrieb Bruno Haible via Bug reports, suggestions, general discussion for GNU patch. <[email protected]>: > 소프트웨어학과/이재혁 wrote: > > 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! > > Welcome to the era of AI-generated "bug reports" :-( > What a bleak future...
This one's at least simple enough to immediately see out that it belongs in the circular file. Andreas
