On Fri, Jan 25, 2013 at 5:16 AM, Kamil Dudka <kdudka@xxxxxxxxxx> wrote: > 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 David mentioned Frama-C, so I thought he would be interested in these tools, too. -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
