COVERITY static source code analysis
Matthew Knepley
knepley at gmail.com
Thu Jul 19 20:20:11 CDT 2007
I'm for it. Barry, do you want to mail scan-admin at coverity.com?
Matt
On 7/19/07, Lisandro Dalcin <dalcinl at gmail.com> wrote:
> Have any of you ever consider asking PETSc being included here, as
> it is an open source project?
>
> http://scan.coverity.com/index.html
>
> From many sources (mainly related to Python), it seems the results are
> impressive.
>
> Regards,
>
> --
> Lisandro Dalcín
> ---------------
> Centro Internacional de Métodos Computacionales en Ingeniería (CIMEC)
> Instituto de Desarrollo Tecnológico para la Industria Química (INTEC)
> Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET)
> PTLC - Güemes 3450, (3000) Santa Fe, Argentina
> Tel/Fax: +54-(0)342-451.1594
>
>
--
What most experimenters take for granted before they begin their
experiments is infinitely more interesting than any results to which
their experiments lead.
-- Norbert Wiener
More information about the petsc-dev
mailing list