[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug Report] Inquiring about GNU gawk-5.1.0 program bug report
|
From: |
Collin Funk |
|
Subject: |
Re: [Bug Report] Inquiring about GNU gawk-5.1.0 program bug report |
|
Date: |
Mon, 11 Nov 2024 10:28:16 -0800 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
"소프트웨어학과/이재혁" <jaehyeok.lee@g.skku.edu> writes:
> 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.
CC'ing Bruno. Another AI-generated bug report looking for \x01 [1]?
Interesting...
Collin
[1] https://lists.gnu.org/archive/html/bug-patch/2024-11/msg00008.html