Commits · ddddca3e6d6559d8a9f1af476b82bf9bb0a90cef · Roger Ferrer / llvm-epi · GitLab

Aug 04, 2011
- [analyzer] rename all experimental checker packages to have 'experimental' be... · 3f955e6d
  Ted Kremenek authored Aug 03, 2011
  3f955e6d
Jul 29, 2011
- Really remove FlatStoreManager and BasicStoreManager, this time from the... · 73665188
  Ted Kremenek authored Jul 28, 2011
  73665188
Mar 24, 2011
- Rework checker "packages" and groups to be more hierarchical. · 49c79790
  Ted Kremenek authored Mar 24, 2011
  49c79790
Feb 28, 2011
- [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. · 9eb02dfa
  Argyrios Kyrtzidis authored Feb 28, 2011
  9eb02dfa
- [analyzer] Migrate MallocChecker to CheckerV2. · 183f0fb4
  Argyrios Kyrtzidis authored Feb 28, 2011
  183f0fb4
Feb 24, 2011
- [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't... · b388f77a
  Argyrios Kyrtzidis authored Feb 24, 2011
  b388f77a
Jul 04, 2010
- Add a new symbol type, SymbolExtent, to represent the extents of memory... · 674bd55f
  Jordy Rose authored Jul 04, 2010
  674bd55f
Jun 26, 2010
- When a constant size array is casted to another type, its length should be scaled as well. · c3bcc36a
  Jordy Rose authored Jun 25, 2010
  c3bcc36a
Apr 01, 2010
- Use the element type to compute the array size when the base region is a VarRegion. · 640aad76
  Zhongxing Xu authored Apr 01, 2010
  640aad76
Feb 05, 2010
- Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. · 2f2692f8
  Ted Kremenek authored Feb 05, 2010
  2f2692f8
Dec 15, 2009
- Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. · 8fbe78f6
  Daniel Dunbar authored Dec 15, 2009
  8fbe78f6
Dec 14, 2009
- Replace clang-cc with clang -cc1. · 27f686f8
  Zhongxing Xu authored Dec 14, 2009
  27f686f8
Nov 13, 2009
- Add clang-cc option "--analyzer-experimental-internal-checks". This · 4ef13f8a
  Ted Kremenek authored Nov 13, 2009
  4ef13f8a
Nov 11, 2009
- Reimplement out-of-bound array access checker with the new checker interface. · 4f7759a3
  Zhongxing Xu authored Nov 11, 2009
  4f7759a3
Nov 08, 2009
- Eliminate &&s in tests. · 8b576979
  Daniel Dunbar authored Nov 08, 2009
  8b576979
Jul 29, 2009
- Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only · 4301526e
  Ted Kremenek authored Jul 29, 2009
  4301526e
Jul 10, 2009
- Rename test file. · e057d4e5
  Ted Kremenek authored Jul 10, 2009
  e057d4e5
- RegionStoreManager also passes this test file. · 3fcf628b
  Ted Kremenek authored Jul 10, 2009
  3fcf628b
- Switch BasicStoreManager to use the new CastRegion implementation by default, · f6655797
  Ted Kremenek authored Jul 10, 2009
  f6655797
Jul 06, 2009
- Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line... · eea8c29a
  Ted Kremenek authored Jul 06, 2009
  eea8c29a
May 04, 2009
- Rename no-outofbounds.c to xfail-no-outofbounds.c and split off that · 238d0b6e
  Ted Kremenek authored May 04, 2009
  238d0b6e
- array indexes are unsigned integers of the same width as pointer. · 6ebde279
  Zhongxing Xu authored May 04, 2009
  6ebde279
- BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. · 758fda42
  Ted Kremenek authored May 04, 2009
  758fda42
May 03, 2009
- Add RegionStore test that illustrates a bogus array-out-of-bounds error. · 055797b7
  Ted Kremenek authored May 03, 2009
  055797b7