| From: | Stephen Frost <sfrost(at)snowman(dot)net> |
|---|---|
| To: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
| Cc: | Kevin Grittner <kgrittn(at)ymail(dot)com>, Peter Geoghegan <pg(at)heroku(dot)com>, "noloader(at)gmail(dot)com" <noloader(at)gmail(dot)com>, Tomas Vondra <tv(at)fuzzy(dot)cz>, "pgsql-hackers(at)postgresql(dot)org" <pgsql-hackers(at)postgresql(dot)org> |
| Subject: | Re: Clang 3.3 Analyzer Results |
| Date: | 2013-11-12 14:54:46 |
| Message-ID: | 20131112145445.GF17272@tamriel.snowman.net |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-general pgsql-hackers |
* Tom Lane (tgl(at)sss(dot)pgh(dot)pa(dot)us) wrote:
> I think Coverity does that, or at least I've seen output from some tool
> that does it.
Coverity does provide the path (including going through multiple
interations of a loop, if applicable). Doesn't make it perfect, sadly,
but I've been trying to feed back false positives to their dev group to
address. Frustratingly, it doesn't handle global variables terribly
well and I've found a couple of false positives around cases involving
them.
Thanks,
Stephen
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Brian Crowell | 2013-11-12 15:13:03 | Re: GSSAPI server side on Linux, SSPI client side on Windows |
| Previous Message | Tom Lane | 2013-11-12 14:38:22 | Re: Clang 3.3 Analyzer Results |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Robert Haas | 2013-11-12 14:55:34 | Re: ERROR during end-of-xact/FATAL |
| Previous Message | Kohei KaiGai | 2013-11-12 14:45:43 | What's needed for cache-only table scan? |