Static Analysis: results of FUDcon Lawrence hackfest

Kamil Dudka kdudka at redhat.com
Fri Jan 25 12:16:06 UTC 2013


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


More information about the devel mailing list