[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug Report] Inquiring about GNU Patch program bug report
From: |
Andreas Grünbacher |
Subject: |
Re: [Bug Report] Inquiring about GNU Patch program bug report |
Date: |
Mon, 11 Nov 2024 16:27:45 +0100 |
Am Mo., 11. Nov. 2024 um 16:07 Uhr schrieb Bruno Haible via Bug
reports, suggestions, general discussion for GNU patch.
<bug-patch@gnu.org>:
> 소프트웨어학과/이재혁 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