[PATCH] DataFlowSanitizer; LLVM changes.

[Peter Collingbourne]

Hi kcc,

DataFlowSanitizer is a generalised dynamic data flow analysis.

Unlike other Sanitizer tools, this tool is not designed to detect a
specific class of bugs on its own.  Instead, it provides a generic
dynamic data flow analysis framework to be used by clients to help
detect application-specific issues within their own code.

http://llvm-reviews.chandlerc.com/D965

Files:
  include/llvm/InitializePasses.h
  include/llvm/Transforms/Instrumentation.h
  lib/Transforms/Instrumentation/CMakeLists.txt
  lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
  lib/Transforms/Instrumentation/Instrumentation.cpp
  test/Instrumentation/DataFlowSanitizer/arith.ll
  test/Instrumentation/DataFlowSanitizer/call.ll
  test/Instrumentation/DataFlowSanitizer/lit.local.cfg
  test/Instrumentation/DataFlowSanitizer/load.ll
  test/Instrumentation/DataFlowSanitizer/store.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D965.1.patch
Type: text/x-patch
Size: 45575 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130612/4ea14a78/attachment.bin>