Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer] Fix pthread lock tests so that the API comes from a system header. | Jordan Rose | 2014-09-10 | 1 | -23/+17 |
* | [analyzer] Lock checker: Allow pthread_mutex_init to reinitialize a destroyed... | Jordan Rose | 2014-04-01 | 1 | -0/+67 |
* | [analyzer] Lock checker: make sure locks aren't used after being destroyed. | Jordan Rose | 2014-04-01 | 1 | -0/+100 |
* | [analyzer] Add double-unlock detection to PthreadLockChecker. | Jordan Rose | 2014-04-01 | 1 | -0/+96 |
* | Fix analyzer tests. | Ted Kremenek | 2012-08-24 | 1 | -1/+1 |
* | [analyzer] rename all experimental checker packages to have 'experimental' be... | Ted Kremenek | 2011-08-03 | 1 | -1/+1 |
* | [analysis] Add checks for double-locking and lock order reversal bugs for | Jordy Rose | 2011-07-19 | 1 | -0/+137 |