[LLVMdev] DataFlowSanitizer design discussion

Reid Kleckner
Thu, 13 Jun 2013 22:50:58 -0000

While dfsan as proposed isn't an error checking tool, the goal is to build
domain specific error checking tools with it, which is pretty
sanitizer-like.

The big question is basically how much utility the LLVM community thinks
there is in having a taint analysis framework available upstream.  I
imagine there are *many* researchers in program analysis out there who
would love to have some standard, easy-to-use taint framework for native
code.  This is the kind of thing that's trivial to implement for Java but
so far intractable for native code.


On Thu, Jun 13, 2013 at 6:13 PM, Sean Silva <silvas at purdue.edu> wrote:

> Could you maybe give some example use cases?
>
> Also, "sanitizer" may not be the best name for this, since it
doesn't
> really sanitize anything.
>
> -- Sean Silva
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20130613/9c61174b/attachment.html>