Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
37bee67ea7e8cec219cb7c0f9256a9aa96c0c476
/
lib
/
StaticAnalyzer
/
Checkers
/
OSAtomicChecker.cpp
5f9e272
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
by Chris Lattner
· 13 years ago
6b4f567
Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without
by Ted Kremenek
· 14 years ago
ec8605f
[analyzer] Rename CheckerV2 -> Checker.
by Argyrios Kyrtzidis
· 14 years ago
f029366
[analyzer] Migrate OSAtomicChecker to CheckerV2.
by Argyrios Kyrtzidis
· 14 years ago
9b66371
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
by Ted Kremenek
· 14 years ago
04291a7
[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h
by Argyrios Kyrtzidis
· 14 years ago
2114258
Chris Lattner has strong opinions about directory layout. :)
by Ted Kremenek
· 14 years ago
[Renamed (98%) from lib/EntoSA/Checkers/OSAtomicChecker.cpp]
3a8f40e
Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile.
by Ted Kremenek
· 14 years ago
[Renamed (98%) from lib/GR/Checkers/OSAtomicChecker.cpp]
9ef6537
Rename static analyzer namespace 'GR' to 'ento'.
by Ted Kremenek
· 14 years ago
d2592a3
[analyzer] Refactoring: Drop the 'GR' prefix.
by Argyrios Kyrtzidis
· 14 years ago
5a4f98f
[analyzer] Refactoring: Move stuff into namespace 'GR'.
by Argyrios Kyrtzidis
· 14 years ago
a7af5ea
[analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers
by Argyrios Kyrtzidis
· 14 years ago
[Renamed from lib/GR/OSAtomicChecker.cpp]
bce30c5
[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore
by Argyrios Kyrtzidis
· 14 years ago
[Renamed from lib/Checker/OSAtomicChecker.cpp]
98cabba
[analyzer] Refactoring: include/clang/Checker -> include/clang/GR
by Argyrios Kyrtzidis
· 14 years ago
d048c6e
Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.
by Ted Kremenek
· 14 years ago
c8413fd
Merge ValueManager into SValBuilder.
by Ted Kremenek
· 14 years ago
28f47b9
Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'.
by Ted Kremenek
· 14 years ago
9c14953
Rename all 'EvalXXX' methods in libChecker to 'evalXXX'.
by Ted Kremenek
· 14 years ago
846eabd
Rename 'SValuator' to 'SValBuilder'. The new name
by Ted Kremenek
· 14 years ago
018220c
MemRegion can refer to ASTContext without external help.
by Zhongxing Xu
· 14 years ago
3992a50
Constify.
by Zhongxing Xu
· 14 years ago
2470446
add comments.
by Zhongxing Xu
· 14 years ago
71f219a
add comments.
by Zhongxing Xu
· 14 years ago
85fe6f1
Remove stray #include.
by Ted Kremenek
· 15 years ago
1397663
Revert 95541.
by Ted Kremenek
· 15 years ago
6f8c430
Rename: GRState::getSVal(Stmt*) => getExprVal(),
by Zhongxing Xu
· 15 years ago
814e6b9
Cast evaluation no longer touch GRState.
by Zhongxing Xu
· 15 years ago
1309f9a
Split libAnalysis into two libraries: libAnalysis and libChecker.
by Ted Kremenek
· 15 years ago
[Renamed (98%) from lib/Analysis/OSAtomicChecker.cpp]
c50e6df
Switch RegionStore over to using <BaseRegion+raw offset> to store
by Ted Kremenek
· 15 years ago
a0f7727
Teach OSAtomicChecker that a FunctionDecl's name isn't always a simple IdentifierInfo*.
by Ted Kremenek
· 15 years ago
6bcd5a0
Fix null dereference in OSAtomicChecker and special case SymbolicRegions. We still aren't handling them correctly; I've added to failing test cases to test/Analysis/NSString-failed-cases.m that should pass and then be merged in to test/Analysis/NSString.m.
by Ted Kremenek
· 15 years ago
1ec4e97
Refactor OSAtomic evaluation logic into OSAtomicChecker.
by Zhongxing Xu
· 15 years ago