1. d559792 retain/release checker: Place the leak diagnostic after the last statement that by Ted Kremenek · 16 years ago
  2. 81f14a0 Remove unused variable. by Ted Kremenek · 16 years ago
  3. 572b278 Remove logic for computing 'display hint'. by Ted Kremenek · 16 years ago
  4. bb8c5aa More fun with retain checker diagnostics: by Ted Kremenek · 16 years ago
  5. 1f62ef3 Fix diagnostics bugs when computing ranges for the retain/release checker. by Ted Kremenek · 16 years ago
  6. 2701900 retain/release checker: We now emit fancy diagnostics telling users about the by Ted Kremenek · 16 years ago
  7. 1c512f5 retain/release checker: Distinguish in the function summaries between by Ted Kremenek · 16 years ago
  8. fe9e543 Hooked up the necessary machinery to allow the retain/release checker reference by Ted Kremenek · 16 years ago
  9. f5b34b1 retain/release checker: Record the summary used to generate a given node. by Ted Kremenek · 16 years ago
  10. 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
  11. 41573eb Static analyzer: by Ted Kremenek · 16 years ago
  12. 389bf46 Several cleanups: by Steve Naroff · 16 years ago
  13. c5c6000 Fix null dereference. by Ted Kremenek · 17 years ago
  14. d305721 For retain/release leaks, have the BugReport description indicate the allocation site and initial bindings. by Ted Kremenek · 17 years ago
  15. e469fa0 Determining the allocation site for a leak when constructing a CFRefLeakReport. This avoids repeated calls to GetAllocationSite when Profiling a CFRefLeakReport object. by Ted Kremenek · 17 years ago
  16. 66d9706 Split logic for 'getEndPath()' for CFRefReport and CFRefLeakReport. by Ted Kremenek · 17 years ago
  17. c9e3d86 Convert a use of 'std::ostringstream' to 'llvm::raw_string_ostream'. by Ted Kremenek · 17 years ago
  18. a92206e Add 'AppendValue' to the list of magic CF function names that cause a tracked object to escape. Fixes <rdar://problem/6560661>. by Ted Kremenek · 17 years ago
  19. cf70177 Remove a bunch of obscene double-buffering of BugReports in the retain/release by Ted Kremenek · 17 years ago
  20. e45e57f Fix regression: Leak (BugType) object should have 'isLeak()' return true. by Ted Kremenek · 17 years ago
  21. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 17 years ago
  22. 6818928 retain/release checker: When generating summaries for CF/CG functions, allow arguments to "escape" if they are passed to a function containing the terms "InsertValue", "SetValue", or "AddValue". This fixes <rdar://problem/6539791>. by Ted Kremenek · 17 years ago
  23. ea4bc88 Remove '#if 0' code. by Ted Kremenek · 17 years ago
  24. b2bf7cd Remove method 'AddNE' from the public interface of ConstraintManager. by Ted Kremenek · 17 years ago
  25. abf4397 retain/release checker: Always generate an "autorelease" summary for an "autorelease" message, and have the summary processing logic treat it as a no-op in GC mode. This change is motivated to encode more of the semantics in the summaries themselves for eventual better diagnostics. by Ted Kremenek · 17 years ago
  26. 23b8eaa retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected. by Ted Kremenek · 17 years ago
  27. 961b61d retain/release checker: Indicate whether a tracked object is a Core Foundation or Objective-C object. by Ted Kremenek · 17 years ago
  28. a102c0c retain/release checker: More diagnostic refactoring. by Ted Kremenek · 17 years ago
  29. 2d1652e retain/release checker: Embed an "object type" into the RetEffect/RetVal objects to help distinguish between Objective-C and Core Foundation objects (for better diagnostics). by Ted Kremenek · 17 years ago
  30. 611a15a retain/release checker: More cleanups (no real functionality change). by Ted Kremenek · 17 years ago
  31. 103a185 Fix diagnostic truncated by my last patch. by Ted Kremenek · 17 years ago
  32. 5c1cd52 retain/release checker: More diagnostic refactoring. by Ted Kremenek · 17 years ago
  33. 2098280 retain/release checker: Output the name of the function that allocates an object. by Ted Kremenek · 17 years ago
  34. a1f117e Refactor some diagnostic code to use raw_string_ostream. No functionality change. by Ted Kremenek · 17 years ago
  35. 1d549a8 Remove '#if 0' code. by Ted Kremenek · 17 years ago
  36. 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 · 17 years ago
  37. 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 17 years ago
  38. 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 17 years ago
  39. f7cf85b more SourceLocation lexicon change: instead of referring to the by Chris Lattner · 17 years ago
  40. 1261938 retain/release checker: by Ted Kremenek · 17 years ago
  41. 234a4c2 This commit reflects changes to the retain/release checker motivated by my by Ted Kremenek · 17 years ago
  42. 40e86d9 Fix regression when invalidating reference-counts for objects passed-by-reference to a function/method. by Ted Kremenek · 17 years ago
  43. 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 17 years ago
  44. 6eddeb1 MemRegion: by Ted Kremenek · 17 years ago
  45. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
  46. 04f9d46 Add FIXME. by Ted Kremenek · 17 years ago
  47. 077bf5e Rename Selector::getName() to Selector::getAsString(), and add by Chris Lattner · 17 years ago
  48. 062e2f9 GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars. by Ted Kremenek · 17 years ago
  49. a441b7e Update method names involving GRStateRef. No functionality change. by Ted Kremenek · 17 years ago
  50. d07a7b1 Fix regression with handling of CFMakeCollectable. by Ted Kremenek · 17 years ago
  51. 4c79e55 initXXX methods can return owned objects by Ted Kremenek · 17 years ago
  52. 6ca3191 Handle prefix '_' that may appear in front of the name of 'Release' functions by Ted Kremenek · 17 years ago
  53. 31fc07d Made the mechanism of defining preprocessor defs for maxint, ptrdiff_t, wchar by Sanjiv Gupta · 17 years ago
  54. e1e91af Extend "followsFundamentalRule" to ignore prefix '_' characters. by Ted Kremenek · 17 years ago
  55. 706522f IOServiceGetMatchingServices is a release function. by Ted Kremenek · 17 years ago
  56. 9d1d570 Use "followsFundamentalRule" to determine if an instance method allocates memory. by Ted Kremenek · 17 years ago
  57. 5c74d50 followsFundamentalRule() returns true if "alloc" or "new" appear at the beginning of the string, not anywhere within it. by Ted Kremenek · 17 years ago
  58. f9790ae Issue warnings about owned objects returned from a method that does not match the established Cocoa naming conventions. by Ted Kremenek · 17 years ago
  59. 896cd9d Disable warning about potential leaks of returned values until we test it a little more (lots of noise). by Ted Kremenek · 17 years ago
  60. 3ad2cc8 Warn about potentially leaked objects that are returned from methods whose names do not follow the Cocoa Memory Management guidelines. by Ted Kremenek · 17 years ago
  61. 64e859a Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>. by Ted Kremenek · 17 years ago
  62. 6d34893 Handle [NSAutoreleasePool addObject:] (an alternative way to add objects to the current autorelease pool). by Ted Kremenek · 17 years ago
  63. a496d16 retain/release checker: Check if a tracked value escapes if we also try binding it to the store and the store doesn't support that binding (i.e., it cannot track it). This has the nice feature that the checker will automatically get more powerful if we use a more powerful store model. by Ted Kremenek · 17 years ago
  64. fd30194 When conjuring symbols to recover path-sensitivity, don't conjure symbols that represent an entire struct. We need to implement struct temporaries as an actual "region", and then bind symbols to the FieldRegion of those temporaries. by Ted Kremenek · 17 years ago
  65. 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 17 years ago
  66. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  67. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 17 years ago
  68. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 17 years ago
  69. 062bae0 Revert 56735. The old bug categories were more informative. by Ted Kremenek · 17 years ago
  70. 3a7d1e9 Change "leaks" to have the category "Performance". by Ted Kremenek · 17 years ago
  71. a05131a Change casing of bug type. by Ted Kremenek · 17 years ago
  72. 8c036c7 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 17 years ago
  73. 60dbad8 Store: (static analyzer) by Ted Kremenek · 17 years ago
  74. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 17 years ago
  75. 2bc39c6 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 17 years ago
  76. b9d17f9 Migrate the retain/release checker to not manage the RefBindings::Factory object by Ted Kremenek · 17 years ago
  77. 1c72ef0 GRState: by Ted Kremenek · 17 years ago
  78. 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 17 years ago
  79. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 17 years ago
  80. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 17 years ago
  81. 9853045 More cleanups. Add missing #include. by Ted Kremenek · 17 years ago
  82. af9dc27 More summary generation refactoring. by Ted Kremenek · 17 years ago
  83. 9e476de Add variadic addInstMethSummary() and refactored addPanicSummary() to use this method. (code reduction). by Ted Kremenek · 17 years ago
  84. c4a1dea More #include cleaning by Daniel Dunbar · 17 years ago
  85. 8b51fd7 remove some unneeded calls to getCanonicalType by Chris Lattner · 17 years ago
  86. 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 17 years ago
  87. 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 17 years ago
  88. 1a80448 "currentHandler" is a nullary selector by Ted Kremenek · 17 years ago
  89. 2d1086c Fix caching bug. by Ted Kremenek · 17 years ago
  90. 70a733e Add panic support for NSAssertionHandler. by Ted Kremenek · 17 years ago
  91. 35912db Update signature of EvalAssume. by Ted Kremenek · 17 years ago
  92. 10161bf isRetain() and isRelease() now only returns true if "Retain"/"Release" appears in the suffix of a function's name. by Ted Kremenek · 17 years ago
  93. 37d785b Support retain/release tracking for CoreGraphics (CGxxxRef) objects. by Ted Kremenek · 17 years ago
  94. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago
  95. 070a825 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 17 years ago
  96. e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 17 years ago
  97. 8c5633e Use conjured symbols for variables whose values are invalidated when by Ted Kremenek · 17 years ago
  98. c095997 Refactored some of the BugReporter interface so that data such as the ASTContext&, PathDiagnosticClient*, can be provided by an external source. by Ted Kremenek · 17 years ago
  99. 179064e Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 17 years ago
  100. 80d753f Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 17 years ago