summaryrefslogtreecommitdiff
path: root/test/Analysis/pthreadlock.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] PthreadLockChecker: model failed pthread_mutex_destroy() calls.Artem Dergachev2017-05-291-0/+79
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-1/+1
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-1/+1
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-1/+1
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-1/+1
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-1/+1
* [analyzer] Fix pthread lock tests so that the API comes from a system header.Jordan Rose2014-09-101-23/+17
* [analyzer] Lock checker: Allow pthread_mutex_init to reinitialize a destroyed...Jordan Rose2014-04-011-0/+67
* [analyzer] Lock checker: make sure locks aren't used after being destroyed.Jordan Rose2014-04-011-0/+100
* [analyzer] Add double-unlock detection to PthreadLockChecker.Jordan Rose2014-04-011-0/+96
* Fix analyzer tests.Ted Kremenek2012-08-241-1/+1
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-1/+1
* [analysis] Add checks for double-locking and lock order reversal bugs forJordy Rose2011-07-191-0/+137
View Lorry Controller Status