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 class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im"><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>Thanks, good point, this patch should also update docs/UsersManual.html, which documents the available -fsanitize= values.</div></div>