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? http://llvm-reviews.chandlerc.com/D967