bug-patch
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug Report] Inquiring about GNU Patch program bug report


From: Bruno Haible
Subject: Re: [Bug Report] Inquiring about GNU Patch program bug report
Date: Mon, 11 Nov 2024 16:07:26 +0100

소프트웨어학과/이재혁 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...






reply via email to

[Prev in Thread] Current Thread [Next in Thread]