<div dir="ltr">Has there been any general design document and discussion about the data flow sanitizer? I don't see one, and I feel like patches can't be reviewed without a design discussion.</div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Wed, Jun 12, 2013 at 2:21 PM, Peter Collingbourne <span dir="ltr"><<a href="mailto:peter@pcc.me.uk" target="_blank">peter@pcc.me.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi kcc,<br>
<br>
DataFlowSanitizer is a generalised dynamic data flow analysis.<br>
<br>
Unlike other Sanitizer tools, this tool is not designed to detect a<br>
specific class of bugs on its own.  Instead, it provides a generic<br>
dynamic data flow analysis framework to be used by clients to help<br>
detect application-specific issues within their own code.<br>
<br>
<a href="http://llvm-reviews.chandlerc.com/D965" target="_blank">http://llvm-reviews.chandlerc.com/D965</a><br>
<br>
Files:<br>
  include/llvm/InitializePasses.h<br>
  include/llvm/Transforms/Instrumentation.h<br>
  lib/Transforms/Instrumentation/CMakeLists.txt<br>
  lib/Transforms/Instrumentation/DataFlowSanitizer.cpp<br>
  lib/Transforms/Instrumentation/Instrumentation.cpp<br>
  test/Instrumentation/DataFlowSanitizer/arith.ll<br>
  test/Instrumentation/DataFlowSanitizer/call.ll<br>
  test/Instrumentation/DataFlowSanitizer/lit.local.cfg<br>
  test/Instrumentation/DataFlowSanitizer/load.ll<br>
  test/Instrumentation/DataFlowSanitizer/store.ll<br>
<br>_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
<br></blockquote></div><br></div>