Re: [csmith-dev] Building and testing with csmith

[John Regehr <regehr@cs.utah.edu>]

> 1.Is it possible for me to detect the sample bugs explained
> here(https://embed.cs.utah.edu/csmith/sample.html)
> <https://embed.cs.utah.edu/csmith/sample.html%29>?, as it is
> mentioned to use
> gcc 4.4.3 (32-bit), the default compiler on Ubuntu 10.04.1
> Or do I need to go to the older version?
Those sample bugs will only work with the specified version of Csmith. 
You should instead use the current version.

It should not be hard to find bugs in any older version of gcc, 
something in the 4.0, 4.1, or 4.2 range would be good.
> 2.Where could be this  driver0.sh?Is it the name of the bash script
> which we created  above ?
I don't know where you read about driver0.sh

The easiest way to find bugs is to just:

- make a random program
- compile it using gcc -O3
- look for a crash

I suggest writing your own script to do this, it will only be a few 
lines of Python or Perl or Bash or whatever scripting language you use.

John