Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / c037eac3bda3c636c961aab6377beea3242e81e4 / test / Analysis
  1. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  2. 5997888 Fix: <rdar://problem/7034511> ValueManager::makeIntVal(uint64_t X, QualType T) should return a 'Loc' when 'T' is a pointer by Ted Kremenek · 15 years ago
  3. 169077d NewCastRegion: Handle casts *from* pointers to incomplete structs to other types. by Ted Kremenek · 15 years ago
  4. 411af40 StoreManager::NewCastRegion: by Ted Kremenek · 15 years ago
  5. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  6. 6d4b76d Fix <rdar://problem/7033733>. The CF_RETURNS_RETAINED attribute should work if the return type on an Objective-C method is a CF type reference, not just an Objective-C object reference. by Ted Kremenek · 15 years ago
  7. c5771fd add test case for r74407. by Zhongxing Xu · 15 years ago
  8. ed47fc6 Fix a horrible CFG bug reported in <rdar://problem/7027684>. The wrong successor by Ted Kremenek · 15 years ago
  9. dc14726 Enhance RegionStore to lazily symbolicate fields and array elements for by Ted Kremenek · 15 years ago
  10. dac5bd4 Temporarily disable RegionStore for stack-addr-ps.c, as a new test case reveals by Ted Kremenek · 15 years ago
  11. 921109a Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to by Ted Kremenek · 15 years ago
  12. 7abe019 When retrieving element region, if its super region has binding, return by Zhongxing Xu · 15 years ago
  13. a03f157 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 15 years ago
  14. 49e2e99 Now this test case passes. by Zhongxing Xu · 15 years ago
  15. 6bd8a52 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 15 years ago
  16. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  17. 5414a5c Return UnknownVal for pointer arithmetic on struct fields. by Zhongxing Xu · 15 years ago
  18. 45257c3 A further step of r73690: associate the cast-to type with the created symbol, by Zhongxing Xu · 16 years ago
  19. 005f07b If the SymbolicRegion was cast to another type, use that type to create the by Zhongxing Xu · 16 years ago
  20. 59c03ff Modify test case comments. by Zhongxing Xu · 16 years ago
  21. 88c675f When casting region, if we do not create an element region, record the cast-to by Zhongxing Xu · 16 years ago
  22. fdd8b8e Add IOKit test cases for retain/release checker. by Ted Kremenek · 16 years ago
  23. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  24. 78d5b5e Do not invalidate unboundable regions in GRSimpleVals::EvalCall(). by Zhongxing Xu · 16 years ago
  25. 3f6978a Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the by Zhongxing Xu · 16 years ago
  26. 547d495 Fix: by Ted Kremenek · 16 years ago
  27. b9d8db8 Enhance attribute cf_returns_retained to also work (in the analyzer) by Ted Kremenek · 16 years ago
  28. 0b308ad Clean up builtin lists, add a few new builtins. (I re-sorted the by Eli Friedman · 16 years ago
  29. 56db7e8 Add more retain-checker tests for GC mode when using NSMakeCollectable. by Ted Kremenek · 16 years ago
  30. 767d649 Add special cases to retain checker for 'create' methods in QCView, QCRenderer, and CIContext (Apple APIs). by Ted Kremenek · 16 years ago
  31. 9184412 Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). by Zhongxing Xu · 16 years ago
  32. 2acc399 Add comments to test case. by Zhongxing Xu · 16 years ago
  33. 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
  34. c219a15 Remove the -arch option from clang-cc: for all practical purposes, it's by Eli Friedman · 16 years ago
  35. ba67f6a Fix PR 4230: Don't flag leaks of NSAutoreleasePools until we know that we aren' at the top-most scope of autorelease pools. by Ted Kremenek · 16 years ago
  36. 759f252 PR3009: Get rid of bogus warning for scalar compound literals. by Eli Friedman · 16 years ago
  37. fae664a Fix: <rdar://problem/6893565> False positive: don't flag leaks for return types that cannot be determined to be CF types by Ted Kremenek · 16 years ago
  38. 7db1604 Fix crash when deriving the enclosing summary of a method whose first selector slot has a null IdentifierInfo*. This happens when analyzing Growl. by Ted Kremenek · 16 years ago
  39. 3043766 Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a retained object. by Ted Kremenek · 16 years ago
  40. 5dc53c9 Add some basic type checking for attributes ns_returns_retained and by Ted Kremenek · 16 years ago
  41. 0c31317 Enhance diagnostics value tracking logic for null dereferences and uninitialized values. by Ted Kremenek · 16 years ago
  42. 70b6a83 Fix crasher reported in PR 4209 caused by an invalid summary by Ted Kremenek · 16 years ago
  43. 2033a95 Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking. by Ted Kremenek · 16 years ago
  44. 78a35a3 Fix: <rdar://problem/6320065> false positive - init method returns an object owned by caller by Ted Kremenek · 16 years ago
  45. 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
  46. 6738b73 Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the same treatment as CF objects by Ted Kremenek · 16 years ago
  47. ebd5a2d Fix regression reported in <rdar://problem/6866843>. The analyzer should extend the lifetime of an object stored to a container. by Ted Kremenek · 16 years ago
  48. a0cc00d Add test case for <rdar://problem/6257780>. by Ted Kremenek · 16 years ago
  49. 95d3b90 Fix a bug found by Thomas Clement where 'return [[[NSString alloc] init] autorelease]' would emit a false 'too many overreleases' error. by Ted Kremenek · 16 years ago
  50. 82f2be5 Add special warning about returning a retained object where a GC'ed object is expected. by Ted Kremenek · 16 years ago
  51. e8720ce retain/release checker: Flag a warning for non-owned objects returned by Ted Kremenek · 16 years ago
  52. eaedfea analyzer: by Ted Kremenek · 16 years ago
  53. 5bf3287 When casting VarRegion, if the var type is aggregate type and the cast-to by Zhongxing Xu · 16 years ago
  54. 5e8008e8 add comments to test case. by Zhongxing Xu · 16 years ago
  55. 8c6096e Add back test cases for ns_returns_retained and cf_returns_retained. by Ted Kremenek · 16 years ago
  56. 6b62ec9 It lives! The retain/release checker now tracks objects that are sent by Ted Kremenek · 16 years ago
  57. 9f8f026 We want to diagnose sending message to a forward class by Fariborz Jahanian · 16 years ago
  58. 008fc73 Remove experimental ownership attributes from Clang. by Ted Kremenek · 16 years ago
  59. 2572eda Region store: when casting VarRegions, if the cast-to pointee type is by Zhongxing Xu · 16 years ago
  60. fb1e331 Replace the heuristic isSmallerThan with ASTContext::getTypeSize(). by Zhongxing Xu · 16 years ago
  61. 25258f8 Fix <rdar://problem/6845148>. Signed integers compared against pointers should by Ted Kremenek · 16 years ago
  62. 7704a33 More attribute renaming: by Ted Kremenek · 16 years ago
  63. 2c4036e Fix <rdar://problem/6848739>. When using -analyze, -Werror has no effect. by Ted Kremenek · 16 years ago
  64. 4253051 Fix analyzer regression reported in PR 4164: by Ted Kremenek · 16 years ago
  65. 41fd018 Improve RegionStoreManager::getSizeInElements() by Zhongxing Xu · 16 years ago
  66. ccb1616 Implement a heuristic type size comparison method for now. by Zhongxing Xu · 16 years ago
  67. 8898059 Make StoreManager::CastRegion() virtual and implement a new CastRegion() for by Zhongxing Xu · 16 years ago
  68. 69aa080 Implement attribute 'ns_autorelease'. by Ted Kremenek · 16 years ago
  69. 4222f21 Enhance ownership attribute tests with functions that use the attributes! by Ted Kremenek · 16 years ago
  70. e351aa1 Implement attribute 'cf_returns_owned' (mirrors 'ns_returns_owned'). by Ted Kremenek · 16 years ago
  71. d331dd7 Rename ownership attributes: by Ted Kremenek · 16 years ago
  72. 6a08469 Rename attribute 'ns_ownership_returns' to 'ns_returns_ownership'. by Ted Kremenek · 16 years ago
  73. d99b345 Remove experimental attribute 'ns_ownership_make_collectable.' by Ted Kremenek · 16 years ago
  74. 75494ff Rename attributes 'objc_ownership...' to 'ns_ownership...'. by Ted Kremenek · 16 years ago
  75. 65d80fd Fix false positive null dereference by unifying code paths in GRSimpleVals for by Ted Kremenek · 16 years ago
  76. 31c215e Rename attributes: by Ted Kremenek · 16 years ago
  77. 1308f57 Update test case. by Ted Kremenek · 16 years ago
  78. 1c6a3cc Remove support for ObjCMethodDecl attributes that appear between the by Ted Kremenek · 16 years ago
  79. 0b9ad89 Rename no-outofbounds.c to xfail-no-outofbounds.c and split off that by Ted Kremenek · 16 years ago
  80. b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 16 years ago
  81. 8d3d13e Test now passes. I'll hold off merging it with the BasicStore test until we know this is a stable change. by Ted Kremenek · 16 years ago
  82. 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 16 years ago
  83. 9aa829b This test no longer fails. by Ted Kremenek · 16 years ago
  84. fd6b4f3 Handle 'long x = 0; char *y = (char *) x;' by layering an by Ted Kremenek · 16 years ago
  85. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
  86. 9668255 Add RegionStore test that illustrates a bogus array-out-of-bounds error. by Ted Kremenek · 16 years ago
  87. 953e8ab Add failing test case. by Ted Kremenek · 16 years ago
  88. 9251143 Fix: <rdar://problem/6850275> CF objects returned from methods with "new" or "copy" in their name should be treated as owned by Ted Kremenek · 16 years ago
  89. 3e001f3 region store: make Retrieve() can retrieve embedded array correctly. Also by Zhongxing Xu · 16 years ago
  90. b3b0b36 Add CFG support for @synchronized. This fixes <rdar://problem/6848820>. by Ted Kremenek · 16 years ago
  91. 935022a Add another null pointer check test case. by Ted Kremenek · 16 years ago
  92. 956a37d Add another test case found due to an analyzer regression. by Ted Kremenek · 16 years ago
  93. b33f3ad Check for method type conflict between declaration in by Fariborz Jahanian · 16 years ago
  94. a8607d1 StoreManager::CastRegion: by Ted Kremenek · 16 years ago
  95. 9810472 Add function prototype for OSAtomicCompareAndSwap32Barrier. by Ted Kremenek · 16 years ago
  96. 14b74cc Fix run line in failing test case (it was missing the '%s' for the by Ted Kremenek · 16 years ago
  97. 1bc440b Add failing static analyzer case (this crashes). by Ted Kremenek · 16 years ago
  98. 2cd1293 retain/release checker: Hook up attributes 'objc_ownership_retain' and by Ted Kremenek · 16 years ago
  99. 72c9dcd Allow attributes 'objc_ownership_retain' and 'objc_ownership_release' to be by Ted Kremenek · 16 years ago
  100. b27d117 Hook up Sema support for attributes on Objective-C method declarations that by Ted Kremenek · 16 years ago