[PATCH] DataFlowSanitizer; LLVM changes.

[Peter Collingbourne]

Hi Chandler,

A thread has been started on llvmdev.

Thanks,
Peter

On Wed, Jun 12, 2013 at 02:25:13PM -0700, Chandler Carruth wrote:
> 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
> >
> >

-- 
Peter