<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 19, 2015 at 4:14 PM, Romanova, Katya <span dir="ltr"><<a href="mailto:Katya_Romanova@playstation.sony.com" target="_blank" onclick="window.open('https://mail.google.com/mail/?view=cm&tf=1&to=Katya_Romanova@playstation.sony.com&cc=&bcc=&su=&body=','_blank');return false;">Katya_Romanova@playstation.sony.com</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">





<div lang="EN-US" link="blue" vlink="purple">
<div>
<pre><span style="font-size:11pt;font-family:Calibri,sans-serif">Hello,<u></u><u></u></span></pre>
<pre><span style="font-size:11pt;font-family:Calibri,sans-serif">I have several low priority UBSan questions… <u></u><u></u></span></pre>
<pre><span style="font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></span></pre>
<pre><span style="font-size:11pt;font-family:Calibri,sans-serif">(1) Is there a way for UBSan to print its output to a file that the user specified (e.g. via option) instead of dumping everything on stderr? </span></pre></div></div></blockquote><div><br></div><div>UBSAN_OPTIONS=log_path=YOUR_FILE </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"><div lang="EN-US" link="blue" vlink="purple"><div><pre><u></u><u></u></pre>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">(2) Out of curiosity, why is the name of the option for printing the stacktrace spelled<u></u><u></u></p>
<pre>"UBSAN_OPTIONS=print_stacktrace=1"<span style="font-size:11pt;font-family:Calibri,sans-serif">, though the allowed value is 1?</span></pre></div></div></blockquote><div>the other allowed value is 0, and this is just a common syntax for all the flags.  </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"><div lang="EN-US" link="blue" vlink="purple"><div><pre><span style="font-size:11pt;font-family:Calibri,sans-serif"><u></u><u></u></span></pre>
<p class="MsoNormal">Since the only one value is accepted, maybe it's more practical (and intuitive) to spell it<u></u><u></u></p>
<pre>"UBSAN_OPTIONS=print_stacktrace"<u></u><u></u></pre>
<pre><span style="font-family:Calibri,sans-serif"><u></u> <u></u></span></pre>
<p class="MsoNormal">(4) Do you know if there is better (i.e. more complete) documentation for UBSan somewhere?</p></div></div></blockquote><div><br></div><div>We hope to have <a href="http://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html">clang.llvm.org/docs/UndefinedBehaviorSanitizer.html</a> or some such in at most ~2 weeks (yes, this is long overdue, sorry). </div><div><br></div><div> </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"><div lang="EN-US" link="blue" vlink="purple"><div><p class="MsoNormal"><u></u><u></u></p>
<p class="MsoNormal">This one is pretty good, but it doesn't talk about many things. E.g. it doesn't describe the runtime options that are possible to pass to UBSan (like the one that I talked about earlier).<u></u><u></u></p>
<p class="MsoNormal"><a href="http://clang.llvm.org/docs/UsersManual.html" target="_blank">http://clang.llvm.org/docs/UsersManual.html</a><u></u><u></u></p>
<p class="MsoNormal">This page below doesn't seems to mention UBSan at all (unlike the others most commonly used sanitizers). Is it done on purpose? Or it’s a work in progress?<u></u><u></u></p>
<p class="MsoNormal"><a href="http://clang.llvm.org/docs/" target="_blank">http://clang.llvm.org/docs/</a><u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Thanks, Katya.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
</div>

</blockquote></div><br></div></div>