On Thursday, January 24, 2013 14:11:11 Jerry James wrote: > It is not, but see http://jjames.fedorapeople.org/blast/ for an > experimental RPM. If we could get the Vampyre developers to remove > "for research purposes only" from their license, we could get both > Vampyre and BLAST into Fedora. > > Note that we also have why and why3 in Fedora, by the way.
The above tools are not bug finding tools. They will not give you a list of bugs detected in the input program. You need to specify a property to verify and the tools then return a yes/no answer, supported by a (usually hard to read) counter-example. Such tools are not intended for a fully automatic static analysis. Kamil -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
