| From: | Peter Eisentraut <peter_e(at)gmx(dot)net> |
|---|---|
| To: | Bruce Momjian <bruce(at)momjian(dot)us> |
| Cc: | Rajeev rastogi <rajeev(dot)rastogi(at)huawei(dot)com>, "pgsql-general(at)postgresql(dot)org" <pgsql-general(at)postgresql(dot)org> |
| Subject: | Re: Regarding pc-lint on PostgreSQL code |
| Date: | 2012-08-15 04:58:14 |
| Message-ID: | 1345006694.17599.22.camel@vanquo.pezone.net |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-general |
On Tue, 2012-08-14 at 11:44 -0400, Bruce Momjian wrote:
> On Tue, Aug 14, 2012 at 04:58:13AM +0000, Rajeev rastogi wrote:
> > We are in process of evaluating the PostgreSQL static report. So wanted to know
> > if there is any available result for pc-lint on latest source code of
> > PostgreSQL (preferably on 9.2 Beta 3).
>
> Not that I know of. There are Coverity reports on the Postgres source,
> and I think Peter Eisentraut is familiar with them.
I am not familiar with pc-lint or anyone having used it with PostgreSQL.
I have used Coverity and the clang static analyzer, and they are both
work in progress with respect to PostgreSQL.
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Sergey Konoplev | 2012-08-15 06:29:40 | Re: cast name to oid |
| Previous Message | Dario Beraldi | 2012-08-14 21:44:40 | Re: Visualize database schema |