1. 57f0989 Revert 95541. by Ted Kremenek · 16 years ago
  2. 500f49f Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  3. 7fcd8ac More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  4. e991835 Move more naming conventions logic out of the retain/release checker to CocoaConventions.h. by Ted Kremenek · 16 years ago
  5. d5e27af Remove unnecessary ASTContext* argument from isRefType(). by Ted Kremenek · 16 years ago
  6. db1832d Start pulling out pieces of the monolithic retain/release checker into by Ted Kremenek · 16 years ago
  7. 6296e09 Move 'LocalCheckers.h' to the 'Checkers' subdirectory. by Ted Kremenek · 16 years ago
  8. fe0fc40 Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter' by Ted Kremenek · 16 years ago
  9. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (99%) from clang/lib/Analysis/CFRefCount.cpp]
  10. 3780831 Fix pasto. by Benjamin Kramer · 16 years ago
  11. 0129bd7 Avoid use of deprecated functions (CStrInCStrNoCase and StringsEqualNoCase). by Benjamin Kramer · 16 years ago
  12. e19711d Add transfer functions support for visiting an Objective-C message expression as an lvalue when the return type is a C++ reference. by Ted Kremenek · 16 years ago
  13. 4794801 Use the FunctionDecl's result type to know exactly if it returns a reference. by Zhongxing Xu · 16 years ago
  14. 9bcc264 Teach RetainSummaryManager::getSummary(FunctionDecl* FD) that 'FD->getIdentifier()' will not always return a non-null IdentifierInfo*. by Ted Kremenek · 16 years ago
  15. 2f3da9b update to match LLVM API change: by Chris Lattner · 16 years ago
  16. 04af9f2 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 16 years ago
  17. 5bee5c4 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 · 16 years ago
  18. e5716cba 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 · 16 years ago
  19. af35329 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 16 years ago
  20. 6341553 Port BugReporter and BugType to StringRef. by Benjamin Kramer · 16 years ago
  21. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  22. f89dcda Add a PostVisitBlockExpr() method to RetainReleaseChecker to query for by Ted Kremenek · 16 years ago
  23. b63ad7a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 16 years ago
  24. 70a8788 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 · 16 years ago
  25. 945422794 Move RegisterChecks() to the end of the file. No functionality change. by Ted Kremenek · 16 years ago
  26. e6a2780 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 · 16 years ago
  27. 9e20079 Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into by Zhongxing Xu · 16 years ago
  28. 1b8fe5b7 First part of changes to eliminate problems with cv-qualifiers and by Douglas Gregor · 16 years ago
  29. 3c55718 Pull static variable within function (for slightly faster startup time). by Ted Kremenek · 16 years ago
  30. a2968e5 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 · 16 years ago
  31. f8f3f9d Rename: StripCasts describes what it does better. by Zhongxing Xu · 16 years ago
  32. 0fbbb08 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 · 16 years ago
  33. 924316d Move 'static inline' functions GetNullarySelector() and GetUnarySelector() from CFRefCount.cpp to ASTContext.h. These functions are likely to be generally useful. by Ted Kremenek · 16 years ago
  34. 43edaa8 retain/release checker: CGBitmapContextCreateWithData() returns an owned object. by Ted Kremenek · 16 years ago
  35. d1b67db retain/release checker: Add special handling of CGBitmapContextCreateWithData(). by Ted Kremenek · 16 years ago
  36. 90c953e retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. by Ted Kremenek · 16 years ago
  37. 07d0785 PR5218: Replace IdentifierInfo::getName with StringRef version, now that clients by Daniel Dunbar · 16 years ago
  38. 2c422dc9 Move clients to use IdentifierInfo::getNameStart() instead of getName() by Daniel Dunbar · 16 years ago
  39. acb5a4b Simplify more. by Daniel Dunbar · 16 years ago
  40. 9d9aa16 Simplify. by Daniel Dunbar · 16 years ago
  41. 1eb6809 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 16 years ago
  42. 4e45d80 Educate the retain/release checker about [NSCursor dragCopyCursor]. by Ted Kremenek · 16 years ago
  43. 55adb82 retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. by Ted Kremenek · 16 years ago
  44. 8070b82 Remove stale comment. by Ted Kremenek · 16 years ago
  45. b4ec3fc retain/release checker: Recognize that calls to by Ted Kremenek · 16 years ago
  46. 80816ac retain/release checker: retained objects passed to pthread_create (as by Ted Kremenek · 16 years ago
  47. 5c22e11 Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves! by Ted Kremenek · 16 years ago
  48. e41b81e Fix: by Ted Kremenek · 16 years ago
  49. f9539d0 Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 16 years ago
  50. 9dd450b Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 16 years ago
  51. 4112969 Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a call by Ted Kremenek · 16 years ago
  52. 7e3431b Make AnalysisManager stateless. Now other analyzer components only depends on by Zhongxing Xu · 16 years ago
  53. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  54. 52ac2b5 retain/release checker: [CIContext createCGImage...] and friends returned CF by Ted Kremenek · 16 years ago
  55. 1d5f2f3 Rename 'bindExpr' to 'BindExpr'. by Ted Kremenek · 16 years ago
  56. 907a711 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 · 16 years ago
  57. 342950e Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 16 years ago
  58. 94ec649 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 16 years ago
  59. 608677a Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 16 years ago
  60. 815fbb6 retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:' by Ted Kremenek · 16 years ago
  61. d982f00 retain/release checker: Special case handling of CFAttributedStringSetAttribute, by Ted Kremenek · 16 years ago
  62. 7864b9ea Remove unused parameter BugReporter due to previous patch. by Zhongxing Xu · 16 years ago
  63. e1190f7 Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 16 years ago
  64. 107f759 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 16 years ago
  65. 20227f7 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 16 years ago
  66. 44b83ee Get rid of "smart" quotes. Per report on cfe-dev. by Eli Friedman · 16 years ago
  67. c23c7e6 Change uses of: by Ted Kremenek · 16 years ago
  68. 87a7a45 Remove some uses of TypedViewRegion, and use getBaseRegion() in a context where by Ted Kremenek · 16 years ago
  69. bfd28fd Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 16 years ago
  70. 8be5138 Fix long-lurking bug in ObjCSummaryCache revealed by Torok's recent memory by Ted Kremenek · 16 years ago
  71. 8a286fb Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
  72. e3fb4b6 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
  73. 79d1215 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 16 years ago
  74. 7cae42b This patch includes a conceptually simple, but very intrusive/pervasive change. by Steve Naroff · 16 years ago
  75. 1796772 Remove dead code. by Zhongxing Xu · 16 years ago
  76. 0578e43 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 · 16 years ago
  77. e1a3ace Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 16 years ago
  78. 1fb1cf4 Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 16 years ago
  79. cfbfe78 De-ASTContext-ify DeclContext. by Argyrios Kyrtzidis · 16 years ago
  80. ddcd132 Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 16 years ago
  81. b4b64ca Remove the ASTContext parameter from the attribute-related methods of Decl. by Argyrios Kyrtzidis · 16 years ago
  82. 4744d56 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 16 years ago
  83. 6f61070 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 16 years ago
  84. 1642bda Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  85. 799bb6e Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  86. 8cf2021 Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 16 years ago
  87. 404b132 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 16 years ago
  88. 7718ae4 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
  89. fb87e30 MemRegions: by Ted Kremenek · 16 years ago
  90. 095f1a9 Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 16 years ago
  91. f990684 libAnalysis: by Ted Kremenek · 16 years ago
  92. 78bd61f Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. by Douglas Gregor · 16 years ago
  93. d93c6e3 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 16 years ago
  94. 89a303c Remove another dependency on GRStateRef. by Ted Kremenek · 16 years ago
  95. 96aa146 Fix: <rdar://problem/6945561> -[CIContext createCGLayerWithSize:info:] misinterpreted by clang scan-build by Ted Kremenek · 16 years ago
  96. 3092e9c Fix: <rdar://problem/6961230> add knowledge of IOKit functions to retain/release checker by Ted Kremenek · 16 years ago
  97. ea675cf Add summary lookup for IOServiceGetMatchingService. Convert tabs to spaces. by Ted Kremenek · 16 years ago
  98. a74ead4 Refactor some function name -> summary lookup using a switch statement. by Ted Kremenek · 16 years ago
  99. a03705c Fix: by Ted Kremenek · 17 years ago
  100. ea1c221 Enhance attribute cf_returns_retained to also work (in the analyzer) by Ted Kremenek · 17 years ago