Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / e8aab7480c2550b51fd60d6eb102b361e70931d7 / clang / test / Analysis / array-struct.c
  1. 28c06b2 [analyzer] Add a test for PR13927 "offsetof replacement flagged as null deref" by Jordan Rose · 13 years ago
  2. 722398f Fix analyzer tests. by Ted Kremenek · 13 years ago
  3. a056d62 Remove BasicConstraintManager. It hasn't been in active service for a while. by Ted Kremenek · 13 years ago
  4. 9bf9af9 Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the same time. by Ted Kremenek · 13 years ago
  5. 3f955e6 [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. by Ted Kremenek · 14 years ago
  6. 7366518 Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. by Ted Kremenek · 14 years ago
  7. 9eb02df [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 15 years ago
  8. a921528 [analyzer] Use the new registration mechanism on some of the experimental internal checkers: by Argyrios Kyrtzidis · 15 years ago
  9. 23f0f4b Move new test (that requires RegionStore) into its own file. by Jordy Rose · 15 years ago
  10. daa1c83 Use a LazyCompoundVal to handle initialization with a string literal, rather than copying each character. by Jordy Rose · 15 years ago
  11. 2f2692f Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 16 years ago
  12. 8fbe78f Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 16 years ago
  13. 27f686f Replace clang-cc with clang -cc1. by Zhongxing Xu · 16 years ago
  14. 4ef13f8 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 16 years ago
  15. f06c684 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 16 years ago
  16. 8b57697 Eliminate &&s in tests. by Daniel Dunbar · 16 years ago
  17. fceb64b Implement -Wconversion. Off by default, in the non-gcc group. There's by John McCall · 16 years ago
  18. 499de42 Add casts to avoid a bunch of unused expr warnings. (They aren't reported right now due to a bug that I intend to fix). Ted, please review. by Anders Carlsson · 16 years ago
  19. 4301526 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 16 years ago
  20. c198657 Remove stale comment and fix RUN line. by Ted Kremenek · 16 years ago
  21. f665579 Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 16 years ago
  22. eea8c29 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
  23. 4744d56 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 16 years ago
  24. 55e0700 Now this test case passes. by Zhongxing Xu · 16 years ago
  25. 6f61070 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 16 years ago
  26. 1642bda Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  27. 519a47d Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the by Zhongxing Xu · 16 years ago
  28. 1075cc0 Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). by Zhongxing Xu · 16 years ago
  29. 1f275ba Add comments to test case. by Zhongxing Xu · 16 years ago
  30. a790760 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
  31. 08a2ede Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
  32. 02e5089 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 17 years ago
  33. 3e3e69b region store: make Retrieve() can retrieve embedded array correctly. Also by Zhongxing Xu · 17 years ago
  34. a45cf5b Rename clang to clang-cc. by Daniel Dunbar · 17 years ago
  35. e40de82 add test case. by Zhongxing Xu · 17 years ago
  36. 5b9223f add test case. by Zhongxing Xu · 17 years ago
  37. 5118946 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 17 years ago
  38. b535181 Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 17 years ago
  39. e37f9af Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 17 years ago
  40. b8365bd Add a test case for init expr of array and struct type. by Zhongxing Xu · 17 years ago
  41. 92d48a7 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
  42. 34fc92f Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 17 years ago
  43. cff637a Add KillStruct to region store. by Zhongxing Xu · 17 years ago
  44. b5670fd MemRegion: by Ted Kremenek · 17 years ago
  45. 9cc7cba remove a test case that causes compiler warning. by Zhongxing Xu · 17 years ago
  46. 5c75919 Add test for initializing array with string literal. by Zhongxing Xu · 17 years ago
  47. f39268a Add documentation for test. by Zhongxing Xu · 17 years ago
  48. 2939a50 Add no-warning to test case. by Zhongxing Xu · 17 years ago
  49. 60d6cd1 Improve test case. by Zhongxing Xu · 17 years ago
  50. 19cad71 Add test cast for struct array. by Zhongxing Xu · 17 years ago
  51. a3b2ef6 Re-enable array-struct test. by Zhongxing Xu · 17 years ago
  52. 7d5389e - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 17 years ago
  53. e9857dd Add test for unsigned array index. by Zhongxing Xu · 17 years ago
  54. b9ec8f5 Add test for incomplete struct pointer. by Zhongxing Xu · 17 years ago
  55. 06a04bd Add a test case for alloca(). by Zhongxing Xu · 17 years ago
  56. a848ced Append the test runs with '&&'. by Argyrios Kyrtzidis · 17 years ago
  57. de297f8 Add function side-effect test cast. by Zhongxing Xu · 17 years ago
  58. 87bfa43 Add test code for array initialization. by Zhongxing Xu · 17 years ago
  59. 7a2ce56 Add test for SCA region store. by Zhongxing Xu · 17 years ago
  60. 80422b0 Add StringLiteral test code. by Zhongxing Xu · 17 years ago
  61. d2f0c7b Add random array and struct test code for SCA. by Zhongxing Xu · 17 years ago
  62. 0dd213f Add test case for array and struct variable lvalue evaluation. by Zhongxing Xu · 17 years ago