sjcappella / avalanche

Automatically exported from code.google.com/p/avalanche

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

                           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

About

Automatically exported from code.google.com/p/avalanche


Languages

Language:C 95.4%Language:C++ 3.2%Language:Assembly 0.6%Language:Perl 0.3%Language:Shell 0.2%Language:XSLT 0.1%Language:Groff 0.1%Language:HTML 0.1%Language:Haskell 0.0%Language:OCaml 0.0%Language:Makefile 0.0%Language:Lex 0.0%Language:SMT 0.0%Language:CSS 0.0%