[csmith-dev] Query On Csmith

[MD TANIM HASAN <tanim.sqa@gmail.com>]

Hi,

I am new to Csmith. I have built Csmith(2.4.0) on Ubuntu, can generate C program using Csmith.

I have some query regarding coverage.

• How to get the coverage of the c program generated by csmith?
• How to devise the methods to get best coverage?
  

I have compiled the C program generated by Csmith using GCC compiler and used Gcov to get the coverage of that C program.

The command I used as follows

Csmith --concise -o csmith.c
gcc -fprofile-arcs -ftest-coverage csmith.c
Gcov csmith.c
Gedit csmith.c.gcov

Is my procedure is correct? Please Suggest.

Thanks in advance.