Simplified the previous patch a bit and added a new simple LOR check.
LockChecker_FirstChecks.diff
Description: Binary data
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 > [email protected] > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits -- Rui Paulo
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
