Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / a92bd303a6aed5cf12de5f76938c112b00cc06e6 / lib / Analysis / CFRefCount.cpp
  1. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  2. 2ffbfd9 Add value invalidation logic for block-captured variables. Conceptually invoking a block (without specific reasoning of what the block does) can invalidate any value to it by reference when the block was created. by Ted Kremenek · 15 years ago
  3. 81a9583 Add batch version of 'StoreManager::InvalidateRegion()' for invalidating multiple regions as once. After adopting this in the CFRefCount::EvalCall(), we see a reduction in analysis time of 1.5% when analyzing all of SQLite3. by Ted Kremenek · 15 years ago
  4. a46e4d9 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 15 years ago
  5. f017173 Port BugReporter and BugType to StringRef. by Benjamin Kramer · 15 years ago
  6. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  7. 38cc6bc Add a PostVisitBlockExpr() method to RetainReleaseChecker to query for by Ted Kremenek · 15 years ago
  8. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
  9. d593eb9 Add a new RetainReleaseChecker class (that subclasses CheckerVisitor) to extend the functionality of the retain/release checker using the new Checker interface. Pieces of CFRefCount will gradually be migrated to this new class over time. by Ted Kremenek · 15 years ago
  10. d295bae Move RegisterChecks() to the end of the file. No functionality change. by Ted Kremenek · 15 years ago
  11. 772250c Add really basic support for blocks in the retain/release checker. For now, anytime we pass a tracked object to a block call we stop tracking it. by Ted Kremenek · 15 years ago
  12. 2055eff Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into by Zhongxing Xu · 15 years ago
  13. a4923eb First part of changes to eliminate problems with cv-qualifiers and by Douglas Gregor · 15 years ago
  14. f0d8fff Pull static variable within function (for slightly faster startup time). by Ted Kremenek · 15 years ago
  15. b7ddd9b retain/release checker: refactor some of the summary lookup logic for instance method summaries. No real functionality change, but it paves the way for new enhancements. by Ted Kremenek · 15 years ago
  16. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  17. 1fb7d0c Change GRTransferFuncs::RegisterChecks() to take a GRExprEngine& instead of a BugReporter&. This paves the way for pulling some of the retain/release checker into a "Checker" class. by Ted Kremenek · 15 years ago
  18. d5925bd Move 'static inline' functions GetNullarySelector() and GetUnarySelector() from CFRefCount.cpp to ASTContext.h. These functions are likely to be generally useful. by Ted Kremenek · 15 years ago
  19. 002174f retain/release checker: CGBitmapContextCreateWithData() returns an owned object. by Ted Kremenek · 15 years ago
  20. 882a51e retain/release checker: Add special handling of CGBitmapContextCreateWithData(). by Ted Kremenek · 15 years ago
  21. e973183 retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. by Ted Kremenek · 15 years ago
  22. 01eb9b9 PR5218: Replace IdentifierInfo::getName with StringRef version, now that clients by Daniel Dunbar · 15 years ago
  23. e013d68 Move clients to use IdentifierInfo::getNameStart() instead of getName() by Daniel Dunbar · 15 years ago
  24. 8fff5f7 Simplify more. by Daniel Dunbar · 15 years ago
  25. 3c2292e Simplify. by Daniel Dunbar · 15 years ago
  26. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  27. e622554 Educate the retain/release checker about [NSCursor dragCopyCursor]. by Ted Kremenek · 15 years ago
  28. 6fe2b7a retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. by Ted Kremenek · 15 years ago
  29. 3bc4ffd Remove stale comment. by Ted Kremenek · 15 years ago
  30. 008636a retain/release checker: Recognize that calls to by Ted Kremenek · 15 years ago
  31. 6240cf1 retain/release checker: retained objects passed to pthread_create (as by Ted Kremenek · 15 years ago
  32. bb206fd Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves! by Ted Kremenek · 15 years ago
  33. 8780679 Fix: by Ted Kremenek · 15 years ago
  34. cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 15 years ago
  35. 183700f Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 15 years ago
  36. 06c9cb4 Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a call by Ted Kremenek · 15 years ago
  37. b317f8f Make AnalysisManager stateless. Now other analyzer components only depends on by Zhongxing Xu · 15 years ago
  38. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  39. a834fb4 retain/release checker: [CIContext createCGImage...] and friends returned CF by Ted Kremenek · 15 years ago
  40. 8e02934 Rename 'bindExpr' to 'BindExpr'. by Ted Kremenek · 15 years ago
  41. 0fb0bc4 Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, greatly simplifying the logic of the analyzer in many places. We now only distinguish between block-level expressions and subexpressions in Environment::RemoveDeadBindings and GRState pretty-printing. by Ted Kremenek · 15 years ago
  42. 5032ffe Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 15 years ago
  43. cc02553 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 15 years ago
  44. 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
  45. ac02f20 retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:' by Ted Kremenek · 15 years ago
  46. c484381 retain/release checker: Special case handling of CFAttributedStringSetAttribute, by Ted Kremenek · 15 years ago
  47. 292a5c0 Remove unused parameter BugReporter due to previous patch. by Zhongxing Xu · 15 years ago
  48. 25e695b Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 15 years ago
  49. 031ccc0 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 15 years ago
  50. c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 15 years ago
  51. 33a3138 Get rid of "smart" quotes. Per report on cfe-dev. by Eli Friedman · 15 years ago
  52. 6217b80 Change uses of: by Ted Kremenek · 15 years ago
  53. 5e77eba Remove some uses of TypedViewRegion, and use getBaseRegion() in a context where by Ted Kremenek · 15 years ago
  54. 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 15 years ago
  55. 614cc54 Fix long-lurking bug in ObjCSummaryCache revealed by Torok's recent memory by Ted Kremenek · 15 years ago
  56. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
  57. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
  58. f495456 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 15 years ago
  59. 14108da This patch includes a conceptually simple, but very intrusive/pervasive change. by Steve Naroff · 15 years ago
  60. c7068ca Remove dead code. by Zhongxing Xu · 15 years ago
  61. 6d4b76d Fix <rdar://problem/7033733>. The CF_RETURNS_RETAINED attribute should work if the return type on an Objective-C method is a CF type reference, not just an Objective-C object reference. by Ted Kremenek · 15 years ago
  62. 313b6da Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 15 years ago
  63. 43e2aaf Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 15 years ago
  64. 17945a0 De-ASTContext-ify DeclContext. by Argyrios Kyrtzidis · 15 years ago
  65. 6fb0aee Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 15 years ago
  66. 40b598e Remove the ASTContext parameter from the attribute-related methods of Decl. by Argyrios Kyrtzidis · 15 years ago
  67. a03f157 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 15 years ago
  68. 6bd8a52 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 15 years ago
  69. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  70. 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
  71. 25e751a Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 15 years ago
  72. ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 15 years ago
  73. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
  74. a43484a MemRegions: by Ted Kremenek · 15 years ago
  75. 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 15 years ago
  76. a591bc0 libAnalysis: by Ted Kremenek · 15 years ago
  77. 68584ed Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. by Douglas Gregor · 15 years ago
  78. b65be70 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 15 years ago
  79. 3a77203 Remove another dependency on GRStateRef. by Ted Kremenek · 15 years ago
  80. 211a9c6 Fix: <rdar://problem/6945561> -[CIContext createCGLayerWithSize:info:] misinterpreted by clang scan-build by Ted Kremenek · 15 years ago
  81. 39d88b0 Fix: <rdar://problem/6961230> add knowledge of IOKit functions to retain/release checker by Ted Kremenek · 15 years ago
  82. b04cb59 Add summary lookup for IOServiceGetMatchingService. Convert tabs to spaces. by Ted Kremenek · 15 years ago
  83. fc63aa3 Refactor some function name -> summary lookup using a switch statement. by Ted Kremenek · 15 years ago
  84. 547d495 Fix: by Ted Kremenek · 15 years ago
  85. b9d8db8 Enhance attribute cf_returns_retained to also work (in the analyzer) by Ted Kremenek · 15 years ago
  86. 767d649 Add special cases to retain checker for 'create' methods in QCView, QCRenderer, and CIContext (Apple APIs). by Ted Kremenek · 15 years ago
  87. ba67f6a Fix PR 4230: Don't flag leaks of NSAutoreleasePools until we know that we aren' at the top-most scope of autorelease pools. by Ted Kremenek · 15 years ago
  88. fae664a Fix: <rdar://problem/6893565> False positive: don't flag leaks for return types that cannot be determined to be CF types by Ted Kremenek · 15 years ago
  89. 7db1604 Fix crash when deriving the enclosing summary of a method whose first selector slot has a null IdentifierInfo*. This happens when analyzing Growl. by Ted Kremenek · 15 years ago
  90. daec145 Remove extra whitespace character in string literal. Purely cosmetic. by Ted Kremenek · 15 years ago
  91. 3043766 Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a retained object. by Ted Kremenek · 15 years ago
  92. 70b6a83 Fix crasher reported in PR 4209 caused by an invalid summary by Ted Kremenek · 15 years ago
  93. 2033a95 Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking. by Ted Kremenek · 15 years ago
  94. 78a35a3 Fix: <rdar://problem/6320065> false positive - init method returns an object owned by caller by Ted Kremenek · 15 years ago
  95. 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 15 years ago
  96. 6738b73 Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the same treatment as CF objects by Ted Kremenek · 15 years ago
  97. 109bf47 When stripping element regions for invalidating region values, treat FieldRegions and ObjCIvarRegions as "base" regions in addition to VarRegions. by Ted Kremenek · 15 years ago
  98. ebd5a2d Fix regression reported in <rdar://problem/6866843>. The analyzer should extend the lifetime of an object stored to a container. by Ted Kremenek · 15 years ago
  99. 95d3b90 Fix a bug found by Thomas Clement where 'return [[[NSString alloc] init] autorelease]' would emit a false 'too many overreleases' error. by Ted Kremenek · 15 years ago
  100. 2e7c678 TypedRegion is a too general assumption. Usually we only want to invalidate by Zhongxing Xu · 15 years ago