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