git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] diff: remove another ternary expression always evaluating to true

From
Stefan Beller <stefanbeller@googlemail.com>
Date
Aug 8, 2013, 22:17 UTC
Message-ID
<5204190D.9040604@googlemail.com>
In-Reply-To
<87241414EE67485DAC10602B3BB85F2D@PhilipOakley>
On 08/08/2013 11:36 PM, Philip Oakley wrote:
Show 15 quoted lines
> From: "Stefan Beller" <stefanbeller@googlemail.com>
> Sent: Thursday, August 08, 2013 7:55 PM
> Subject: [PATCH] diff: remove another ternary expression always
> evaluating to true
> 
> Have these issues (and the earlier expression simplifications patches
> $gmane/231916, $gmane/231912 ) been discovered with the "STACK" tool I'd
> noted in $gmane/230542 which you were also interested in (I've not had
> chance to run the tool).
> 
> If so, it's probably worth referencing the tool and the paper which
> explains the broader issues.
> 
> Philip
>

Yes, those 3 issues have been discovered using the STACK tool The paper regarding that tool can be found at http://pdos.csail.mit.edu/~xi/papers/stack-sosp13.pdf

It's definitely an interesting read! (At least for me it was ;) The authors intend to make that tool available to broader public as open source in August this year, iirc.

However I do not know if their repository address was already announced publicly, so I did not announce to have used it. (Last time I announced using static code analysis tools for my patches the review-process was much harder as well :D)

Stefan
Previous: Philip Oakley
Message 8 of 8 in “diff: remove another ternary expression always evaluating to true”
  1. diff: remove another ternary expression always evaluating to trueStefan Beller, Aug 8, 2013
  2. Johannes SchindelinAug 8, 2013
  3. Stefan BellerAug 8, 2013
  4. Johannes SchindelinAug 8, 2013
  5. Junio C HamanoAug 8, 2013
  6. diff: fix a possible null pointer dereferenceStefan Beller, Aug 8, 2013
  7. Philip OakleyAug 8, 2013
  8. Stefan BellerAug 8, 2013

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.