Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / b26bd7426dd102273be190bf6fb13f7533838154 / test / Analysis / misc-ps-region-store.m
  1. f6a19fb Don't try and symbolicate unions; we don't reason by Ted Kremenek · 14 years ago
  2. 0932360 Fix a corner case in RegionStore where we assign by Ted Kremenek · 14 years ago
  3. bb0ba0b Teach AttrNonNullChecker about transparent unions. Fixes crash reported in <rdar://problem/8642434>. by Ted Kremenek · 14 years ago
  4. a1898dd If visiting RHS causes us to finish 'Block', e.g. the RHS is a StmtExpr by Zhongxing Xu · 14 years ago
  5. 555c77a Don't divide-by-zero in RegionStoreManager::getSizeInElements() when getting the size of a VLA. We don't track VLA extents yet, by Ted Kremenek · 14 years ago
  6. 44f8ef1 Fix CFGBuilder crash reported in PR 8141. by Ted Kremenek · 14 years ago
  7. 818b433 Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 14 years ago
  8. 96ebad6 Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). by Ted Kremenek · 14 years ago
  9. 6610e7e Tweak test case. 'int' would introduce out-of-bound issues. We focus on array by Zhongxing Xu · 14 years ago
  10. ab9f13e Add yet another test case for PR 8015, showing how reasoning over symbolic indices should exactly resolve over multiple index possibilities (and thus suppress the false positive in the test). by Ted Kremenek · 14 years ago
  11. 19c74a0 Add another test case for PR 8015, here with the array index being within a valid range and not just a single constant. by Ted Kremenek · 14 years ago
  12. 41be967 Partial fix for PR 8015 (fix is actually by Jordy Rose, and I added a test case for follow-on work). This patch adds a bandaid for RegionStore's limited reasoning about symbolic array values. by Ted Kremenek · 14 years ago
  13. 1e4a32a Don't assert in the analyzer when analyze code does a byte load from a function's address. Fixes PR 8052. by Ted Kremenek · 14 years ago
  14. 6216dc0 Adjusted the semantics of assign checking in IdempotentOperationChecker by Tom Care · 14 years ago
  15. 6d0e6ce Enabled relaxed LiveVariables analysis in the path-sensitive engine to increase the coverage of bugs. Primarily affects IdempotentOperationChecker. by Tom Care · 14 years ago
  16. 8077638 Add test case for <rdar://problem/8258814>. by Ted Kremenek · 14 years ago
  17. 281e9dc Augment RegionStore::BindStruct() to bind symbolicated struct values. This fixes a false path issue reported in <rdar://problem/8243408> and also spurs another cause where the idempotent operations checker fires. by Ted Kremenek · 14 years ago
  18. 3f8612b Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixes analyzer by Ted Kremenek · 14 years ago
  19. 32f9010 Discard qualifiers for ElementRegions so that a 'const' doesn't change the lookup semantics by Ted Kremenek · 14 years ago
  20. d617b85 Static analyzer: Don't crash when casting a symbolic region address to a float. Fixes PR 6854. by Ted Kremenek · 14 years ago
  21. 1b49d76 Fix PR 6844, a regression caused by the introduction of llvm_unreachable for the default by Ted Kremenek · 14 years ago
  22. 115c1b9 Fix CFG bug where bases of member expressions were not always evaluated in a lvalue context. Fixes <rdar://problem/7813989>. by Ted Kremenek · 14 years ago
  23. 974d97b Fix crash in StoreManager::CastRegion() when the base region is a type with 0 size. by Ted Kremenek · 14 years ago
  24. 68b9a59 Teach MemRegion::getBaseRegion() about ObjCIvarRegions. We want to treat by Ted Kremenek · 14 years ago
  25. 4552ff0 RegionStore: specially handle loads from integer global variables declared 'const'. by Ted Kremenek · 15 years ago
  26. 8891c42 Change the analyzer to recognize (but ignore) assignments to isa. Fixes PR 6302. by Ted Kremenek · 15 years ago
  27. 86d07a1 Add test case for <rdar://problem/7770737>. by Ted Kremenek · 15 years ago
  28. 786cc72 Add test case for <rdar://problem/7242010>, which appears to have been fixed by Ted Kremenek · 15 years ago
  29. 24c37ad Enhance RegionStore::InvalidateRegions() to correctly invalidate bindings by Ted Kremenek · 15 years ago
  30. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
  31. cada305 Add test case showing the analyzer invalidates '__block' variables when the block is passed as an argument to an ObjC method. by Ted Kremenek · 15 years ago
  32. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 15 years ago
  33. 68ebd83 Add assorted test cases from PR 4172. by Ted Kremenek · 15 years ago
  34. fee9081 Teach RegionStore to handle initialization of incomplete arrays in structures using a compound value. Fixes <rdar://problem/7515938>. by Ted Kremenek · 15 years ago
  35. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
  36. 4a749b9 Fix overzealous assertion in GRExprEngine::VisitLValue(). A by Ted Kremenek · 15 years ago
  37. e030358 add a bunch of missing prototypes to tests by Chris Lattner · 15 years ago
  38. cafefbe Add test case for PR 4358. by Ted Kremenek · 15 years ago
  39. 5bbc8e7 Fix PR 5857. When casting from a symbolic region to an integer back to a pointer value, we were not correctly layering the correct ElementRegion on the original SymbolicRegion. by Ted Kremenek · 15 years ago
  40. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 15 years ago
  41. 5348f94 Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference by Ted Kremenek · 15 years ago
  42. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 15 years ago
  43. 2b87ae4 Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>. by Ted Kremenek · 15 years ago
  44. 9f303be Add another blocks test case illustrating how parameters passed-by-reference in block invocations are invalidated (just like function calls). by Ted Kremenek · 15 years ago
  45. 2ffbfd9 Add value invalidation logic for block-captured variables. Conceptually invoking a block (without specific reasoning of what the block does) can invalidate any value to it by reference when the block was created. by Ted Kremenek · 15 years ago
  46. 8a90ac0 Normalize options to use '-FOO' instead of '--FOO'. by Daniel Dunbar · 15 years ago
  47. 7c5c965 Add RegionStore test case that shows that floating point values are also implicitly tracked for undefined values. (test case for <rdar://problem/6811085>). by Ted Kremenek · 15 years ago
  48. 8ea06e9 Add another test case to show the precision of RegionStore over by Ted Kremenek · 15 years ago
  49. 027e266 Fix crash when using --analyzer-store=region when handling initializers with nested arrays/structs whose values are not explicitly specified. Fixes <rdar://problem/7403269>. by Ted Kremenek · 15 years ago
  50. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  51. 4f3dc69 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 15 years ago
  52. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  53. 7344c87 testing: Merge PR3135.c into misc-ps-region-store.m. by Ted Kremenek · 15 years ago
  54. 6f516f5 Sentence-case bug type, and pull tests from region-only-test.c into misc-ps-region.store.m (removing an extra unneeded test file). Also add a bunch of FIXME comments for future enhancements. by Ted Kremenek · 15 years ago
  55. 5bbe789 Handle loading of field values from LazyCompoundVals in GRExprEngine::VisitMemberExpr(). by Ted Kremenek · 15 years ago
  56. 0175619 Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 15 years ago
  57. a65c387 Add test cases for <rdar://problem/7332673>. by Ted Kremenek · 15 years ago
  58. ab22ee9 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 15 years ago
  59. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
  60. 95efe0f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 15 years ago
  61. 9e17cc6 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 15 years ago
  62. a5971b3 Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 15 years ago
  63. 8780679 Fix: by Ted Kremenek · 15 years ago
  64. 8041747 Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers. by Ted Kremenek · 15 years ago
  65. 35dcad8 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 15 years ago
  66. 0954cde Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 15 years ago
  67. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
  68. 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
  69. d4e5a60 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 15 years ago
  70. bfc8168 Add test case. by Zhongxing Xu · 15 years ago
  71. 28ba10c Add test case testing field sensitivity. Reduced from <rdar://problem/7114618>. by Ted Kremenek · 15 years ago
  72. 386af0a Add test case for bug fix in r76262. by Ted Kremenek · 15 years ago
  73. a6275a5 More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. by Ted Kremenek · 15 years ago
  74. 0c10699 Split out 'test2' into an i386 and x86_64 file, illustrating how the by Ted Kremenek · 15 years ago
  75. b4aa484 This test currently only passes for 32-bit archs. by Ted Kremenek · 15 years ago
  76. 60fbe8f Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do this by silently wrapping the region with an ElementRegion. This fixes the failures in misc-ps-region-store.m. by Ted Kremenek · 15 years ago
  77. 54ca9b1 Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case by Ted Kremenek · 15 years ago
  78. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  79. f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 16 years ago
  80. aad45e0 Add test case for RegionStore's tracking of the ivars of 'self'. by Ted Kremenek · 16 years ago
  81. d104a09 Add prototype support for invalidating fields for structures passed-by-reference by Ted Kremenek · 16 years ago
  82. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  83. 2dabd42 The 'misc-ps.m' test case now passes with RegionStore. One case needed to be split out into 'misc-ps-basic-store.m' and 'misc-ps-region-store.m' because the behavior was different between the two store models (RegionStore flags an additional valid bug). by Ted Kremenek · 16 years ago