Re: [Xen-devel] Static analysis: Code weaknesses

[Dario Faggioli <raistlin@xxxxxxxx>]

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

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

Attachment: signature.asc
Description: This is a digitally signed message part

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