Static Analysis: results of FUDcon Lawrence hackfest
Richard W.M. Jones
rjones at redhat.com
Fri Jan 25 12:51:13 UTC 2013
On Fri, Jan 25, 2013 at 01:18:43PM +0100, Kamil Dudka wrote:
> On Friday, January 25, 2013 09:07:22 Richard W.M. Jones wrote:
> > On Thu, Jan 24, 2013 at 02:11:11PM -0700, Jerry James wrote:
> > > Note that we also have why and why3 in Fedora, by the way.
> >
> > .. and ocaml-cil.
>
> CIL can be used as a front-end for a static analysis tool or a C preprocessor
> for static analysis tools that have limited C language parsing capabilities,
> but how are you going to use CIL as a static analysis tool on its own?
Well I did try. Not, it has to be said, very successfully:
http://people.redhat.com/~rjones/cil-analysis-of-libvirt/
This brings me back to an earlier post I made which I still think has
an important point to make:
http://lists.fedoraproject.org/pipermail/devel/2012-December/175324.html
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-top is 'top' for virtual machines. Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://people.redhat.com/~rjones/virt-top
More information about the devel
mailing list