[cfe-dev] Proposal for thread safety attributes for Clang

[Jordy Rose]

It's worth noting that Rui Paulo was also working on at least a simple form of lock analysis for the static analyzer. Unfortunately my mail filters seemed to have thrown away some replies to my messages, so I only just responded to his latest patch. The subject line (on cfe-commits) is "PthreadLock Checker enhancements".

Jordy


On Jul 14, 2011, at 15:46, Chandler Carruth wrote:

> To clarify one particular (but hopefully small) point...
> 
> On Thu, Jul 14, 2011 at 3:09 PM, Caitlin Sadowski <supertri at google.com> wrote:
>> However, our core synchronization libraries have
>> been successfully annotated, and it looks like less than 15% of
>> annotated code is impacted by these limitations.
> 
> The limitations should take the form of "we can't provide warnings for improper locking", not false positives.
> 
> 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.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev