From mboxrd@z Thu Jan  1 00:00:00 1970
From: Dario Faggioli <raistlin@linux.it>
Subject: Re: Static analysis: Code weaknesses
Date: Tue, 13 Mar 2012 18:03:52 +0100
Message-ID: <1331658232.8995.14.camel@Solace>
References: <CAFw--Df+3UxXWqq63eo0f-98EeaisipX+eRr91qXouDkSfphSg@mail.gmail.com>
	<20120313164708.GE19228@phenom.dumpdata.com>
Mime-Version: 1.0
Content-Type: multipart/mixed; boundary="===============5666867557992529383=="
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <20120313164708.GE19228@phenom.dumpdata.com>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Cc: xen-devel@lists.xensource.com, Jeffrey Karrels <karrelsj@gmail.com>
List-Id: xen-devel@lists.xenproject.org


--===============5666867557992529383==
Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature";
	boundary="=-D9rSBfhLjJWRSmfb3LJs"


--=-D9rSBfhLjJWRSmfb3LJs
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Tue, 2012-03-13 at 12:47 -0400, Konrad Rzeszutek Wilk wrote:
> Have you looked at smatch and sparse?
>
And, perhaps, to Coccinelle (http://coccinelle.lip6.fr/)... I've heard
it does great things (together with Smatch) in Linux. :-)

Regards,
Dario

--=20
<<This happens because I choose it to happen!>> (Raistlin Majere)
-------------------------------------------------------------------
Dario Faggioli, http://retis.sssup.it/people/faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)
PhD Candidate, ReTiS Lab, Scuola Superiore Sant'Anna, Pisa (Italy)


--=-D9rSBfhLjJWRSmfb3LJs
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: This is a digitally signed message part
Content-Transfer-Encoding: 7bit

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEABECAAYFAk9fffgACgkQk4XaBE3IOsSGtQCfTFHJKGAYHxcRCiqCwScQIA5+
wMIAoJJlV4yiVoEhZiUzIdVXCsa6glky
=BvU1
-----END PGP SIGNATURE-----

--=-D9rSBfhLjJWRSmfb3LJs--



--===============5666867557992529383==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

--===============5666867557992529383==--