1. ff59efd Makes GRState::makeWithStore private, to encourage clients to make store changes through GRState instead of directly accessing the StoreManager. Also adds cover methods for InvalidateRegion(s) and EnterStackFrame to GRState. by Jordy Rose · 14 years ago
  2. 074ae35 Fix idempotent operations false positive caused by ivars not being invalidated in function by Ted Kremenek · 14 years ago
  3. 03509ae Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 14 years ago
  4. bc5495b Constify. by Zhongxing Xu · 14 years ago
  5. bf9c2b2 remove const_cast. by Zhongxing Xu · 14 years ago
  6. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 14 years ago
  7. 7dadf79 Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents. by Jordy Rose · 14 years ago
  8. 2ade35e Introduce Type::isIntegralOrEnumerationType(), to cover those places by Douglas Gregor · 14 years ago
  9. d775c66 Update retain-release checker to understand changes to how 'super' is represented by Ted Kremenek · 14 years ago
  10. 8f32675 Pass around an error SourceRange instead of an Expr* when reporting errors by Ted Kremenek · 14 years ago
  11. 506b57e Clean up some more uses of getAs<ObjCInterfaceType>() that Fariborz pointed by John McCall · 14 years ago
  12. c12c5bb Substantially alter the design of the Objective C type AST by introducing by John McCall · 14 years ago
  13. 04badcf Overhaul the AST representation of Objective-C message send by Douglas Gregor · 15 years ago
  14. 900fc63 Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. by Benjamin Kramer · 15 years ago
  15. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
  16. c2350e5 Extend ObjCMessageExpr for class method sends with the source location by Douglas Gregor · 15 years ago
  17. 6041111 Recognize attributes ns_returns_not_retained and cf_returns_not_retained by Ted Kremenek · 15 years ago
  18. 0b526b4 Sort @includes. by Ted Kremenek · 15 years ago
  19. b6f3c70 Reapply r95546, no intended change in performance or functionality. by Benjamin Kramer · 15 years ago
  20. e7d0312 Revert 95546 since it changed the algorithmic characteristics of the convention lookup. by Ted Kremenek · 15 years ago
  21. de69f70 Simplify code with StringRef. by Benjamin Kramer · 15 years ago
  22. 1397663 Revert 95541. by Ted Kremenek · 15 years ago
  23. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 15 years ago
  24. b4a9c61 More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
  25. 78acdbf Move more naming conventions logic out of the retain/release checker to CocoaConventions.h. by Ted Kremenek · 15 years ago
  26. 1b3c029 Remove unnecessary ASTContext* argument from isRefType(). by Ted Kremenek · 15 years ago
  27. a64e89b Start pulling out pieces of the monolithic retain/release checker into by Ted Kremenek · 15 years ago
  28. 9705309 Move 'LocalCheckers.h' to the 'Checkers' subdirectory. by Ted Kremenek · 15 years ago
  29. 6b67630 Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter' by Ted Kremenek · 15 years ago
  30. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (99%) from lib/Analysis/CFRefCount.cpp]
  31. c027e54 Fix pasto. by Benjamin Kramer · 15 years ago
  32. e45c149 Avoid use of deprecated functions (CStrInCStrNoCase and StringsEqualNoCase). by Benjamin Kramer · 15 years ago
  33. 38ac4f5 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 · 15 years ago
  34. 910e408 Use the FunctionDecl's result type to know exactly if it returns a reference. by Zhongxing Xu · 15 years ago
  35. 48c6d18 Teach RetainSummaryManager::getSummary(FunctionDecl* FD) that 'FD->getIdentifier()' will not always return a non-null IdentifierInfo*. by Ted Kremenek · 15 years ago
  36. 06159e8 update to match LLVM API change: by Chris Lattner · 15 years ago
  37. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  38. 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
  39. 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
  40. a46e4d9 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 15 years ago
  41. f017173 Port BugReporter and BugType to StringRef. by Benjamin Kramer · 15 years ago
  42. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  43. 38cc6bc Add a PostVisitBlockExpr() method to RetainReleaseChecker to query for by Ted Kremenek · 15 years ago
  44. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
  45. 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
  46. d295bae Move RegisterChecks() to the end of the file. No functionality change. by Ted Kremenek · 15 years ago
  47. 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
  48. 2055eff Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into by Zhongxing Xu · 15 years ago
  49. a4923eb First part of changes to eliminate problems with cv-qualifiers and by Douglas Gregor · 15 years ago
  50. f0d8fff Pull static variable within function (for slightly faster startup time). by Ted Kremenek · 15 years ago
  51. 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
  52. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  53. 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
  54. 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
  55. 002174f retain/release checker: CGBitmapContextCreateWithData() returns an owned object. by Ted Kremenek · 15 years ago
  56. 882a51e retain/release checker: Add special handling of CGBitmapContextCreateWithData(). by Ted Kremenek · 15 years ago
  57. e973183 retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. by Ted Kremenek · 15 years ago
  58. 01eb9b9 PR5218: Replace IdentifierInfo::getName with StringRef version, now that clients by Daniel Dunbar · 15 years ago
  59. e013d68 Move clients to use IdentifierInfo::getNameStart() instead of getName() by Daniel Dunbar · 15 years ago
  60. 8fff5f7 Simplify more. by Daniel Dunbar · 15 years ago
  61. 3c2292e Simplify. by Daniel Dunbar · 15 years ago
  62. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  63. e622554 Educate the retain/release checker about [NSCursor dragCopyCursor]. by Ted Kremenek · 15 years ago
  64. 6fe2b7a retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. by Ted Kremenek · 15 years ago
  65. 3bc4ffd Remove stale comment. by Ted Kremenek · 15 years ago
  66. 008636a retain/release checker: Recognize that calls to by Ted Kremenek · 15 years ago
  67. 6240cf1 retain/release checker: retained objects passed to pthread_create (as by Ted Kremenek · 15 years ago
  68. bb206fd Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves! by Ted Kremenek · 15 years ago
  69. 8780679 Fix: by Ted Kremenek · 15 years ago
  70. cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 15 years ago
  71. 183700f Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 15 years ago
  72. 06c9cb4 Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a call by Ted Kremenek · 15 years ago
  73. b317f8f Make AnalysisManager stateless. Now other analyzer components only depends on by Zhongxing Xu · 15 years ago
  74. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  75. a834fb4 retain/release checker: [CIContext createCGImage...] and friends returned CF by Ted Kremenek · 15 years ago
  76. 8e02934 Rename 'bindExpr' to 'BindExpr'. by Ted Kremenek · 15 years ago
  77. 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
  78. 5032ffe Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 15 years ago
  79. cc02553 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 15 years ago
  80. 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
  81. ac02f20 retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:' by Ted Kremenek · 15 years ago
  82. c484381 retain/release checker: Special case handling of CFAttributedStringSetAttribute, by Ted Kremenek · 15 years ago
  83. 292a5c0 Remove unused parameter BugReporter due to previous patch. by Zhongxing Xu · 15 years ago
  84. 25e695b Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 15 years ago
  85. 031ccc0 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 15 years ago
  86. c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 15 years ago
  87. 33a3138 Get rid of "smart" quotes. Per report on cfe-dev. by Eli Friedman · 15 years ago
  88. 6217b80 Change uses of: by Ted Kremenek · 15 years ago
  89. 5e77eba Remove some uses of TypedViewRegion, and use getBaseRegion() in a context where by Ted Kremenek · 15 years ago
  90. 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 15 years ago
  91. 614cc54 Fix long-lurking bug in ObjCSummaryCache revealed by Torok's recent memory by Ted Kremenek · 15 years ago
  92. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
  93. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
  94. f495456 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 15 years ago
  95. 14108da This patch includes a conceptually simple, but very intrusive/pervasive change. by Steve Naroff · 15 years ago
  96. c7068ca Remove dead code. by Zhongxing Xu · 15 years ago
  97. 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
  98. 313b6da Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 15 years ago
  99. 43e2aaf Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 15 years ago
  100. 17945a0 De-ASTContext-ify DeclContext. by Argyrios Kyrtzidis · 15 years ago