Welcome! Log In Create A New Profile

Advanced

Re: Clang scan-build output

Maxim Dounin
November 04, 2009 09:14PM
Hello!

On Wed, Nov 04, 2009 at 02:59:01PM -0800, Akins, Brian wrote:

> Output from the clang static analyzer ( http://clang-analyzer.llvm.org/ )
> for nginx-0.7.63
>
> http://www.akins.org/scan-build-2009-11-04-1/index.html

Intresting, thanks. I've played with clang a bit, but haven't
tried it's static analyzer yet. This one:

http://www.akins.org/scan-build-2009-11-04-1/report-E52fnq.html#EndPath

seems to be real bug (though really rare one, may happen only on
low memory conditions during configuration parsing and only when
close() call returned error for some reason).

Unfortunately others looks like false positives. I've tried it on
debug build and this eliminated some dead assignments reported,
but introduced null pointer dereference false positives in code
working with queues. Probably adding some assert()'s will make
nginx's code a bit more analyzer friendly...

Maxim Dounin
Subject Author Posted

Clang scan-build output

Akins, Brian November 04, 2009 06:04PM

Re: Clang scan-build output

Cliff Wells November 04, 2009 07:58PM

Re: Clang scan-build output

张立冰 November 04, 2009 08:32PM

Re: Clang scan-build output

Maxim Dounin November 04, 2009 09:18PM

Re: Clang scan-build output

Adrian Perez de Castro November 05, 2009 05:48AM

Re: Clang scan-build output

Maxim Dounin November 04, 2009 09:14PM

Re: Clang scan-build output

Akins, Brian November 05, 2009 01:46PM



Sorry, only registered users may post in this forum.

Click here to login

Online Users

Guests: 77
Record Number of Users: 6 on February 13, 2018
Record Number of Guests: 421 on December 02, 2018
Powered by nginx      Powered by FreeBSD      PHP Powered      Powered by MariaDB      ipv6 ready