Static Analysis: results of FUDcon Lawrence hackfest

[Jerry James]

On Thu, Jan 24, 2013 at 9:44 AM, David Malcolm <dmalcolm at 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/