[PATCH] DataFlowSanitizer; compiler-rt changes.

Peter Collingbourne peter at pcc.me.uk
Wed Jun 12 14:22:37 PDT 2013


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/D967

Files:
  include/CMakeLists.txt
  include/sanitizer/dfsan_interface.h
  lib/CMakeLists.txt
  lib/Makefile.mk
  lib/dfsan/CMakeLists.txt
  lib/dfsan/Makefile.mk
  lib/dfsan/dfsan.cc
  lib/dfsan/lit_tests/CMakeLists.txt
  lib/dfsan/lit_tests/basic.c
  lib/dfsan/lit_tests/fncall.c
  lib/dfsan/lit_tests/lit.cfg
  lib/dfsan/lit_tests/lit.site.cfg.in
  lib/dfsan/lit_tests/propagate.c
  make/platform/clang_linux.mk
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D967.1.patch
Type: text/x-patch
Size: 23798 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130612/a506d9d8/attachment.bin>


More information about the llvm-commits mailing list