Documentation

• Installation
• Using_Avalanche
• Samples
• Papers

Detected errors

Avalanche was tested on a number of open-source tools and has found the following bugs:

• llvm (segmentation fault)
• mono (segmentation fault)
• parrot vm (a bunch of segmentation faults)
• mencoder (segmentation fault)
• wget (segmentation fault)
• libquicktime (3 segmentation faults, infinite loop)
• swftools (2 segmentation faults)
• avifile (segmentation fault)
• libmpeg2 (division by zero)
• gnash (uncaught exception)
• audiofile (infinite loop)
• libsndfile (division by zero)
• vorbis-tools (infinite loop)
• libjpeg (division by zero)
• libmpeg3 (2 segmentation faults)
• libwmf (segmentation fault)

etc...

License

The two valgrind plugins, which are part of Avalanche (tracegrind and covgrind) are licensed under GPLv2. The driver module, that coordinates iterative testing is using Apache license.

Third party open-source components use their own licenses: Valgrind is GPL licensed, STP uses MIT license.

Mailing list

The place to ask any question related to Avalanche