1. 9d1d570 Use "followsFundamentalRule" to determine if an instance method allocates memory. by Ted Kremenek · 16 years ago
  2. 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
  3. 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
  4. 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
  5. 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
  6. 64e859a Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>. by Ted Kremenek · 16 years ago
  7. 6d34893 Handle [NSAutoreleasePool addObject:] (an alternative way to add objects to the current autorelease pool). by Ted Kremenek · 16 years ago
  8. 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
  9. 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
  10. 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 16 years ago
  11. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  12. 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
  13. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
  14. 062bae0 Revert 56735. The old bug categories were more informative. by Ted Kremenek · 16 years ago
  15. 3a7d1e9 Change "leaks" to have the category "Performance". by Ted Kremenek · 16 years ago
  16. a05131a Change casing of bug type. by Ted Kremenek · 16 years ago
  17. 8c036c7 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 16 years ago
  18. 60dbad8 Store: (static analyzer) by Ted Kremenek · 16 years ago
  19. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
  20. 2bc39c6 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 16 years ago
  21. b9d17f9 Migrate the retain/release checker to not manage the RefBindings::Factory object by Ted Kremenek · 16 years ago
  22. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  23. 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 16 years ago
  24. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  25. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  26. 9853045 More cleanups. Add missing #include. by Ted Kremenek · 16 years ago
  27. af9dc27 More summary generation refactoring. by Ted Kremenek · 16 years ago
  28. 9e476de Add variadic addInstMethSummary() and refactored addPanicSummary() to use this method. (code reduction). by Ted Kremenek · 16 years ago
  29. c4a1dea More #include cleaning by Daniel Dunbar · 16 years ago
  30. 8b51fd7 remove some unneeded calls to getCanonicalType by Chris Lattner · 16 years ago
  31. 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 16 years ago
  32. 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 16 years ago
  33. 1a80448 "currentHandler" is a nullary selector by Ted Kremenek · 16 years ago
  34. 2d1086c Fix caching bug. by Ted Kremenek · 16 years ago
  35. 70a733e Add panic support for NSAssertionHandler. by Ted Kremenek · 16 years ago
  36. 35912db Update signature of EvalAssume. by Ted Kremenek · 16 years ago
  37. 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
  38. 37d785b Support retain/release tracking for CoreGraphics (CGxxxRef) objects. by Ted Kremenek · 16 years ago
  39. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  40. 070a825 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 16 years ago
  41. e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
  42. 8c5633e Use conjured symbols for variables whose values are invalidated when by Ted Kremenek · 16 years ago
  43. 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
  44. 179064e Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 16 years ago
  45. 80d753f Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 16 years ago
  46. e19f449 Added "Autorelease" ArgEffect to better simulate "autorelease" messages. Right by Ted Kremenek · 16 years ago
  47. 553cf18 CF ref checker: by Ted Kremenek · 16 years ago
  48. ab59227 Remove unneeded method arguments. by Ted Kremenek · 16 years ago
  49. 53301ba Cache ObjC summaries by IdentifierInfo*, not by ObjCInterfaceDecl. by Ted Kremenek · 16 years ago
  50. 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
  51. 1f180c3 Rename summary methods for "instance methods" to "class methods" (the names got screwed up). No functionality change. by Ted Kremenek · 16 years ago
  52. 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
  53. 5549976 This patch is motivated by numerous strict-aliasing warnings when compiling by Ted Kremenek · 16 years ago
  54. 0327f77 Teach the CF retain checker about "_init" methods. Fixes: <rdar://problem/5956379> by Ted Kremenek · 16 years ago
  55. 1aa44c7 Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 16 years ago
  56. 3eabf1c Expand retain/release checker to consider methods/function calls that cause a by Ted Kremenek · 16 years ago
  57. 6ed9afc Cache leaks by the allocation site, not the leak location. by Ted Kremenek · 16 years ago
  58. 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
  59. 299e815 Added support for "drain". by Ted Kremenek · 16 years ago
  60. 0fcbf8e Expand the CF retain checker to allow the Create/Get rule to apply to any by Ted Kremenek · 16 years ago
  61. 0ae24fa Flip order of arguments to CStrInStrNoCase. by Ted Kremenek · 16 years ago
  62. 900a2d7 Use llvm::CStrInCStrNoCase instead of strcasestr, since the latter is not portable. by Ted Kremenek · 16 years ago
  63. f4250e2 copy-paste: NS types are not typedefs. by Ted Kremenek · 16 years ago
  64. 05a7b0e Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" from NSObject as allocators. by Ted Kremenek · 16 years ago
  65. 84060db Be less promiscuous with generating summaries for "new", "copy", "create". by Ted Kremenek · 16 years ago
  66. a4b695a Added auto-summary generation for createXXX, copyXXX, newXXX methods. by Ted Kremenek · 16 years ago
  67. a22cc2f Don't report leaks for autoreleased objects. by Ted Kremenek · 16 years ago
  68. c839560 More comments. by Ted Kremenek · 16 years ago
  69. 432af59 Experiment with not converting bug names to lower case. by Ted Kremenek · 16 years ago
  70. 1bffd74 Generate "stop" summaries for selectors involving receivers whose type is not NSxxxx. by Ted Kremenek · 16 years ago
  71. 84548b8 Use strncmp correctly. by Ted Kremenek · 16 years ago
  72. aee9e57 Make string comparison legible and remove buffer overrun introduced by typo. by Ted Kremenek · 16 years ago
  73. 70f9d86 String comparison cleanups. Added test case. by Ted Kremenek · 16 years ago
  74. 3fa0d29 Fix logic error in string processing. by Ted Kremenek · 16 years ago
  75. 0855dc3 Remove assertion. by Ted Kremenek · 16 years ago
  76. b309525 Use EvalSummary to process message expressions, thereby unifying the checker by Ted Kremenek · 16 years ago
  77. 1499389 Added receiver effects to EvalSummary. by Ted Kremenek · 16 years ago
  78. 3c0cea3 Expand summaries to include "Receiver" effects. by Ted Kremenek · 16 years ago
  79. b3c3c28 Added initialization code to generate initial set of ObjC method summaries (non-instance methods). by Ted Kremenek · 16 years ago
  80. 9c32d08 Added code to generate initial set of summaries for instance methods. by Ted Kremenek · 16 years ago
  81. 46e49ee Add summary generation for "initXXX" methods. by Ted Kremenek · 16 years ago
  82. 789deac Make CF retain diagnostics more succinct. by Ted Kremenek · 16 years ago
  83. d3dbcf4 Initial work on refactoring the CFRefCount checker so that it is more by Ted Kremenek · 16 years ago
  84. e28565b Improve leak diagnostics to not report a leak on the same line where by Ted Kremenek · 16 years ago
  85. ce48e00 Improved leak diagnostics. by Ted Kremenek · 16 years ago
  86. 86ad3bc Minor refactorings/cleanups in CF retain checker and added support for NSMakeCollectable. by Ted Kremenek · 16 years ago
  87. e92c1b2 Improved diagnostics for leaks: now we report which variable was leaked. by Ted Kremenek · 16 years ago
  88. 9f74161 When running the reference count checker twice (GC and non-GC mode), only emit by Ted Kremenek · 16 years ago
  89. 529a9bd Fix copy-paste bug. by Ted Kremenek · 16 years ago
  90. 52a67df Remove no longer valid assertion. by Ted Kremenek · 16 years ago
  91. c9fa2f7 Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 16 years ago
  92. bb77e9b Do not highlight bogus ranges for leaks. by Ted Kremenek · 16 years ago
  93. 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 16 years ago
  94. b83e02e Renamed static method. by Ted Kremenek · 16 years ago
  95. 31593ac When processing "release", "retain", and "autorelease" messages return the by Ted Kremenek · 16 years ago
  96. 5934cee Added support for "autorelease" message in CF ref. count checker. by Ted Kremenek · 16 years ago
  97. 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 16 years ago
  98. c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
  99. 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
  100. 65c9165 Update typestate logic to support GC-mode. by Ted Kremenek · 16 years ago