[FFmpeg-devel] Clang static analyser

Ramiro Polla ramiro.polla
Sat Apr 18 19:17:07 CEST 2009


On Sat, Apr 18, 2009 at 1:55 PM, Michael Niedermayer <michaelni at gmx.at> wrote:
> On Sat, Apr 18, 2009 at 04:02:33PM +0200, Benjamin Larsson wrote:
>> Benjamin Larsson wrote:
>> > Hi, I gave the clang static analyzer a test run. Here is the output from
>> > todays svn:
>> >
>> > http://tranquillity.ath.cx/clang/scan-build-2009-04-17-1/
>> >
>> > Most of the logic errors should be real issues that can affect
>> > stability. All the dead store things seem to be mostly noise.
>>
>> I reran the analysis as Michael took a real stab at cleaning up the
>> defects found. Almost 50 less defects today.
>>
>> http://tranquillity.ath.cx/clang/scan-build-2009-04-18-1/
>
> I found a few problems with CSA, and id love to hear some tips on how to
> deal with them
[...]
> 2. logic errors that assume execution continues after av_exit()

Will CSA understand __attribute__((noreturn)) ?



More information about the ffmpeg-devel mailing list