Re: Report 2 UBSan bugs found by an automatic tool

2023-01-06 Thread Bernhard Voelker
Hi Sam, On 1/6/23 05:37, Sam James wrote: (Replying to https://www.mail-archive.com/bug-findutils@gnu.org/msg06369.html) Given that the CBO is responsible for so many failures both in the test suite and at runtime with UBSAN, would it be possible to go ahead and drop it? (See https://savannah.

Re: Report 2 UBSan bugs found by an automatic tool

2023-01-05 Thread Sam James
(Replying to https://www.mail-archive.com/bug-findutils@gnu.org/msg06369.html) Given that the CBO is responsible for so many failures both in the test suite and at runtime with UBSAN, would it be possible to go ahead and drop it? (See https://savannah.gnu.org/bugs/?63605). Best, sam signature.

Re: Report 2 UBSan bugs found by an automatic tool

2021-07-30 Thread Bernhard Voelker
On 7/29/21 10:40 AM, He Jingxuan wrote: > Any updates on these bugs? If James agrees, I suggest to remove all of the cost based optimizer code (which would fix both of the current issues), because: - CBO violates POSIX regarding strict the left-to-right processing rule. - Apparently no one ever

Re: Report 2 UBSan bugs found by an automatic tool

2021-07-29 Thread He Jingxuan
Hi, Any updates on these bugs? Best, Jingxuan > On 3 Jul 2021, at 18:00, Tavian Barnes wrote: > > On Sat, 3 Jul 2021 at 11:50, Bernhard Voelker > wrote: >> >> Hi James, >> >> On 6/30/21 7:23 PM, He Jingxuan wrote: >>> ... >>> bug 1 command: find -H - -delete >>> relevant error message: ../

Re: Report 2 UBSan bugs found by an automatic tool

2021-07-03 Thread Tavian Barnes
On Sat, 3 Jul 2021 at 11:50, Bernhard Voelker wrote: > > Hi James, > > On 6/30/21 7:23 PM, He Jingxuan wrote: > > ... > > bug 1 command: find -H - -delete > > relevant error message: ../../find/tree.c:538:23: runtime error: member > > access within null pointer of type 'struct predicate’ > > This

Re: Report 2 UBSan bugs found by an automatic tool

2021-07-03 Thread Bernhard Voelker
Hi James, On 6/30/21 7:23 PM, He Jingxuan wrote: > Dear findutils developers, > > We tested findutils with an automatic tool (based on the symbolic execution > tool KLEE). 5 test cases triggering UBSan errors were generated. We manually > checked those test cases and filtered out benign cases.

Report 2 UBSan bugs found by an automatic tool

2021-06-30 Thread He Jingxuan
Dear findutils developers, We tested findutils with an automatic tool (based on the symbolic execution tool KLEE). 5 test cases triggering UBSan errors were generated. We manually checked those test cases and filtered out benign cases. Finally, we identified and report 2 cases that could trigge