[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: COVERITY static source code analysis

To: petsc-dev@xxxxxxxxxxx
Subject: Re: COVERITY static source code analysis
From: "Matthew Knepley" <knepley@xxxxxxxxx>
Date: Thu, 19 Jul 2007 20:20:11 -0500
Dkim-signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=nYsc3n7VkHNzlHGI0p5erY6IKNeOl1aQu9eA9OSWPO7I6mYfCp2jCoMiMULX7VD4P1qQdGa9WtJ86IGjeaUbvAa0NIP8FiIuAx7goWCOotsrHE8DJGgXrwo3r6bqAEIcIJrCUIl6nElJM6g0FASakPWnqTG9pskQ7MOVwAeU7dE=
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=pl41TgixfsdFQEnpp0JXZesK++0FQZ4A5ESTTNLcpmLPMNrofUM7b2usD6Sq50NjOnGZlEUtGJLn7NmHaTtpF1eYvsBaz9v9XE/230cJ1+26x4KGbl98bxagExGatfoj+C/2ogjVMLt1hmLmKOSA5Im4rdWEhFK232dPB3gvgL8=
In-reply-to: <e7ba66e40707191812r38fbec54v1127f0067e9e0a3d@mail.gmail.com>
References: <e7ba66e40707191812r38fbec54v1127f0067e9e0a3d@mail.gmail.com>
Reply-to: petsc-dev@xxxxxxxxxxx
Sender: owner-petsc-dev@xxxxxxxxxxx

I'm for it. Barry, do you want to mail scan-admin@xxxxxxxxxxxx?

 Matt

On 7/19/07, Lisandro Dalcin <dalcinl@xxxxxxxxx> 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

References:
- COVERITY static source code analysis
  - From: Lisandro Dalcin

Prev by Date: COVERITY static source code analysis
Next by Date: [no subject]
Previous by thread: COVERITY static source code analysis
Next by thread: [no subject]
Index(es):
- Date
- Thread