1. 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 16 years ago
  2. 1a80448 "currentHandler" is a nullary selector by Ted Kremenek · 16 years ago
  3. 2d1086c Fix caching bug. by Ted Kremenek · 16 years ago
  4. 70a733e Add panic support for NSAssertionHandler. by Ted Kremenek · 16 years ago
  5. 35912db Update signature of EvalAssume. by Ted Kremenek · 16 years ago
  6. 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
  7. 37d785b Support retain/release tracking for CoreGraphics (CGxxxRef) objects. by Ted Kremenek · 16 years ago
  8. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  9. 070a825 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 16 years ago
  10. e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
  11. 8c5633e Use conjured symbols for variables whose values are invalidated when by Ted Kremenek · 16 years ago
  12. 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
  13. 179064e Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 16 years ago
  14. 80d753f Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 16 years ago
  15. e19f449 Added "Autorelease" ArgEffect to better simulate "autorelease" messages. Right by Ted Kremenek · 16 years ago
  16. 553cf18 CF ref checker: by Ted Kremenek · 16 years ago
  17. ab59227 Remove unneeded method arguments. by Ted Kremenek · 16 years ago
  18. 53301ba Cache ObjC summaries by IdentifierInfo*, not by ObjCInterfaceDecl. by Ted Kremenek · 16 years ago
  19. 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
  20. 1f180c3 Rename summary methods for "instance methods" to "class methods" (the names got screwed up). No functionality change. by Ted Kremenek · 16 years ago
  21. 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
  22. 5549976 This patch is motivated by numerous strict-aliasing warnings when compiling by Ted Kremenek · 16 years ago
  23. 0327f77 Teach the CF retain checker about "_init" methods. Fixes: <rdar://problem/5956379> by Ted Kremenek · 16 years ago
  24. 1aa44c7 Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 16 years ago
  25. 3eabf1c Expand retain/release checker to consider methods/function calls that cause a by Ted Kremenek · 16 years ago
  26. 6ed9afc Cache leaks by the allocation site, not the leak location. by Ted Kremenek · 16 years ago
  27. 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
  28. 299e815 Added support for "drain". by Ted Kremenek · 17 years ago
  29. 0fcbf8e Expand the CF retain checker to allow the Create/Get rule to apply to any by Ted Kremenek · 17 years ago
  30. 0ae24fa Flip order of arguments to CStrInStrNoCase. by Ted Kremenek · 17 years ago
  31. 900a2d7 Use llvm::CStrInCStrNoCase instead of strcasestr, since the latter is not portable. by Ted Kremenek · 17 years ago
  32. f4250e2 copy-paste: NS types are not typedefs. by Ted Kremenek · 17 years ago
  33. 05a7b0e Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" from NSObject as allocators. by Ted Kremenek · 17 years ago
  34. 84060db Be less promiscuous with generating summaries for "new", "copy", "create". by Ted Kremenek · 17 years ago
  35. a4b695a Added auto-summary generation for createXXX, copyXXX, newXXX methods. by Ted Kremenek · 17 years ago
  36. a22cc2f Don't report leaks for autoreleased objects. by Ted Kremenek · 17 years ago
  37. c839560 More comments. by Ted Kremenek · 17 years ago
  38. 432af59 Experiment with not converting bug names to lower case. by Ted Kremenek · 17 years ago
  39. 1bffd74 Generate "stop" summaries for selectors involving receivers whose type is not NSxxxx. by Ted Kremenek · 17 years ago
  40. 84548b8 Use strncmp correctly. by Ted Kremenek · 17 years ago
  41. aee9e57 Make string comparison legible and remove buffer overrun introduced by typo. by Ted Kremenek · 17 years ago
  42. 70f9d86 String comparison cleanups. Added test case. by Ted Kremenek · 17 years ago
  43. 3fa0d29 Fix logic error in string processing. by Ted Kremenek · 17 years ago
  44. 0855dc3 Remove assertion. by Ted Kremenek · 17 years ago
  45. b309525 Use EvalSummary to process message expressions, thereby unifying the checker by Ted Kremenek · 17 years ago
  46. 1499389 Added receiver effects to EvalSummary. by Ted Kremenek · 17 years ago
  47. 3c0cea3 Expand summaries to include "Receiver" effects. by Ted Kremenek · 17 years ago
  48. b3c3c28 Added initialization code to generate initial set of ObjC method summaries (non-instance methods). by Ted Kremenek · 17 years ago
  49. 9c32d08 Added code to generate initial set of summaries for instance methods. by Ted Kremenek · 17 years ago
  50. 46e49ee Add summary generation for "initXXX" methods. by Ted Kremenek · 17 years ago
  51. 789deac Make CF retain diagnostics more succinct. by Ted Kremenek · 17 years ago
  52. d3dbcf4 Initial work on refactoring the CFRefCount checker so that it is more by Ted Kremenek · 17 years ago
  53. e28565b Improve leak diagnostics to not report a leak on the same line where by Ted Kremenek · 17 years ago
  54. ce48e00 Improved leak diagnostics. by Ted Kremenek · 17 years ago
  55. 86ad3bc Minor refactorings/cleanups in CF retain checker and added support for NSMakeCollectable. by Ted Kremenek · 17 years ago
  56. e92c1b2 Improved diagnostics for leaks: now we report which variable was leaked. by Ted Kremenek · 17 years ago
  57. 9f74161 When running the reference count checker twice (GC and non-GC mode), only emit by Ted Kremenek · 17 years ago
  58. 529a9bd Fix copy-paste bug. by Ted Kremenek · 17 years ago
  59. 52a67df Remove no longer valid assertion. by Ted Kremenek · 17 years ago
  60. c9fa2f7 Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 17 years ago
  61. bb77e9b Do not highlight bogus ranges for leaks. by Ted Kremenek · 17 years ago
  62. 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 17 years ago
  63. b83e02e Renamed static method. by Ted Kremenek · 17 years ago
  64. 31593ac When processing "release", "retain", and "autorelease" messages return the by Ted Kremenek · 17 years ago
  65. 5934cee Added support for "autorelease" message in CF ref. count checker. by Ted Kremenek · 17 years ago
  66. 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 17 years ago
  67. c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
  68. 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
  69. 65c9165 Update typestate logic to support GC-mode. by Ted Kremenek · 17 years ago
  70. 377e230 Implement semantics of CFMakeCollectable for the CF-reference count checker. by Ted Kremenek · 17 years ago
  71. e5c3012 Provide the option to run the CF-retain checker in GC enabled mode. by Ted Kremenek · 17 years ago
  72. 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 17 years ago
  73. 652adc6 Add preliminary support for flagging leaks around when they happen (doesn't work yet). by Ted Kremenek · 17 years ago
  74. 891d5cc CF reference count checker: handle variadic functions that allocate CF objects. by Ted Kremenek · 17 years ago
  75. 186350f Fixed: <rdar://problem/5881148> by Ted Kremenek · 17 years ago
  76. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
  77. 95cc1ba Generalize caching mechanism for bugs reports. Now individual BugTypes by Ted Kremenek · 17 years ago
  78. cb61292 Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errors by Ted Kremenek · 17 years ago
  79. 4f28515 Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the node cache. by Ted Kremenek · 17 years ago
  80. 79c140b More grammar fixes. by Ted Kremenek · 17 years ago
  81. 5e770ca Fix plurality debacle. by Ted Kremenek · 17 years ago
  82. 2cf943a Added path diagnostics for reference counts. by Ted Kremenek · 17 years ago
  83. 8dd5646 BugReport::VisitNode now takes BugReporter& instead of ASTContext&. by Ted Kremenek · 17 years ago
  84. 75840e1 Simplified internal logic of BugReporter, consolidating EmitWarning and by Ted Kremenek · 17 years ago
  85. 989d519 Hook up reporting reference count memory leaks to the BugReporter mechanism. by Ted Kremenek · 17 years ago
  86. 4fd8897 Added transfer function support for ReturnStmt to support detecting leaks by Ted Kremenek · 17 years ago
  87. db86371 CF ref. count checker: Register memory leaks at the end of a path. by Ted Kremenek · 17 years ago
  88. 1392261 Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to by Ted Kremenek · 17 years ago
  89. 9ed18e6 Implemented toll-free bridging support for CF Reference count checker. by Ted Kremenek · 17 years ago
  90. 8534820 Added initial boilerplate to support toll-free bridging in the ref-count checker. by Ted Kremenek · 17 years ago
  91. 7ded73c Treat calls to unresolved functions in the CF-ref count checker as calls by Ted Kremenek · 17 years ago
  92. d2f642b Hooked up the dead-store checker to the BugReporter interface. Now dead-store by Ted Kremenek · 17 years ago
  93. e7bd9c2 Add some boilerplate to report memory leaks at the end of an analyzed function. by Ted Kremenek · 17 years ago
  94. b887355 Added FIXME by Ted Kremenek · 17 years ago
  95. f9561e5 Fix regression introduced by my last commit. by Ted Kremenek · 17 years ago
  96. a0df99f Changed behavior of how we handle "NULL" summaries: just call by Ted Kremenek · 17 years ago
  97. bcf50ad Use RangedBugReport to report better ranges for reference count errors. by Ted Kremenek · 17 years ago
  98. 940b1d8 Fixed some logic errors in the CF ref count checker; we now can detect simple by Ted Kremenek · 17 years ago
  99. 61b9f87 Simplify CF ref. count checker state machine. by Ted Kremenek · 17 years ago
  100. 3ea0b6a Fix some bonehead bugs in summary generation in CFRefCount. by Ted Kremenek · 17 years ago