Regarding pc-lint on PostgreSQL code

On Tue, Aug 14, 2012 at 04:58:13AM +0000, Rajeev rastogi wrote:

Dear Sir,

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.

--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com

+ It's impossible for everything to be true. +

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.