<div style="font-family: arial, helvetica, sans-serif; font-size: 10pt"><br><br><div class="gmail_quote">On Thu, Nov 29, 2012 at 10:04 AM, Richard Smith <span dir="ltr"><<a href="mailto:richard@metafoo.co.uk" target="_blank">richard@metafoo.co.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Wed, Nov 28, 2012 at 9:50 PM, Anna Zaks <span dir="ltr"><<a href="mailto:ganna@apple.com" target="_blank">ganna@apple.com</a>></span> wrote:<br>
</div><div class="gmail_quote"><div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><br>
On Nov 27, 2012, at 2:16 PM, Alexey Samsonov wrote:<br>
<br>
> Hi kcc, rsmith,<br>
><br>
> This patch expose to users three more sanitizers:<br>
> 1) init-order sanitizer: initialization-order checker.<br>
>  Status: usable, but may produce false positives w/o proper blacklisting.<br>
> 2) use-after-return sanitizer<br>
>  Status: implemented, but heavily understed. Should be optional, as<br>
>  it significanlty slows program down.<br>
> 3) use-after-scope sanitizer<br>
>  Status: in progress, also see phabricator patches D140 and D141.<br>
> What do you think on general approach for exposing non-default ASan<br>
> features, and of branding?<br>
><br>
<br>
</div>It might be useful to document these options somewhere as well as the state of usability / supported OSs / false positive rates / overhead for each one. The info above will change and is valuable to whoever would want to experiment with these.<br>

</blockquote><div><br></div></div><div>Thanks, good point, this patch should also update docs/UsersManual.html, which documents the available -fsanitize= values.</div></div></blockquote><div><br></div><div>None of these options are as usable as the main asan yet.</div>
<div>So, if we document them, we need to mark them as "experimental". </div><div><br></div><div>--kcc </div><div> </div></div><br></div>