<div dir="ltr">Ping. Any progress on this?<div><br></div><div>-- Sean Silva<br><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Jul 19, 2013 at 1:05 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"><br><div class="gmail_extra"><br><br><div class="gmail_quote"><div class="im">On Fri, Jul 19, 2013 at 5:41 AM, Alexey Samsonov <span dir="ltr"><<a href="mailto:samsonov@google.com" target="_blank">samsonov@google.com</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">Hi Sean!<div><br></div><div>Sorry for the late reply...</div><div><br></div><div>What is the best place for describing the file format? The general format is shared among all sanitizer tools, but there can be sanitizer-specific entries as well.</div>
<div>E.g. we can describe -fsanitize-blacklist/-fno-sanitize-blacklist flags in UsersManual and give a link to new SanitizerSpecialCaseList.rst file, that would describe the format and common</div><div>functionality. Then, in each of the AddressSanitizer, ThreadSanitizer and MemorySanitizer pages we may also give a link to SanitizerSpecialCaseList and describe tool-specific additions (if any).</div>
<div>Does it make sense?</div><div><br></div></div></blockquote><div><br></div></div><div>Splitting out the description of the format makes sense to me.</div><div><br></div><div>Is there a particular reason you suggested the name SanitizerSpecialCaseList.rst instead of SanitizerBlacklist.rst (for consistency with the commandline option name)?</div>
<span class="HOEnZb"><font color="#888888">
<div><br></div><div>-- Sean Silva</div></font></span></div></div></div>
</blockquote></div><br></div></div></div>