summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Supply all checkers with a shouldRegister functionKristof Umann2019-01-261-0/+4
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer][NFC] Move CheckerRegistry from the Core directory to FrontendKristof Umann2018-12-151-1/+1
* [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he...George Karpenkov2018-01-171-14/+9
* [analyzer] PthreadLockChecker: Add printState() method for self-debugging.Artem Dergachev2017-10-101-0/+35
* [analyzer] PthreadLockChecker: model failed pthread_mutex_destroy() calls.Artem Dergachev2017-05-291-13/+133
* [NFC] Header cleanupMehdi Amini2016-07-181-1/+0
* Fix some Clang-tidy modernize warnings, other minor fixes.Eugene Zelenko2015-11-041-3/+3
* [analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin2015-09-161-6/+6
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-10/+10
* Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman2015-06-231-22/+17
* [analyzer] Lock checker: Allow pthread_mutex_init to reinitialize a destroyed...Jordan Rose2014-04-011-0/+39
* [analyzer] Lock checker: make sure locks aren't used after being destroyed.Jordan Rose2014-04-011-29/+121
* [analyzer] Add double-unlock detection to PthreadLockChecker.Jordan Rose2014-04-011-17/+36
* Replace OwningPtr with std::unique_ptr.Ahmed Charles2014-03-071-2/+2
* [C++11] Replace llvm::tie with std::tie.Benjamin Kramer2014-03-021-2/+2
* Expose the name of the checker producing each diagnostic message.Alexander Kornienko2014-02-111-3/+2
* [analyzer] Fix incorrect spelling of 'pthread_rwlock_trywrlock'. Patch by Je...Ted Kremenek2014-01-171-5/+5
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-1/+1
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-1/+1
* [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose2012-11-021-10/+2
* [analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose2012-11-021-2/+2
* Revert my patches which removed Diagnostic.h includes by moving some operator...Benjamin Kramer2012-02-071-1/+0
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-2/+2
* Move various diagnostic operator<< overloads out of line and remove includes ...Benjamin Kramer2012-02-041-0/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-5/+5
* More dead code removal (using -Wunreachable-code)David Blaikie2012-01-201-1/+0
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-6/+11
* [analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks2011-12-011-10/+2
* [analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks2011-10-261-3/+3
* [analyzer] Simplify CheckerContextAnna Zaks2011-10-251-3/+3
* Fix comment typo.Benjamin Kramer2011-09-241-1/+1
* Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks2011-08-171-2/+2
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-8/+8
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-1/+1
* Remove dead code flagged by GCC's -Wunused-but-set-variable.Benjamin Kramer2011-07-311-2/+0
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-1/+1
* [analyzer] Very minor cleanup in PthreadLockChecker. No functionality change.Jordy Rose2011-07-191-9/+9
* [analysis] Add checks for double-locking and lock order reversal bugs forJordy Rose2011-07-191-44/+105
* [analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis2011-03-011-2/+2
* [analyzer] Migrate to CheckerV2:Argyrios Kyrtzidis2011-02-231-24/+15
* [analyzer] Pass CheckerManager to the registration functions.Argyrios Kyrtzidis2011-02-171-1/+6
* [analyzer] Use the new registration mechanism on some of the experimental che...Argyrios Kyrtzidis2011-02-151-2/+2
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-3/+3
* [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/...Argyrios Kyrtzidis2011-02-081-1/+1
* Chris Lattner has strong opinions about directoryTed Kremenek2010-12-231-0/+147