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

Re: [csmith-dev] feature request: generate memory unsafe code

I think the macro idea is a great one.

Actually Xuejun and I have previously discussed the fact that we'd like to move more complexity into post-processing steps, in order to simplify the Csmith core, if possible.

      #define MAY_BE_NULL(ptr) (puts("possible NULL dereference"), (ptr))

Of course we had better either turn off buffering on STDOUT or else put an fflush(STDOUT) between the puts() and the deref!