From: Duncan S. <bal...@fr...> - 2006-02-27 10:03:06
|
> > If you can tell us how Purify gets the extra goodies we might have a > > chance of implementing them. > > I suspect partly by reporting the actual read rather than the point > where the read has an effect on the program - that gets rid of the > register problem. When reading an uninitialised variable, a note could be taken of which memory location was read. When the uninitialised value is copied to another variable, the note could be copied too. If one day, maybe far far away from the initial read, the uninitialised value is used, then the note would allow you to output the location of the initial bad read. Presumably you've thought of this but rejected it because of the high overhead :) All the best, Duncan. |