1. 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 · 16 years ago
  2. 611a15a retain/release checker: More cleanups (no real functionality change). by Ted Kremenek · 16 years ago
  3. 103a185 Fix diagnostic truncated by my last patch. by Ted Kremenek · 16 years ago
  4. 5c1cd52 retain/release checker: More diagnostic refactoring. by Ted Kremenek · 16 years ago
  5. 2098280 retain/release checker: Output the name of the function that allocates an object. by Ted Kremenek · 16 years ago
  6. a1f117e Refactor some diagnostic code to use raw_string_ostream. No functionality change. by Ted Kremenek · 16 years ago
  7. 1d549a8 Remove '#if 0' code. by Ted Kremenek · 16 years ago
  8. 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
  9. 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 · 16 years ago
  10. 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 16 years ago
  11. f7cf85b more SourceLocation lexicon change: instead of referring to the by Chris Lattner · 16 years ago
  12. 1261938 retain/release checker: by Ted Kremenek · 16 years ago
  13. 234a4c2 This commit reflects changes to the retain/release checker motivated by my by Ted Kremenek · 16 years ago
  14. 40e86d9 Fix regression when invalidating reference-counts for objects passed-by-reference to a function/method. by Ted Kremenek · 16 years ago
  15. 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 16 years ago
  16. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  17. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  18. 04f9d46 Add FIXME. by Ted Kremenek · 16 years ago
  19. 077bf5e Rename Selector::getName() to Selector::getAsString(), and add by Chris Lattner · 16 years ago
  20. 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 · 16 years ago
  21. a441b7e Update method names involving GRStateRef. No functionality change. by Ted Kremenek · 16 years ago
  22. d07a7b1 Fix regression with handling of CFMakeCollectable. by Ted Kremenek · 16 years ago
  23. 4c79e55 initXXX methods can return owned objects by Ted Kremenek · 16 years ago
  24. 6ca3191 Handle prefix '_' that may appear in front of the name of 'Release' functions by Ted Kremenek · 16 years ago
  25. 31fc07d Made the mechanism of defining preprocessor defs for maxint, ptrdiff_t, wchar by Sanjiv Gupta · 16 years ago
  26. e1e91af Extend "followsFundamentalRule" to ignore prefix '_' characters. by Ted Kremenek · 16 years ago
  27. 706522f IOServiceGetMatchingServices is a release function. by Ted Kremenek · 16 years ago
  28. 9d1d570 Use "followsFundamentalRule" to determine if an instance method allocates memory. by Ted Kremenek · 16 years ago
  29. 5c74d50 followsFundamentalRule() returns true if "alloc" or "new" appear at the beginning of the string, not anywhere within it. by Ted Kremenek · 16 years ago
  30. f9790ae Issue warnings about owned objects returned from a method that does not match the established Cocoa naming conventions. by Ted Kremenek · 16 years ago
  31. 896cd9d Disable warning about potential leaks of returned values until we test it a little more (lots of noise). by Ted Kremenek · 16 years ago
  32. 3ad2cc8 Warn about potentially leaked objects that are returned from methods whose names do not follow the Cocoa Memory Management guidelines. by Ted Kremenek · 16 years ago
  33. 64e859a Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>. by Ted Kremenek · 16 years ago
  34. 6d34893 Handle [NSAutoreleasePool addObject:] (an alternative way to add objects to the current autorelease pool). by Ted Kremenek · 16 years ago
  35. 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 · 16 years ago
  36. 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 · 16 years ago
  37. 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 16 years ago
  38. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  39. 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 · 16 years ago
  40. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
  41. 062bae0 Revert 56735. The old bug categories were more informative. by Ted Kremenek · 16 years ago
  42. 3a7d1e9 Change "leaks" to have the category "Performance". by Ted Kremenek · 16 years ago
  43. a05131a Change casing of bug type. by Ted Kremenek · 16 years ago
  44. 8c036c7 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 16 years ago
  45. 60dbad8 Store: (static analyzer) by Ted Kremenek · 16 years ago
  46. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
  47. 2bc39c6 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 16 years ago
  48. b9d17f9 Migrate the retain/release checker to not manage the RefBindings::Factory object by Ted Kremenek · 16 years ago
  49. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  50. 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 16 years ago
  51. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  52. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  53. 9853045 More cleanups. Add missing #include. by Ted Kremenek · 16 years ago
  54. af9dc27 More summary generation refactoring. by Ted Kremenek · 16 years ago
  55. 9e476de Add variadic addInstMethSummary() and refactored addPanicSummary() to use this method. (code reduction). by Ted Kremenek · 16 years ago
  56. c4a1dea More #include cleaning by Daniel Dunbar · 16 years ago
  57. 8b51fd7 remove some unneeded calls to getCanonicalType by Chris Lattner · 16 years ago
  58. 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 16 years ago
  59. 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 16 years ago
  60. 1a80448 "currentHandler" is a nullary selector by Ted Kremenek · 16 years ago
  61. 2d1086c Fix caching bug. by Ted Kremenek · 16 years ago
  62. 70a733e Add panic support for NSAssertionHandler. by Ted Kremenek · 16 years ago
  63. 35912db Update signature of EvalAssume. by Ted Kremenek · 16 years ago
  64. 10161bf isRetain() and isRelease() now only returns true if "Retain"/"Release" appears in the suffix of a function's name. by Ted Kremenek · 16 years ago
  65. 37d785b Support retain/release tracking for CoreGraphics (CGxxxRef) objects. by Ted Kremenek · 16 years ago
  66. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  67. 070a825 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 16 years ago
  68. e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
  69. 8c5633e Use conjured symbols for variables whose values are invalidated when by Ted Kremenek · 16 years ago
  70. 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 · 16 years ago
  71. 179064e Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 16 years ago
  72. 80d753f Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 16 years ago
  73. e19f449 Added "Autorelease" ArgEffect to better simulate "autorelease" messages. Right by Ted Kremenek · 16 years ago
  74. 553cf18 CF ref checker: by Ted Kremenek · 16 years ago
  75. ab59227 Remove unneeded method arguments. by Ted Kremenek · 16 years ago
  76. 53301ba Cache ObjC summaries by IdentifierInfo*, not by ObjCInterfaceDecl. by Ted Kremenek · 16 years ago
  77. 4f22a78 Added ObjCSummaryCache, a new summary cache object to cache summaries for Objective-C methods. Instead of mapping from Selectors -> Summaries, we will now map from (ObjCInterfaceDecl*,Selectors) -> Summaries. This will allow more nuanced summary generation. This patch just swaps in the new data structure; the rest of the code works as before by allowing the ObjCInterfaceDecl* to be null. by Ted Kremenek · 16 years ago
  78. 1f180c3 Rename summary methods for "instance methods" to "class methods" (the names got screwed up). No functionality change. by Ted Kremenek · 16 years ago
  79. a734470 The CF retain/release checker now assumes that allocations do not fail. Eventually we will add a flag to the driver to enable allocation failures (documented as a FIXME). by Ted Kremenek · 16 years ago
  80. 5549976 This patch is motivated by numerous strict-aliasing warnings when compiling by Ted Kremenek · 16 years ago
  81. 0327f77 Teach the CF retain checker about "_init" methods. Fixes: <rdar://problem/5956379> by Ted Kremenek · 16 years ago
  82. 1aa44c7 Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 16 years ago
  83. 3eabf1c Expand retain/release checker to consider methods/function calls that cause a by Ted Kremenek · 16 years ago
  84. 6ed9afc Cache leaks by the allocation site, not the leak location. by Ted Kremenek · 16 years ago
  85. 0e470a5 Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary to use IsLValType when conjuring symbols for return values (this fixes a bug with an assertion firing in the analyzer when two qualified objective-c types were compared). by Ted Kremenek · 16 years ago
  86. 299e815 Added support for "drain". by Ted Kremenek · 16 years ago
  87. 0fcbf8e Expand the CF retain checker to allow the Create/Get rule to apply to any by Ted Kremenek · 16 years ago
  88. 0ae24fa Flip order of arguments to CStrInStrNoCase. by Ted Kremenek · 16 years ago
  89. 900a2d7 Use llvm::CStrInCStrNoCase instead of strcasestr, since the latter is not portable. by Ted Kremenek · 16 years ago
  90. f4250e2 copy-paste: NS types are not typedefs. by Ted Kremenek · 16 years ago
  91. 05a7b0e Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" from NSObject as allocators. by Ted Kremenek · 16 years ago
  92. 84060db Be less promiscuous with generating summaries for "new", "copy", "create". by Ted Kremenek · 16 years ago
  93. a4b695a Added auto-summary generation for createXXX, copyXXX, newXXX methods. by Ted Kremenek · 16 years ago
  94. a22cc2f Don't report leaks for autoreleased objects. by Ted Kremenek · 16 years ago
  95. c839560 More comments. by Ted Kremenek · 16 years ago
  96. 432af59 Experiment with not converting bug names to lower case. by Ted Kremenek · 16 years ago
  97. 1bffd74 Generate "stop" summaries for selectors involving receivers whose type is not NSxxxx. by Ted Kremenek · 16 years ago
  98. 84548b8 Use strncmp correctly. by Ted Kremenek · 16 years ago
  99. aee9e57 Make string comparison legible and remove buffer overrun introduced by typo. by Ted Kremenek · 16 years ago
  100. 70f9d86 String comparison cleanups. Added test case. by Ted Kremenek · 16 years ago