[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
COVERITY static source code analysis
- To: petsc-dev@xxxxxxxxxxx
- Subject: COVERITY static source code analysis
- From: "Lisandro Dalcin" <dalcinl@xxxxxxxxx>
- Date: Thu, 19 Jul 2007 22:12:48 -0300
- Dkim-signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=alCLsAJtNH1IUnXT/uvHoIsOtFWTQV5lBuJw1d1dlh4dT4RySnYj4tuyHTePDKUbIQ07pSiJyuWv2RTw+ImjGGoKgBg6l1WNCsyZgZ6jKgnff4lCF+qAzyzyGJk5wdMAmAhTN/J9UOTwSZV73uFKSAckWBBJCAu/hH72dyWgcRY=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=Fvrn4crkstrFTnJxkKoUvZYx50R1GxyXfwK8zA1ZX6Bqg3yD506PQBpNW9gqiZuD0vBCjTKH+jmsMCblC0TdDIBnAwqcDvVNldqlzwVwNtC1wJ9OWOlEYqyvk3BLpx+cZf8+IuD1a/udWpfLLcph8eavBKa7KPC2tcy9dKKL3as=
- Reply-to: petsc-dev@xxxxxxxxxxx
- Sender: owner-petsc-dev@xxxxxxxxxxx
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