[cfe-commits] r52417 - /cfe/trunk/utils/ccc

[Ted Kremenek]

On Jun 18, 2008, at 12:04 AM, Holger Schurig wrote:

>> There are a bunch of other flag options that ccc-analyzer
>> currently processes (and discards) that ccc does not.  I
>> discovered these when running the static analyzer over
>> Postgresql and Xcode.
>
> Out of curiousity: do you find more issues with checker or more
> issues with PostgreSQL?


Unfortunately I cannot comment on bug numbers in Xcode.  I can say  
that Postgresql is regularly scanned with Coverity's Prevent tool, so  
the static analysis tool flags more false than true warnings on  
Postgresql (most stemming from a lack of inter-procedural analysis).   
This is okay since the tool is still very much in the early stages,  
but the goal is to reduce the number of false positives on Postgresql  
to zero.  Our scope of checks performed on code still has quite a bit  
of room to grow, so the amount of issues we will detect in any project  
will likely increase over time.