GNU bug report logs - #11467
Parfait problems with GNU coreutils

Previous Next

Full log

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

From: Rich Burridge <rich.burridge <at> oracle.com>
To: Jim Meyering <jim <at> meyering.net>
Cc: 11467 <at> debbugs.gnu.org
Subject: Re: bug#11467: Parfait problems with GNU coreutils
Date: Mon, 14 May 2012 07:02:02 -0700

On 05/14/12 05:43 AM, Jim Meyering wrote:
> Thanks for auditing coreutils!
> A bug in sort would have been a surprise, and more of an issue,
> so I've looked at it first.
>
> Rich Burridge wrote:
> ...
>> Error: Null pointer dereference (CWE 476)
>>     Read from null pointer 's'
>>          at line 3389 of components/coreutils/coreutils-8.5/src/sort.c in function 'main'.
>>            Function 'parse_field_count' may return constant 'NULL' at line 3130, called at line 3387.
> That is not true when the third argument to parse_field_count is
> non-NULL, as is the case in sort.c from coreutils-8.5 (and in the
> latest from git).  In that case, parse_field_count exits upon failure
> and cannot return NULL.

Thanks Jim. Incomplete analysis on my part. This is a(nother) case where
parfait is not smart enough to recognize that error is a non-returning function.

Previous Next

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