aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
AgeCommit message (Expand)AuthorFilesLines
2017-05-29[analyzer] PthreadLockChecker: model failed pthread_mutex_destroy() calls.Artem Dergachev1-13/+133
2016-07-18[NFC] Header cleanupMehdi Amini1-1/+0
2015-11-04Fix some Clang-tidy modernize warnings, other minor fixes.Eugene Zelenko1-3/+3
2015-09-16[analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin1-6/+6
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek1-10/+10
2015-06-23Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman1-22/+17
2014-04-01[analyzer] Lock checker: Allow pthread_mutex_init to reinitialize a destroyed...Jordan Rose1-0/+39
2014-04-01[analyzer] Lock checker: make sure locks aren't used after being destroyed.Jordan Rose1-29/+121
2014-04-01[analyzer] Add double-unlock detection to PthreadLockChecker.Jordan Rose1-17/+36
2014-03-07Replace OwningPtr with std::unique_ptr.Ahmed Charles1-2/+2
2014-03-02[C++11] Replace llvm::tie with std::tie.Benjamin Kramer1-2/+2
2014-02-11Expose the name of the checker producing each diagnostic message.Alexander Kornienko1-3/+2
2014-01-17[analyzer] Fix incorrect spelling of 'pthread_rwlock_trywrlock'. Patch by Je...Ted Kremenek1-5/+5
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie1-1/+1
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth1-1/+1
2012-11-02[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose1-10/+2
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose1-2/+2
2012-02-07Revert my patches which removed Diagnostic.h includes by moving some operator...Benjamin Kramer1-1/+0
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith1-2/+2
2012-02-04Move various diagnostic operator<< overloads out of line and remove includes ...Benjamin Kramer1-0/+1
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek1-5/+5
2012-01-20More dead code removal (using -Wunreachable-code)David Blaikie1-1/+0
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek1-6/+11
2011-12-01[analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks1-10/+2
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks1-3/+3
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks1-3/+3
2011-09-24Fix comment typo.Benjamin Kramer1-1/+1
2011-08-17Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks1-2/+2
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek1-8/+8
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek1-1/+1
2011-07-31Remove dead code flagged by GCC's -Wunused-but-set-variable.Benjamin Kramer1-2/+0
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner1-1/+1
2011-07-19[analyzer] Very minor cleanup in PthreadLockChecker. No functionality change.Jordy Rose1-9/+9
2011-07-19[analysis] Add checks for double-locking and lock order reversal bugs forJordy Rose1-44/+105
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis1-2/+2
2011-02-23[analyzer] Migrate to CheckerV2:Argyrios Kyrtzidis1-24/+15
2011-02-17[analyzer] Pass CheckerManager to the registration functions.Argyrios Kyrtzidis1-1/+6
2011-02-15[analyzer] Use the new registration mechanism on some of the experimental che...Argyrios Kyrtzidis1-2/+2
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek1-3/+3
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/...Argyrios Kyrtzidis1-1/+1
2010-12-23Chris Lattner has strong opinions about directoryTed Kremenek1-0/+147
generated by cgit v1.1 at 2025-10-12 08:07:02 +0000