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