csmith-project / csmith

Csmith, a random generator of C programs
http://embed.cs.utah.edu/csmith/
Other
998 stars 143 forks source link

Avoid generating dead functions #69

Open jxyang opened 5 years ago

jxyang commented 5 years ago

Dead functions are the ones never got called. Csmith occasionally generates them, giving compilers (and Creduce) an easy pass. It is generally bad when the generated code are not exercising the compilers.

chenyang78 commented 5 years ago

FWIW, It's actually not as bad as it appears to be, e.g. EMI exploits dead code to find many wrong code bugs. I think it may be better to maintain certain level of dead code in the generated programs.

On 4/21/19 6:36 PM, Xuejun Yang wrote:

Dead functions are the ones never got called. Csmith occasionally generates them, giving compilers (and Creduce) an easy pass. It is generally bad when the generated code are not exercising the compilers.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/csmith-project/csmith/issues/69, or mute the thread https://github.com/notifications/unsubscribe-auth/AAFY5NQ6SBTC6GGQNRUW7RTPRUJAFANCNFSM4HHM2QIQ.