On Thu, Jan 24, 2013 at 9:44 AM, David Malcolm <dmalc...@redhat.com> wrote: > * packaging more static analyzers in Fedora (e.g. has anyone looked at > Frama-C ?)
Frama-C has been in Fedora for nearly 3 years now. :-) I'm very interested in this topic. I tried packaging BLAST at one point, but ran into insurmountable license problems. I've considered attempting klee once or twice, but it has some build requirements that make it hard. Still, I think klee could be handled with just a few tweaks to the llvm spec file.... -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
