On Thu, Aug 07, 2008 at 05:18:21PM -0400, David A. Wheeler wrote:
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/