Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 083128f6b13dfa4fc615a838c49b516d901b1ac0 / test / Analysis / array-struct.c
  1. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 16 years ago
  2. 4f3dc69 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 16 years ago
  3. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 16 years ago
  4. 680523a Implement -Wconversion. Off by default, in the non-gcc group. There's by John McCall · 16 years ago
  5. 9668b1f 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
  6. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 16 years ago
  7. ae87ce7 Remove stale comment and fix RUN line. by Ted Kremenek · 16 years ago
  8. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 16 years ago
  9. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
  10. a03f157 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 16 years ago
  11. 49e2e99 Now this test case passes. by Zhongxing Xu · 16 years ago
  12. 6bd8a52 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 16 years ago
  13. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  14. 3f6978a Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the by Zhongxing Xu · 16 years ago
  15. 9184412 Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). by Zhongxing Xu · 16 years ago
  16. 2acc399 Add comments to test case. by Zhongxing Xu · 16 years ago
  17. 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
  18. 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
  19. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
  20. 3e001f3 region store: make Retrieve() can retrieve embedded array correctly. Also by Zhongxing Xu · 16 years ago
  21. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  22. c57bc59 add test case. by Zhongxing Xu · 16 years ago
  23. 3450a55 add test case. by Zhongxing Xu · 16 years ago
  24. 9457a80 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 16 years ago
  25. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  26. 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 16 years ago
  27. b61f49c Add a test case for init expr of array and struct type. by Zhongxing Xu · 16 years ago
  28. 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 · 16 years ago
  29. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  30. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago
  31. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  32. 34a8347 remove a test case that causes compiler warning. by Zhongxing Xu · 16 years ago
  33. 27cae9e Add test for initializing array with string literal. by Zhongxing Xu · 16 years ago
  34. 661fc39 Add documentation for test. by Zhongxing Xu · 17 years ago
  35. 33d7cbf Add no-warning to test case. by Zhongxing Xu · 17 years ago
  36. ea06544 Improve test case. by Zhongxing Xu · 17 years ago
  37. 617ff31 Add test cast for struct array. by Zhongxing Xu · 17 years ago
  38. 512cdb5 Re-enable array-struct test. by Zhongxing Xu · 17 years ago
  39. 82bd99f - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 17 years ago
  40. 26134a1 Add test for unsigned array index. by Zhongxing Xu · 17 years ago
  41. fb75b25 Add test for incomplete struct pointer. by Zhongxing Xu · 17 years ago
  42. b670133 Add a test case for alloca(). by Zhongxing Xu · 17 years ago
  43. 7b2d21e Append the test runs with '&&'. by Argyrios Kyrtzidis · 17 years ago
  44. 04b90bc Add function side-effect test cast. by Zhongxing Xu · 17 years ago
  45. df2aa1e Add test code for array initialization. by Zhongxing Xu · 17 years ago
  46. 234a7d2 Add test for SCA region store. by Zhongxing Xu · 17 years ago
  47. 2e97120 Add StringLiteral test code. by Zhongxing Xu · 17 years ago
  48. 72e1682 Add random array and struct test code for SCA. by Zhongxing Xu · 17 years ago
  49. ef8b28e Add test case for array and struct variable lvalue evaluation. by Zhongxing Xu · 17 years ago