Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
30ecfad3af057bff74d1c98099eda0677525574e
/
test
/
Analysis
/
no-outofbounds.c
033a07e
[analyzer] rename all experimental checker packages to have 'experimental' be the common root package.
by Ted Kremenek
· 13 years ago
a4c7a43
Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge.
by Ted Kremenek
· 13 years ago
5188507
Rework checker "packages" and groups to be more hierarchical.
by Ted Kremenek
· 14 years ago
c4d2c90
[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award.
by Argyrios Kyrtzidis
· 14 years ago
312dbec
[analyzer] Migrate MallocChecker to CheckerV2.
by Argyrios Kyrtzidis
· 14 years ago
65d3925
[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore.
by Argyrios Kyrtzidis
· 14 years ago
32f2656
Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.
by Jordy Rose
· 14 years ago
4d912b2
When a constant size array is casted to another type, its length should be scaled as well.
by Jordy Rose
· 14 years ago
9618b85
Use the element type to compute the array size when the base region is a VarRegion.
by Zhongxing Xu
· 15 years ago
565e465
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
by Ted Kremenek
· 15 years ago
a572887
Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.
by Daniel Dunbar
· 15 years ago
ef74f4c
Replace clang-cc with clang -cc1.
by Zhongxing Xu
· 15 years ago
8382cf5
Add clang-cc option "--analyzer-experimental-internal-checks". This
by Ted Kremenek
· 15 years ago
58e689f
Reimplement out-of-bound array access checker with the new checker interface.
by Zhongxing Xu
· 15 years ago
4fcfde4
Eliminate &&s in tests.
by Daniel Dunbar
· 15 years ago
f7a0cf4
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
by Ted Kremenek
· 15 years ago
cad9fef
Rename test file.
by Ted Kremenek
· 15 years ago
[Renamed from test/Analysis/no-outofbounds-basicstore.c]
2f08991
RegionStoreManager also passes this test file.
by Ted Kremenek
· 15 years ago
c037eac
Switch BasicStoreManager to use the new CastRegion implementation by default,
by Ted Kremenek
· 15 years ago
e1cea75
Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'.
by Ted Kremenek
· 15 years ago
0b9ad89
Rename no-outofbounds.c to xfail-no-outofbounds.c and split off that
by Ted Kremenek
· 16 years ago
[Renamed (66%) from test/Analysis/no-outofbounds.c]
b5b848e
array indexes are unsigned integers of the same width as pointer.
by Zhongxing Xu
· 16 years ago
20bd746
BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.
by Ted Kremenek
· 16 years ago