[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] Some questions about csmith

BTW, when you "reply to all" to my previous mail, please remove "chenyang@cs.utch.edu" from the CC list, which is the wrong email address :)

- Yang

On 08/22/2014 09:11 PM, Yang Chen wrote:

On 08/22/2014 08:10 PM, 刘东岳 wrote:

I've downloaded csmith2.1.0. I have some questions as below. would you plz explain them for me? 1st, the two options --dfs-exhaustive and --max-exhaustive-depth can be used to do what?

These two options were used by us for some experiments that explored exhaustive test-case generation. We are planning to remove them.

2nd, restrict keyword could not be generated by version2.1.0. I wonder if there's a plan to support this function in the future? I also wonder if FactPointTo could prevent abusing restrict pointers?

As far as I know, we don't have this plan at the moment.

What's the difference between FactPointTo and point-to analysis in compiler, such as gcc?

I am leaving this question to Xuejun.

3rd, what is splat/klee/crest/coverage-test extension? Does version2.1.0 support them well enough?

These extensions were added to test tools such as splat and crest. Unfortunately, we never actually used those extensions. They will be removed eventually.

4th, how to understand top/bottom methods in class fact?

Xuejun is the best person to answer this.

- Yang