summaryrefslogtreecommitdiffstats
path: root/test/Analysis/no-outofbounds.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-1/+1
* Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek2011-07-281-1/+0
* Rework checker "packages" and groups to be more hierarchical.Ted Kremenek2011-03-241-2/+2
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-2/+2
* [analyzer] Migrate MallocChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-1/+3
* [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis2011-02-241-2/+2
* Add a new symbol type, SymbolExtent, to represent the extents of memory regio...Jordy Rose2010-07-041-0/+11
* When a constant size array is casted to another type, its length should be sc...Jordy Rose2010-06-251-0/+6
* Use the element type to compute the array size when the base region is a VarR...Zhongxing Xu2010-04-011-1/+2
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-2/+2
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151-2/+2
* Replace clang-cc with clang -cc1.Zhongxing Xu2009-12-141-2/+2
* Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek2009-11-131-2/+2
* Reimplement out-of-bound array access checker with the new checker interface.Zhongxing Xu2009-11-111-0/+1
* Eliminate &&s in tests.Daniel Dunbar2009-11-081-1/+1
* Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek2009-07-291-1/+0
* Rename test file.Ted Kremenek2009-07-101-0/+13
* Rename no-outofbounds.c to xfail-no-outofbounds.c and split off thatTed Kremenek2009-05-041-8/+0
* array indexes are unsigned integers of the same width as pointer.Zhongxing Xu2009-05-041-1/+1
* BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.Ted Kremenek2009-05-041-0/+8