COVERITY static source code analysis

[Lisandro Dalcin]

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