X-Authentication-Warning: delorie.com: mail set sender to geda-user-bounces using -f
X-Recipient: geda-user AT delorie DOT com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type;
        bh=NtYN4vl4t5bm40/rr5MEnibiT/Hdba+PNYHdzFoJA7E=;
        b=d3fiLWR64eVCZeGj6XfqXZAU9R82I+qFafj+ssJp3uCEtEBoogY8WpvbsvTiRepehy
         q+81q0UcMtniZZ7bTE1e1rgY317jaeEflqjHeecaYDu0qV2c6timP0c/+UHif2ub1ZSS
         HXeB+cYlqO5xhYLBWLWd3IYcS0HWN0fNVxFbh3myCa8Vpdw7uCE7O1rlS4m4RETdMK1Y
         cbaR4KGUr8VOjwk1xcYc83YTEYQSyzCUmgzPoSmyxa47YCwMkDy39gq6nLEXYfrhI7Zk
         A1GbwAdVEup3g8dQRlcmCNhJ757sv44CNG3YZYV/KcLOzwXDArX1+FEIbGMW1mLP3QUt
         lWGQ==
MIME-Version: 1.0
X-Received: by 10.50.25.225 with SMTP id f1mr168877igg.29.1423786199506; Thu,
 12 Feb 2015 16:09:59 -0800 (PST)
In-Reply-To: <20150212234845.0474ff18@jive>
References: <20150212234845 DOT 0474ff18 AT jive>
Date: Thu, 12 Feb 2015 19:09:59 -0500
Message-ID: <CAPYb0EG_j_pMk0MQMH3kDv=sO5+pF8hS=7dzfRA_wkiqZNzuAA@mail.gmail.com>
Subject: Re: [geda-user] testing
From: Bob Paddock <bob DOT paddock AT gmail DOT com>
To: geda-user AT delorie DOT com
Content-Type: text/plain; charset=UTF-8
Reply-To: geda-user AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: geda-user AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk

On Thu, Feb 12, 2015 at 5:48 PM, Lev <leventelist AT gmail DOT com> wrote:
> Are the sources of gEDA and PCB tested with any static code analysis
> tool?

Dan setup an account with Coverity a few years ago.
Don't know that anyone has been using it regularly or if anyone but
Dan has the login.
For security reasons the results are not made public so they can't be exploited.