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? Kamil -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
