Static Analysis: results of FUDcon Lawrence hackfest

[Richard W.M. Jones]

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.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-p2v converts physical machines to virtual machines.  Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v