[PATCH] DataFlowSanitizer; LLVM changes.

[Chandler Carruth]

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.


On Wed, Jun 12, 2013 at 2:21 PM, Peter Collingbourne <peter at pcc.me.uk>wrote:

> 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
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130612/e64805fd/attachment.html>