projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c2c660) | patch
DataFlowSanitizer; LLVM changes.
authorPeter Collingbourne <peter@pcc.me.uk>
Wed, 7 Aug 2013 22:47:18 +0000 (22:47 +0000)
committerPeter Collingbourne <peter@pcc.me.uk>
Wed, 7 Aug 2013 22:47:18 +0000 (22:47 +0000)
commit6fa33f5dd945015d79be42c5cff146e4e2b7c4f3
treeaca6cada9d866c167084f45e21d39a6820e92dfetree | snapshot
parent9c2c660e1228fe513b5940a7fb5d3a763728dcbccommit | diff
DataFlowSanitizer; LLVM changes.

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.

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187923 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/InitializePasses.h diff | blob | history
include/llvm/Transforms/Instrumentation.h diff | blob | history
lib/Transforms/Instrumentation/CMakeLists.txt diff | blob | history
lib/Transforms/Instrumentation/DataFlowSanitizer.cpp [new file with mode: 0644] blob
lib/Transforms/Instrumentation/Instrumentation.cpp diff | blob | history
test/Instrumentation/DataFlowSanitizer/arith.ll [new file with mode: 0644] blob
test/Instrumentation/DataFlowSanitizer/call.ll [new file with mode: 0644] blob
test/Instrumentation/DataFlowSanitizer/lit.local.cfg [new file with mode: 0644] blob
test/Instrumentation/DataFlowSanitizer/load.ll [new file with mode: 0644] blob
test/Instrumentation/DataFlowSanitizer/store.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors