Sophie

Sophie

distrib > Mandriva > cooker > i586 > by-pkgid > e48de7ab47d6ccd21123c3cf59875c86

avalanche-0.6.0-1.i586.rpm

Description:

Avalanche is a dynamic defect detection tool that generates
"inputs of death" - input data reproducing critical bugs and
vulnerabilities in the analysed program.

Avalanche overview
+ Automatically finds critical software errors
+ Generates "input of death" for each detected error
+ Tracks the flow of "tainted" data in the program
+ Iteratively generates a sequence of inputs to increase the
coverage and find new errors
+ Implements dynamic analysis based on open-source Valgrind framework,
and STP (Simple Theorem Prover)
+ Runs on x86/Linux and x86_64/Linux

Sources packages:

Other version of this rpm: