On Tue, May 25, 2010 at 5:45 PM, Ildar Isaev <[email protected]> wrote: > Speaking in very brief, Avalanche consists of a Valgrind plugin (it is also > developed by me), which tracks the flow of tainted data in the analyzed > program and emits special constraints, and a third party constraint solver > that checks the satisfiability of the emitted constraints. Some of the > constraints are emitted to achieve automatic path alternation, the rest are > emitted to check for the possible bugs in the certain situations.
> Are you interested in such a tool? If so, I may give a more detailed > description or provide a preprint for the article that is going to be > published in "Programming and Computer Software" journal > (http://www.maik.rssi.ru/cgi-perl/journal.pl?lang=eng&name=procom) soon. Can > Avalanche probably become one of the Valgrind tools one day? I can't speak for the Valgrind developers, but as a user that sounds immensely useful. And fun. -- Peter Bortas ------------------------------------------------------------------------------ _______________________________________________ Valgrind-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/valgrind-users
