tech-kern archive

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

Re: [gsoc] syscall/libc fuzzer proposal

On Sat, Mar 20, 2010 at 7:35 PM, David Holland 
<> wrote:
> [... description of translator ...]
> AIUI from chat, the idea is to increase the probability that if the
> testing causes something bogus to happen, the bogus behavior will
> result in an easily identifiable abort.
> This seems like a valid line of reasoning; all the same, implementing
> such a tool is a fairly big (and annoying) pile of grunt work. Plus
> various variations on it have been done before. (Some of which might
> be worth looking into, actually.)

I think gcc's plugin support of llvm could be good fits to make this
kind of instrumentation quite easy.

Julio Merino

Home | Main Index | Thread Index | Old Index