Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / fe0a0fb65f18a8495d97a700ca62fe639ffd85e9 / test / Analysis / outofbound.c
  1. 540dda6 Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) by Ted Kremenek · 14 years ago
  2. 7d11c3f [analyzer] add more buffer overflow tests to show we handle sizeof(VLA) in obstruse ways... by Ted Kremenek · 14 years ago
  3. 033a07e [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. by Ted Kremenek · 14 years ago
  4. 5188507 Rework checker "packages" and groups to be more hierarchical. by Ted Kremenek · 14 years ago
  5. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  6. 1034870 [analyzer] Migrate BuiltinFunctionChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  7. 6dd4dff [analyzer] Remove '-analyzer-experimental-checks' flag. by Argyrios Kyrtzidis · 14 years ago
  8. 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 14 years ago
  9. 8be5b3a [analyzer] Migrate ArrayBoundChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  10. 35001ca Enhance the array bounds checking to work for several other constructs, by Chandler Carruth · 14 years ago
  11. e701117 - Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking. by Jordy Rose · 15 years ago
  12. 8556cc4 Add a test for alloca region extents. by Jordy Rose · 15 years ago
  13. b7e3aab Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still unimplemented. A VLA region's sizeof value matches its extent. by Jordy Rose · 15 years ago
  14. 52e04c5 Track extents for VLAs. by Jordy Rose · 15 years ago
  15. 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 · 15 years ago
  16. 4d912b2 When a constant size array is casted to another type, its length should be scaled as well. by Jordy Rose · 15 years ago
  17. a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 15 years ago
  18. 9618b85 Use the element type to compute the array size when the base region is a VarRegion. by Zhongxing Xu · 15 years ago
  19. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 16 years ago
  20. 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 16 years ago
  21. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 16 years ago
  22. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 16 years ago
  23. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 16 years ago
  24. 58e689f Reimplement out-of-bound array access checker with the new checker interface. by Zhongxing Xu · 16 years ago
  25. d739021 Switch XFAIL format to match LLVM. by Daniel Dunbar · 16 years ago
  26. 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
  27. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  28. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  29. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  30. f9e9684 Test more array logic in outofbound.c by Ted Kremenek · 17 years ago
  31. 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
  32. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 17 years ago
  33. e3a46b0 This test now passes. by Ted Kremenek · 17 years ago
  34. cfec1db Temporarily XFAIL these tests. by Ted Kremenek · 17 years ago
  35. 4b89e03 Strings are NULL terminated. So the region size should plus one. by Zhongxing Xu · 17 years ago
  36. 20f0178 Add test case for out-of-bound memory access checking. by Zhongxing Xu · 17 years ago