<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Apr 20, 2016 at 10:18 AM, Renato Golin <span dir="ltr"><<a href="mailto:renato.golin@linaro.org">renato.golin@linaro.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span class="gmail-">On 20 April 2016 at 15:07, Filipe Cabecinhas <<a href="mailto:filcab@gmail.com">filcab@gmail.com</a>> wrote:<br>
> The "external DSO" case also exists, but unless the DSO is also<br>
> instrumented, you'd get lots of false-negatives (which aren't "a big<br>
> problem" with the sanitizers, but of course we want to minimize them<br>
> (you'd do it by also instrumenting the DSO)).<br></span></blockquote><div><br></div><div>We could also perform hybrid execution, i.e., execute the compiler instrumented code natively and execute external DSO code under a dynamic binary instrumentation system like <a href="http://www.dynamorio.org">DynamoRIO</a>.<br></div><div>That would be a totally different topic.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span class="gmail-"><br>
</span>Indeed.<br>
<br>
cheers,<br>
--renato<br>
<span class="gmail-"><br>
--<br>
You received this message because you are subscribed to the Google Groups "efficiency-sanitizer" group.<br>
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:efficiency-sanitizer%2Bunsubscribe@google.com">efficiency-sanitizer+unsubscribe@google.com</a>.<br>
To post to this group, send email to <a href="mailto:efficiency-sanitizer@google.com">efficiency-sanitizer@google.com</a>.<br>
</span>To view this discussion on the web visit <a href="https://groups.google.com/a/google.com/d/msgid/efficiency-sanitizer/CAMSE1kfT7NyOMHiZknMXsAADYZXvra559y_%2Bixd5pQZcrdYaAA%40mail.gmail.com" rel="noreferrer">https://groups.google.com/a/google.com/d/msgid/efficiency-sanitizer/CAMSE1kfT7NyOMHiZknMXsAADYZXvra559y_%2Bixd5pQZcrdYaAA%40mail.gmail.com</a>.<br>
</blockquote></div><br></div></div>