Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 12b732a86cc2320dd6bc8fd7ef027b619c554f7e / test / Analysis / out-of-bounds.c
  1. 1d8db49 [analyzer] Rework both constraint managers to handle mixed-type comparisons. by Jordy Rose · 12 years ago
  2. 76462f0 [analyzer] Remove all uses of ConstraintManager::canResonAbout() from by Anna Zaks · 13 years ago
  3. 033a07e [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. by Ted Kremenek · 13 years ago
  4. 8829989 [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. by Ted Kremenek · 13 years ago
  5. 82cfc68 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 · 13 years ago
  6. 5188507 Rework checker "packages" and groups to be more hierarchical. by Ted Kremenek · 13 years ago
  7. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  8. 0535701 [analyzer] Migrate ArrayBoundCheckerV2 to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  9. a0125d8 Add trivial buffer overflow checking in Sema. by Ted Kremenek · 14 years ago
  10. a6b0b96 Add basic support for pointer arithmetic in by Ted Kremenek · 14 years ago
  11. 15a467e It's amazing what you find when you actually by Ted Kremenek · 14 years ago
  12. c478a14 Add WIP prototype of a new buffer overflow by Ted Kremenek · 14 years ago