[PATCH] DataFlowSanitizer; compiler-rt changes.

[Peter Collingbourne]

On Sun, Jun 16, 2013 at 11:30:56AM -0700, Alex Rosenberg wrote:
> 
>   Can you give some example use cases of how you envision this being used? What sort of bugs might it catch that the many other sanitizers aren't catching already? How does this compare to the Clang analyzer in what it is capable of finding?

Hi Alex,

I give more information about use cases in this post:
http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-June/062928.html

The Clang analyser is a static analysis, while this is a dynamic
analysis.  In general it's harder to write a static analysis to detect
the kind of problems that this analysis can detect especially when
they emerge from the program's dynamic behaviour.

Thanks,
-- 
Peter