Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
ff6f66e33f234d4bba16c9149476d691e2c96ca9
/
lib
/
Checker
/
PthreadLockChecker.cpp
1397663
Revert 95541.
by Ted Kremenek
· 14 years ago
6f8c430
Rename: GRState::getSVal(Stmt*) => getExprVal(),
by Zhongxing Xu
· 14 years ago
6b67630
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
by Ted Kremenek
· 15 years ago
1309f9a
Split libAnalysis into two libraries: libAnalysis and libChecker.
by Ted Kremenek
· 15 years ago
[Renamed (95%) from lib/Analysis/PthreadLockChecker.cpp]
ba5fb5a
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
by Kovarththanan Rajaratnam
· 15 years ago
eb1c7a0
Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks.
by Ted Kremenek
· 15 years ago
fe37d04
PthreadLockChecker doesn't need PreVisitCallExpr() yet. All the current logic should be done in PostVisitCallExpr()
by Ted Kremenek
· 15 years ago
ac9bea8
Add most of the boilerplate logic for a simple pthread_mutux_lock() -> pthread_mutex_unlock() checker. We need to add a visitor method to Checker for handling dead symbols in order to detect locks that are not unlocked.
by Ted Kremenek
· 15 years ago