[cfe-commits] r52417 - /cfe/trunk/utils/ccc
kremenek at apple.com
Wed Jun 18 08:42:51 PDT 2008
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.
More information about the cfe-commits