<div dir="ltr">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.<div><br></div><div style>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.</div>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jun 13, 2013 at 6:13 PM, Sean Silva <span dir="ltr"><<a href="mailto:silvas@purdue.edu" target="_blank">silvas@purdue.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Could you maybe give some example use cases?<div><br></div><div>Also, "sanitizer" may not be the best name for this, since it doesn't really sanitize anything.</div>
<span class="HOEnZb"><font color="#888888"><div><br></div><div>
-- Sean Silva</div></font></span></div>
<br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br></blockquote></div><br></div>