Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 15755cb8399afa702575a21915daf2f6e56b5ac1 / test / Analysis / outofbound.c
  1. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 16 years ago
  2. 58e689f Reimplement out-of-bound array access checker with the new checker interface. by Zhongxing Xu · 16 years ago
  3. d739021 Switch XFAIL format to match LLVM. by Daniel Dunbar · 16 years ago
  4. 39abcdf Temporarily disable out-of-bounds checking. The current checking logic will not work quite right with the changes I'm about to commit. by Ted Kremenek · 16 years ago
  5. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  6. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  7. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  8. f9e9684 Test more array logic in outofbound.c by Ted Kremenek · 17 years ago
  9. a7ac944 Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic). by Ted Kremenek · 17 years ago
  10. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 17 years ago
  11. e3a46b0 This test now passes. by Ted Kremenek · 17 years ago
  12. cfec1db Temporarily XFAIL these tests. by Ted Kremenek · 17 years ago
  13. 4b89e03 Strings are NULL terminated. So the region size should plus one. by Zhongxing Xu · 17 years ago
  14. 20f0178 Add test case for out-of-bound memory access checking. by Zhongxing Xu · 17 years ago