[cfe-commits] Patch: Initial improvements to PthreadLockChecker

[Rui Paulo]

Simplified the previous patch a bit and added a new simple LOR check.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: LockChecker_FirstChecks.diff
Type: application/octet-stream
Size: 4829 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110508/15138936/attachment.obj>
-------------- next part --------------


On May 6, 2011, at 1:03 PM, Rui Paulo wrote:

> Hi,
> 
> The following attached patch adds two locking checks to the static analyzer:
> 1) finds double locking problems
> 2) finds double unlocking problems
> 
> I also added a few lines of code so that this checker can be used with pthread rw locks and also with xnu locks.
> 
> Regards,
> --
> Rui Paulo
> <LockChecker_FirstChecks.diff>_______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

--
Rui Paulo