Thread: 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.