search for: deref'd

...ccording to the > code owners. Would you be open to reducing the number of cases > libcrunch is able to diagnose in order to reduce FP rates? I'm curious -- can you give me a sketch of what this code is doing? If it's just a case of "creating wrong-typed pointers that aren't deref'd", then I think we're good. In general I'd rather fix the FPs precisely, rather than introduce underapproximation, and I've yet to see cases where that really can't be done. > Second, do you see any way to simplify the wrappers required to > invoke libcrunch? E.g is...

Hi all, Some of you might remember that at EuroLLVM last year in Barcelona, Chris Diamand and I gave a talk about Clang/libcrunch, a run-time checking system which can be thought of as another flavour of sanitizer. It checks pointer casts, using run-time type information. Roughly the check is that the pointer really points to an instance of the target type, though there are refinements to