On Thu, Aug 07, 2008 at 05:18:21PM -0400, David A. Wheeler wrote: > https://fedoraproject.org/wiki/Features/Provers You might want to consider adding CIL to the list. It's already in Fedora (as 'ocaml-cil'), I use it quite a bit, but the package needs a little love & I would appreciate a co-maintainer with some time to fix some of the packaging bugs and keep up with upstream versions. For anyone wondering about CIL, it's a brilliant C parser and static analysis tool, quite simple to use, which supports gcc extensions and can be used to analyze the Linux kernel and other significant C programs. I wrote a quick intro here with some pretty pictures: http://et.redhat.com/~rjones/cil-analysis-of-libvirt/ Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://et.redhat.com/~rjones/virt-df/ -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
