<div>To clarify one particular (but hopefully small) point...</div><br><div class="gmail_quote">On Thu, Jul 14, 2011 at 3:09 PM, Caitlin Sadowski <span dir="ltr"><<a href="mailto:supertri@google.com">supertri@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 id=":1f0">However, our core synchronization libraries have<br>
been successfully annotated, and it looks like less than 15% of<br>
annotated code is impacted by these limitations.</div></blockquote></div><br><div>The limitations should take the form of "we can't provide warnings for improper locking", not false positives.</div><div><br>
</div><div>My hope is that work on more advanced and thorough checking of these locking behaviors can be implemented in the static analyzer, based on the core attributes, but using more expensive analysis techniques and showing possible errors as well as definite errors.</div>