On Sat, Mar 20, 2010 at 7:35 PM, David Holland <dholland-t...@netbsd.org> 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

Reply via email to