Avalanche analyzes an entire application at once. I suppose the same
approach may be applied to analyzing separate functions, but currently
it just analyzes the whole application.
So what is "input of death"? At first i focused on analyzing
applications that get their input data from some input file. In this
case, Avalanche just generates input files, that cause the analyzed
program to crash if the program is run with them. For example, there is
a tool 'cjpeg' that comes with libjpeg. It just converts the specified
bmp file to jpeg format. So for that tool Avalanche generated an input
file that caused 'cjpeg' to crash with floating point exception due to
the division by zero.
Then i added some basic support for sockets as sources of input data
(this is not described in the preprint - it was done just recently). In
this case Avalanche also generates "inputs of death" as files in special
format. Reproducing the actual bug with input data coming from sockets
is a bit harder - I had to create a special plugin for that. With this
support of the sockets I managed to find crashes in 'wget' and 'mencoder'.
The brief list of the bugs detected by Avalanche was attached to my
first message in this thread.
I have a fairly basic question: in what terms does
Avalanche express its "inputs of death". Particular arguments
to particular functions, for example?
thanks,
--
John Dallman
Parasolid Porting Engineer
Siemens Product Lifecycle Management Software
Industry Sector
46 Regent Street, Cambridge, CB2 1DP
United Kingdom
Tel: +44-1223-371554
[email protected]
www.siemens.com/plm
------------------------------------------------------------------------------
_______________________________________________
Valgrind-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/valgrind-users
------------------------------------------------------------------------------
_______________________________________________
Valgrind-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/valgrind-users
