AVALANCHE

Dynamic defect detection tool for generating "inputs of death".

http://code.google.com/p/avalanche/

===================================================================

INSTALLATION:

From source archive

  $ ./configure --prefix=<path to avalanche install directory>
  $ make
  $ make install

From subversion repository

  $ ./autogen.sh
  $ ./configure --prefix=<path to avalanche install directory>
  $ make
  $ make install

===================================================================

LICENSE:

Valgrind is licensed under the GNU General Public License, version 2. Read the file valgrind/COPYING in the source distribution for details.

STP is licensed under the MIT License. Read the file stp-ver-0.1-11-18-2008/LICENSE in the source distribution for details.

Driver is licensed under under the Apache License, Version 2.0. Read the file driver/LICENSE in the source distribution for details.

===================================================================

USAGE:

See http://code.google.com/p/avalanche/wiki/Avalanche for option description and usage examples

===================================================================

CONTACT:

Mailing list for discussion: http://groups.google.com/group/avalanche-users