[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] Building and testing with csmith
> 1.Is it possible for me to detect the sample bugs explained
> <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.