[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] Is this a wrong code bug?
1. How do I investigate these programs for UB, and separate the good ones?
Use tools for finding undefined behaviors. If none of them finds any
undefined behavior, then it is at least conceivable that the program
doesn't execute any undefined behavior.
2. Does the huge number of wrong programs generated indicate that there
is some UB in the code of extended_csmith or is this an error related
to the changes with the script?
This is a question that you should determine the answer to.