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
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

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.

- Raw text -