Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 1d92d2c813b9acb94ea6c145171782f5d3ec90f2 / clang / lib / Analysis / CFRefCount.cpp
  1. 1d92d2c This commit reflects changes to the retain/release checker motivated by my by Ted Kremenek · 17 years ago
  2. 5b26c11 Fix regression when invalidating reference-counts for objects passed-by-reference to a function/method. by Ted Kremenek · 17 years ago
  3. 300c9cc Fix <rdar://problem/6451816>: by Ted Kremenek · 17 years ago
  4. b5670fd MemRegion: by Ted Kremenek · 17 years ago
  5. d8242f1 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
  6. 817737a Add FIXME. by Ted Kremenek · 17 years ago
  7. e4b9569 Rename Selector::getName() to Selector::getAsString(), and add by Chris Lattner · 17 years ago
  8. 16866d6 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
  9. 60d4641 Update method names involving GRStateRef. No functionality change. by Ted Kremenek · 17 years ago
  10. ab47825 Fix regression with handling of CFMakeCollectable. by Ted Kremenek · 17 years ago
  11. 2855a93 initXXX methods can return owned objects by Ted Kremenek · 17 years ago
  12. 24b1d9f Handle prefix '_' that may appear in front of the name of 'Release' functions by Ted Kremenek · 17 years ago
  13. d795924 Made the mechanism of defining preprocessor defs for maxint, ptrdiff_t, wchar by Sanjiv Gupta · 17 years ago
  14. 4c276c7 Extend "followsFundamentalRule" to ignore prefix '_' characters. by Ted Kremenek · 17 years ago
  15. 3700b76 IOServiceGetMatchingServices is a release function. by Ted Kremenek · 17 years ago
  16. 920406b5c Use "followsFundamentalRule" to determine if an instance method allocates memory. by Ted Kremenek · 17 years ago
  17. 01acb62 followsFundamentalRule() returns true if "alloc" or "new" appear at the beginning of the string, not anywhere within it. by Ted Kremenek · 17 years ago
  18. 03466c2 Issue warnings about owned objects returned from a method that does not match the established Cocoa naming conventions. by Ted Kremenek · 17 years ago
  19. cc3d188 Disable warning about potential leaks of returned values until we test it a little more (lots of noise). by Ted Kremenek · 17 years ago
  20. 631ff23 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
  21. 9a96bf2 Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>. by Ted Kremenek · 17 years ago
  22. 0747e7e Handle [NSAutoreleasePool addObject:] (an alternative way to add objects to the current autorelease pool). by Ted Kremenek · 17 years ago
  23. e86755e 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
  24. 2138732 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
  25. 8b103c6 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 17 years ago
  26. 27f1742 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  27. 5ca90a2 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
  28. d331d09 Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 17 years ago
  29. 21c24f1 Revert 56735. The old bug categories were more informative. by Ted Kremenek · 17 years ago
  30. 16a59fa Change "leaks" to have the category "Performance". by Ted Kremenek · 17 years ago
  31. 76f79ba Change casing of bug type. by Ted Kremenek · 17 years ago
  32. de195e2 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 17 years ago
  33. 1b9e103 Store: (static analyzer) by Ted Kremenek · 17 years ago
  34. c1bd3a5 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 17 years ago
  35. c83e755 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 17 years ago
  36. 87aab6c Migrate the retain/release checker to not manage the RefBindings::Factory object by Ted Kremenek · 17 years ago
  37. ceba6ea GRState: by Ted Kremenek · 17 years ago
  38. db7dd9c Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 17 years ago
  39. 1630610 Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 17 years ago
  40. 5ab5a1b Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 17 years ago
  41. 9551ab6 More cleanups. Add missing #include. by Ted Kremenek · 17 years ago
  42. 3f13f59 More summary generation refactoring. by Ted Kremenek · 17 years ago
  43. 050b91c Add variadic addInstMethSummary() and refactored addPanicSummary() to use this method. (code reduction). by Ted Kremenek · 17 years ago
  44. 6e8aa53 More #include cleaning by Daniel Dunbar · 17 years ago
  45. 3f6cd0b remove some unneeded calls to getCanonicalType by Chris Lattner · 17 years ago
  46. 9e9afb5 Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 17 years ago
  47. 1f352db Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 17 years ago
  48. f41b1c4 "currentHandler" is a nullary selector by Ted Kremenek · 17 years ago
  49. f7faa42 Fix caching bug. by Ted Kremenek · 17 years ago
  50. 3b2294c Add panic support for NSAssertionHandler. by Ted Kremenek · 17 years ago
  51. e330aac Update signature of EvalAssume. by Ted Kremenek · 17 years ago
  52. 176e2c5 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
  53. fa89e2f Support retain/release tracking for CoreGraphics (CGxxxRef) objects. by Ted Kremenek · 17 years ago
  54. a7b8ffb Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago
  55. ae52927 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 17 years ago
  56. 4963d11 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 17 years ago
  57. 4d85146 Use conjured symbols for variables whose values are invalidated when by Ted Kremenek · 17 years ago
  58. b1d0118 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
  59. ab54e51 Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 17 years ago
  60. bc6d850 Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 17 years ago
  61. a0e071c Added "Autorelease" ArgEffect to better simulate "autorelease" messages. Right by Ted Kremenek · 17 years ago
  62. 3185c9c CF ref checker: by Ted Kremenek · 17 years ago
  63. f890bfe Remove unneeded method arguments. by Ted Kremenek · 17 years ago
  64. b1d1329 Cache ObjC summaries by IdentifierInfo*, not by ObjCInterfaceDecl. by Ted Kremenek · 17 years ago
  65. 0cfc161 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 · 17 years ago
  66. ea736c5 Rename summary methods for "instance methods" to "class methods" (the names got screwed up). No functionality change. by Ted Kremenek · 17 years ago
  67. ab4a8b5 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 · 17 years ago
  68. 08e1711 This patch is motivated by numerous strict-aliasing warnings when compiling by Ted Kremenek · 17 years ago
  69. 0b6b0e7 Teach the CF retain checker about "_init" methods. Fixes: <rdar://problem/5956379> by Ted Kremenek · 18 years ago
  70. b91ef1b Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 18 years ago
  71. 1df2f3a Expand retain/release checker to consider methods/function calls that cause a by Ted Kremenek · 18 years ago
  72. c812b23 Cache leaks by the allocation site, not the leak location. by Ted Kremenek · 18 years ago
  73. acdde6f 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 · 18 years ago
  74. bcdb468 Added support for "drain". by Ted Kremenek · 18 years ago
  75. f958ec5 Expand the CF retain checker to allow the Create/Get rule to apply to any by Ted Kremenek · 18 years ago
  76. fcf060f Flip order of arguments to CStrInStrNoCase. by Ted Kremenek · 18 years ago
  77. b6cbf28 Use llvm::CStrInCStrNoCase instead of strcasestr, since the latter is not portable. by Ted Kremenek · 18 years ago
  78. 89bd0fc2 copy-paste: NS types are not typedefs. by Ted Kremenek · 18 years ago
  79. 7bf9dc7 Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" from NSObject as allocators. by Ted Kremenek · 18 years ago
  80. 9930bd8 Be less promiscuous with generating summaries for "new", "copy", "create". by Ted Kremenek · 18 years ago
  81. 08eb30f Added auto-summary generation for createXXX, copyXXX, newXXX methods. by Ted Kremenek · 18 years ago
  82. aec1811 Don't report leaks for autoreleased objects. by Ted Kremenek · 18 years ago
  83. 767d074 More comments. by Ted Kremenek · 18 years ago
  84. 10427bd Experiment with not converting bug names to lower case. by Ted Kremenek · 18 years ago
  85. cb2e636 Generate "stop" summaries for selectors involving receivers whose type is not NSxxxx. by Ted Kremenek · 18 years ago
  86. 68f463b Use strncmp correctly. by Ted Kremenek · 18 years ago
  87. 5f478e9 Make string comparison legible and remove buffer overrun introduced by typo. by Ted Kremenek · 18 years ago
  88. 2f08fed String comparison cleanups. Added test case. by Ted Kremenek · 18 years ago
  89. 041d022 Fix logic error in string processing. by Ted Kremenek · 18 years ago
  90. c9f4948 Remove assertion. by Ted Kremenek · 18 years ago
  91. 015c356 Use EvalSummary to process message expressions, thereby unifying the checker by Ted Kremenek · 18 years ago
  92. 821537e Added receiver effects to EvalSummary. by Ted Kremenek · 18 years ago
  93. b0862dc Expand summaries to include "Receiver" effects. by Ted Kremenek · 18 years ago
  94. be7c56e Added initialization code to generate initial set of ObjC method summaries (non-instance methods). by Ted Kremenek · 18 years ago
  95. 0806f91 Added code to generate initial set of summaries for instance methods. by Ted Kremenek · 18 years ago
  96. 3d1e972 Add summary generation for "initXXX" methods. by Ted Kremenek · 18 years ago
  97. 046845e Make CF retain diagnostics more succinct. by Ted Kremenek · 18 years ago
  98. 00daccd Initial work on refactoring the CFRefCount checker so that it is more by Ted Kremenek · 18 years ago
  99. 627c307 Improve leak diagnostics to not report a leak on the same line where by Ted Kremenek · 18 years ago
  100. 3917b82 Improved leak diagnostics. by Ted Kremenek · 18 years ago