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