GNU bug report logs - #66294
Formal Bug Report in paste.c of Coreutils Version 9.0 by Klee

Previous Next

To reply to this bug, email your comments to 66294 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: JediWisdomKeeper <JediWisdomKeeper <at> protonmail.com>
To: "bug-coreutils <at> gnu.org" <bug-coreutils <at> gnu.org>
Subject: Formal Bug Report in paste.c of Coreutils Version 9.0 by Klee
Date: Sun, 01 Oct 2023 11:29:09 +0000

[Message part 1 (text/plain, inline)]

I trust this correspondence finds you in good health and high spirits. I am writing to bring to your attention a significant issue that has come to my notice within the "paste.c" module of Coreutils version 9.0.

The issue appears to impact line no. 208 and 212 of paste.c . I have undertaken a comprehensive investigation and documented my findings in a detailed report. In order to facilitate your review, I have attached a PDF document entitled "Klee_Coreutils_Bug_Report.pdf" to this email. This report encompasses a thorough analysis of the problem, inclusive of pertinent information such as error logs and test cases.

I kindly request that you consider this email as an official bug report. Should you require any additional information, clarification, or assistance in addressing this matter, please do not hesitate to reach out to me.

I appreciate your prompt attention to this issue and eagerly anticipate your response.

Yours sincerely,

JediWisdomKeeper

[Message part 2 (text/html, inline)]

[Klee_Coreutils_Bug_Report.pdf (application/pdf, attachment)]

Message #8 received at 66294 <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: JediWisdomKeeper <JediWisdomKeeper <at> protonmail.com>, 66294 <at> debbugs.gnu.org
Subject: Re: bug#66294: Formal Bug Report in paste.c of Coreutils Version 9.0
 by Klee
Date: Sun, 1 Oct 2023 18:15:20 -0700

Would you please resend your bug report as plain text? Thanks.

Message #11 received at 66294 <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: 66294 <at> debbugs.gnu.org
Subject: Fwd: bug#66294: Formal Bug Report in paste.c of Coreutils Version 9.0
 by Klee
Date: Mon, 16 Oct 2023 13:14:37 -0700

[Message part 1 (text/plain, inline)]

Forwarding this attachment to <66294 <at> debbugs.gnu.org> as it got lost in 
my spam inbox when it got sent just to me.

-------- Forwarded Message --------
Subject: Re: bug#66294: Formal Bug Report in paste.c of Coreutils 
Version 9.0 by Klee
Date: Mon, 02 Oct 2023 10:53:57 +0000
From: JediWisdomKeeper <JediWisdomKeeper <at> protonmail.com>
To: Paul Eggert <eggert <at> cs.ucla.edu>






Sent with Proton Mail secure email.

------- Original Message -------
On Monday, October 2nd, 2023 at 6:45 AM, Paul Eggert 
<eggert <at> cs.ucla.edu> wrote:


> Would you please resend your bug report as plain text? Thanks.

[Klee_Coreutils_Bug_Report.txt (text/plain, attachment)]

Message #14 received at 66294 <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: JediWisdomKeeper <JediWisdomKeeper <at> protonmail.com>
Cc: 66294 <at> debbugs.gnu.org
Subject: Re: bug#66294: Formal Bug Report in paste.c of Coreutils Version 9.0
 by Klee
Date: Mon, 16 Oct 2023 13:49:05 -0700

I looked at the text version of the bug report and don't understand it. 
Can you please rephrase the bug report so that you tell us how you 
invoked 'paste' (command line arguments and input file contents), what 
behavior you expected, and what behavior you observed? Please bear in 
mind that your readers might not know about klee. Thanks.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.