Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
toolchain
/
llvm-project
/
11d2e1840528ea5e33c655bcb964d404920c47db
/
clang
/
lib
/
StaticAnalyzer
/
Checkers
/
ArrayBoundCheckerV2.cpp
2c1dd27
Basic: import SmallString<> into clang namespace
by Dylan Noblesmith
· 14 years ago
e277899
Basic: import OwningPtr<> into clang namespace
by Dylan Noblesmith
· 14 years ago
4903802
Move a method from IdentifierTable.h out of line and remove the SmallString include.
by Benjamin Kramer
· 14 years ago
3307c508
Move various diagnostic operator<< overloads out of line and remove includes of Diagnostic.h.
by Benjamin Kramer
· 14 years ago
49b1e38
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
by Ted Kremenek
· 14 years ago
b7eac9f
[analyzer] Make VLA checker taint aware.
by Anna Zaks
· 14 years ago
20829c9
[analyzer] Catch the first taint propagation implied buffer overflow.
by Anna Zaks
· 14 years ago
da4c8d6
[analyzer] Rename generateNode -> addTransition in CheckerContext
by Anna Zaks
· 14 years ago
3e0f415
[analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself.
by Anna Zaks
· 14 years ago
3a6bdf8
Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME.
by Anna Zaks
· 14 years ago
001fd5b
Rename GRState to ProgramState, and cleanup some code formatting along the way.
by Ted Kremenek
· 14 years ago
5ef32db
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.
by Ted Kremenek
· 14 years ago
0e62c1c
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
by Chris Lattner
· 14 years ago
8a4c760
ArrayBoundCheckerV2: don't arbitrarily warn about indexing before the 0-index of a symbolic region. In many cases that isn't really the base offset.
by Ted Kremenek
· 15 years ago
6a5674f
[analyzer] Rename CheckerV2 -> Checker.
by Argyrios Kyrtzidis
· 15 years ago
0a9ce3e
[analyzer] Migrate ArrayBoundCheckerV2 to CheckerV2.
by Argyrios Kyrtzidis
· 15 years ago
f8cbac4
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
by Ted Kremenek
· 15 years ago
f99d595
[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h
by Argyrios Kyrtzidis
· 15 years ago
1790c97
[analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently distinguish between loads/stores.
by Argyrios Kyrtzidis
· 15 years ago
d99bd55
Chris Lattner has strong opinions about directory layout. :)
by Ted Kremenek
· 15 years ago
[Renamed (97%) from clang/lib/EntoSA/Checkers/ArrayBoundCheckerV2.cpp]
ef33f09
Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile.
by Ted Kremenek
· 15 years ago
[Renamed (98%) from clang/lib/GR/Checkers/ArrayBoundCheckerV2.cpp]
98857c9
Rename static analyzer namespace 'GR' to 'ento'.
by Ted Kremenek
· 15 years ago
e73571b
Add WIP prototype of a new buffer overflow
by Ted Kremenek
· 15 years ago