[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Clang Static Analyzer reports & more fixes for the Hurd
From: |
Marin Ramesa |
Subject: |
Re: Clang Static Analyzer reports & more fixes for the Hurd |
Date: |
Sat, 16 Nov 2013 12:27:23 +0100 |
On 16.11.2013 10:58:13, Justus Winter wrote:
> I've seen Marin has joined in fixing bugs in Mach based on these kind
> of analysis, very cool!
Yeah, I've been following your reports. It seems this kind of analysis
does emit some false alarms, as seen with my recent patch on null
pointer dereference. Also it seems that unused variables outside of any
function are not detected (GCC also does not detect this). That said, I
plan on investigating null pointer dereference warnings based on your
reports, maybe some nice patches will be generated.
- [PATCH 4/6] libshouldbeinlibc: fix dead assignment, (continued)
- [PATCH 4/6] libshouldbeinlibc: fix dead assignment, Justus Winter, 2013/11/16
- [PATCH 3/6] ext2fs: fix error handling, Justus Winter, 2013/11/16
- [PATCH 6/6] mach-defpager: do not remove -Wall from CFLAGS, Justus Winter, 2013/11/16
- [PATCH 5/6] mach-defpager: fix the page offsets returned by pager_pages, Justus Winter, 2013/11/16
- Re: Clang Static Analyzer reports & more fixes for the Hurd, Samuel Thibault, 2013/11/16
- Re: Clang Static Analyzer reports & more fixes for the Hurd, Samuel Thibault, 2013/11/16
- Re: Clang Static Analyzer reports & more fixes for the Hurd,
Marin Ramesa <=