1. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 15 years ago
  2. 951b334 Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes. by Zhongxing Xu · 15 years ago
  3. 604848a Enhance SVals::getAsRegion: get the region that is converted to an integer. by Zhongxing Xu · 15 years ago
  4. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 15 years ago
  5. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 15 years ago
  6. 6bcd5a0 Fix null dereference in OSAtomicChecker and special case SymbolicRegions. We still aren't handling them correctly; I've added to failing test cases to test/Analysis/NSString-failed-cases.m that should pass and then be merged in to test/Analysis/NSString.m. by Ted Kremenek · 15 years ago
  7. 2f4a6b2 OSAtomic simulation: use the original region as the location to load from, by Zhongxing Xu · 15 years ago
  8. 63e963c Handle case of missing '@end' in implementation context by Fariborz Jahanian · 15 years ago
  9. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  10. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  11. 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
  12. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  13. 0aeaf5a Add another analyzer test case involving an OSAtomic function. by Ted Kremenek · 15 years ago
  14. 4393b3f Prep for new warning. by Mike Stump · 15 years ago
  15. ba02486 This test now passes with RegionStore. by Ted Kremenek · 15 years ago
  16. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  17. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  18. c219a15 Remove the -arch option from clang-cc: for all practical purposes, it's by Eli Friedman · 15 years ago
  19. 2033a95 Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking. by Ted Kremenek · 15 years ago
  20. 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 · 15 years ago
  21. 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 · 15 years ago
  22. b3b0b36 Add CFG support for @synchronized. This fixes <rdar://problem/6848820>. by Ted Kremenek · 16 years ago
  23. 9810472 Add function prototype for OSAtomicCompareAndSwap32Barrier. by Ted Kremenek · 16 years ago
  24. a3f4540 Add test case for transfer function logic for OSCompareAndSwap32Barrier. by Ted Kremenek · 16 years ago
  25. 97d095f Further cleanups to isTrackedObjectType(). by Ted Kremenek · 16 years ago
  26. f9df136 retain/release checker: Don't call isTrackedObject() with the canonical type. by Ted Kremenek · 16 years ago
  27. 829bf50 Temporarily remove expected warnings. by Ted Kremenek · 16 years ago
  28. e87450e Per discussions with Ken Ferry and Paul Marks (<rdar://problem/6815234>) greatly by Ted Kremenek · 16 years ago
  29. 09f1419 Added over-release test case. by Ted Kremenek · 16 years ago
  30. b3bf76f Add analyzer support for objc_atomicCompareAndSwap() by Ted Kremenek · 16 years ago
  31. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 16 years ago
  32. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  33. 9457a80 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 16 years ago
  34. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  35. 043254a Update test case. by Ted Kremenek · 16 years ago
  36. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  37. 3148eb4 More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup. by Ted Kremenek · 16 years ago
  38. f536ca3 These test cases now pass with RegionStore. by Ted Kremenek · 16 years ago
  39. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  40. 234a4c2 This commit reflects changes to the retain/release checker motivated by my by Ted Kremenek · 16 years ago
  41. 784606f Added test case for suppressing leak warnings for reference-counted objects passed by-reference to an unknown function. by Ted Kremenek · 16 years ago
  42. 2fb78a7 CF-retain/release checker: by Ted Kremenek · 16 years ago
  43. 4489fe1 Add EXTWARN Diagnostic class. by Daniel Dunbar · 16 years ago
  44. aeca963 Skip the "-dealloc" check if a ObjC class contains no ivars. by Ted Kremenek · 16 years ago
  45. db09a4d Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc]. by Ted Kremenek · 16 years ago
  46. 859be3b Move NSString.m test case from Analysis-Apple to Analysis. The test case now works on all platforms. by Ted Kremenek · 16 years ago