Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 3e914578c574163245736f7b644908ccfe7084fd / clang / lib / StaticAnalyzer / Checkers / RetainCountChecker.cpp
  1. 1e809b4 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 14 years ago
  2. 415287d Add static analyzer support for new NSArray/NSDictionary/NSNumber literals. by Ted Kremenek · 14 years ago
  3. 75de323 [analyzer] Leaks should be uniqued by the allocation point in the by Anna Zaks · 14 years ago
  4. 16f3831 [analyzer] Retain release: drop the line number info from the leak message. by Anna Zaks · 14 years ago
  5. ef31f37 RetainCountChecker: don't adjust the retain count when analyzing a ReturnStmt unless we are in the top-level call frame. We can do more later, but this makes the checker self-consistent (and fixes a crash). by Ted Kremenek · 14 years ago
  6. e8a5ba8 Teach analyzer about NSAutoreleasePool -allocWithZone:. Fixes <rdar://problem/10640253>. by Ted Kremenek · 14 years ago
  7. d519cae Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. by Ted Kremenek · 14 years ago
  8. 3d34834 [analyzer] Make Malloc Checker optimistic in presence of inlining. by Anna Zaks · 14 years ago
  9. db0fc51 Print NamedDecls directly to a raw_ostream where possible. by Benjamin Kramer · 14 years ago
  10. a2bbac3 Add basic BugReporter support for CallEnter/CallExit. WIP. by Ted Kremenek · 14 years ago
  11. 2c1dd27 Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 14 years ago
  12. e277899 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  13. 4903802 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 14 years ago
  14. 49b1e38 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  15. 8a40f70 Remove unreachable code in Clang. (replace with llvm_unreachable where appropriate or when GCC requires it) by David Blaikie · 14 years ago
  16. f47fa30 Remove unnecessary default cases in switches over enums. by David Blaikie · 14 years ago
  17. 632e3b7 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  18. e8300e5 Minor code formatting cleanups. by Ted Kremenek · 14 years ago
  19. 5586354 Fix typos in analyzer diagnostics pointed out by Matt Beaumont-Gay and Robert Purves. by Ted Kremenek · 14 years ago
  20. 2235165 [analyzer] Change RetainCountChecker to use symbol dump method instead by Anna Zaks · 14 years ago
  21. c6aa531 [analyzer] Refactor checkers to use helper function for getting callee Decl and name. by Anna Zaks · 14 years ago
  22. 8e7fbcc [static analyzer] Tweak RetainCountChecker's diagnostics to correctly indicate if a message was due to a property access. This can by Ted Kremenek · 14 years ago
  23. 1c887b3 [analyzer] CheckerContext::getPredecessor() cleanup by Anna Zaks · 14 years ago
  24. c9abbe2 [analyzer] Add getLocationContext to CheckerContext by Anna Zaks · 14 years ago
  25. da4c8d6 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 14 years ago
  26. 58734db [analyzer] Remove getEngine() form CheckerContext by Anna Zaks · 14 years ago
  27. b473816 [analyzer] Simplify CheckerContext by Anna Zaks · 14 years ago
  28. 3eae334 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 14 years ago
  29. e83ddcc [analyzer] Remove dead code. ExprEngineBuilders is not used. by Anna Zaks · 14 years ago
  30. fc0189a [analyzer] Node Builder refactoring: Introduce a simple Node Builder responsible for generating the node frontier. by Anna Zaks · 14 years ago
  31. b89514a Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 14 years ago
  32. 3e0f415 [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. by Anna Zaks · 14 years ago
  33. f3e3f66 Fix major regression in RetainCountChecker. DefaultSummaries were not being used when they were meant to be. Fixes <rdar://problem/10241614>. by Ted Kremenek · 14 years ago
  34. c4aa22c [analyzer] Remove the last dependency on CheckerContext::getNodeBuilder() as well as the method itself. by Anna Zaks · 14 years ago
  35. 8569d2d [analyzer] Removing more references to CheckerContext::getNodeBuilder(): ask CheckerContext to generate the nodes. by Anna Zaks · 14 years ago
  36. 23d7ba3 [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. by Anna Zaks · 14 years ago
  37. b8c3aaf Allow getting all source locations of selector identifiers in a ObjCMethodDecl. by Argyrios Kyrtzidis · 14 years ago
  38. 525f055 Tweak the interface for analyzing the CF conventions for a name by John McCall · 14 years ago
  39. 819b0d8 [analyzer] Fix a bug in RetainReleaseChecker diagnostics. It gives more precise error message on the modified test case (and prevents duplicate diagnostics when we purge at block granularity). by Anna Zaks · 14 years ago
  40. c29bed3 [analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(SourceLocation...) private. Most of the effort here goes to making BugReport refer to a PathDiagnosticLocation instead of FullSourceLocation. by Anna Zaks · 14 years ago
  41. 921f049 [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 14 years ago
  42. 3a769bd [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 14 years ago
  43. 2c65eea [analyzer] Refactor: Make PathDiagnosticLocation responsible for creating a valid object given an ExploadedNode (the same logic can be reused by other checkers). by Anna Zaks · 14 years ago
  44. 79a9141 Switch LangOptions over to a .def file that describes header of the by Douglas Gregor · 14 years ago
  45. 2667afa Make helpers static, remove unused variables. by Benjamin Kramer · 14 years ago
  46. 087611e [analyzer] Remove TransferFuncs.h, then deal with the fallout. by Jordy Rose · 14 years ago
  47. 75e680e [analyzer] Move RetainReleaseChecker to the Checkers library and rename it to RetainCountChecker...and clean up the file while I'm at it. by Jordy Rose · 14 years ago[Renamed (94%) from clang/lib/StaticAnalyzer/Core/CFRefCount.cpp]
  48. c49ec53 [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. by Jordy Rose · 14 years ago
  49. 58a20d3 [analyzer] Introduce a new callback for checkers, printState, to be used for debug-printing the contents of a ProgramState. by Jordy Rose · 14 years ago
  50. d188d66 [analyzer] Migrate argument invalidation from CFRefCount to ExprEngine. by Jordy Rose · 14 years ago
  51. 1fad663 [analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation. by Jordy Rose · 14 years ago
  52. 256a6dd [analyzer] Remove a couple of unnecessary returns after llvm_unreachables. by Jordy Rose · 14 years ago
  53. 15484da [analyzer] Move the leak bugs from CFRefCount to RetainReleaseChecker, with a level of indirection to handle GC vs. non-GC. by Jordy Rose · 14 years ago
  54. 4ba0ba4 [analyzer] Move the easy bug types from CFRefCount to RetainReleaseChecker. by Jordy Rose · 14 years ago
  55. 8b289a2 [analyzer] Move the RetainSummaryManager from CFRefCount to RetainReleaseChecker. by Jordy Rose · 14 years ago
  56. a4c41bb [analyzer] Better fix for the "missing return" error, from Ted. by Jordy Rose · 14 years ago
  57. 34a83e9 [analyzer] Silence another incorrect warning ("control reaches end of non-void function") by Jordy Rose · 14 years ago
  58. 763982b [analyzer] Remove experimental FIXME that never actually applied to the code in trunk. by Jordy Rose · 14 years ago
  59. 184bd14 [analyzer] CFRefReport and friends no longer depend on CFRefCount. by Jordy Rose · 14 years ago
  60. 9ff0299 [analyzer] Silence an (incorrect) uninitialized variable warning, caught by Cameron. by Jordy Rose · 14 years ago
  61. 38eea65 [analyzer] Copy GC mode setting from CFRefCount to RetainReleaseChecker in preparation for getting rid of CFRefCount. by Jordy Rose · 14 years ago
  62. e8743a7 [analyzer] Remove unused DoNothingByRef and the special case for CFDictionaryCreate. by Jordy Rose · 14 years ago
  63. 5df640d [analyzer] Slightly clean up the fix in 138432, so that it doesn't depend on the relative ordering of path-sensitive and path-insensitive checks. Still not ideal, but I think a real fix would require infrastructure that doesn't exist yet. by Jordy Rose · 14 years ago
  64. 95589f1 [analyzer] Fix a Heisenbug concerning object lifetimes with a hack. Hopefully a better fix coming soon. See comment for more details. by Jordy Rose · 14 years ago
  65. 58428b9 [analyzer] Reapply 138390 "Clean up unused bits of CFRefCount", reverted in 138405. Ended up unrelated to any problems. by Jordy Rose · 14 years ago
  66. 14de7c5 [analyzer] Fix potential crasher with RAII. No functionality change. (No test because this particular circumstance requires an impossible series of events, but this is future-proofing.) by Jordy Rose · 14 years ago
  67. 7a53498 [analyzer] Reapply 138382 and 138388 (reverted in 138419 and 138420). The issue seems to have been with the uninitialized variable fixed in 138424; a fix for another Heisencrasher coming soon. by Jordy Rose · 14 years ago
  68. 03a8f9e [analyzer] Correctly initialize a variable and hopefully fix crashes. by Jordy Rose · 14 years ago
  69. aa8b6a5 Revert "[analyzer] Cleanup: Move temporary declarations of CFRefCount variables closer to their uses. No functionality change." by Eric Christopher · 14 years ago
  70. 1825e7a Revert "[analyzer] Make CFRefBug and CFRefReportVisitor not dependent on CFRefCount. Unfortunately, CFRefReport still is. No functionality change." by Eric Christopher · 14 years ago
  71. fba570c Revert "[analyzer] Clean up unused bits of CFRefCount." by Eric Christopher · 14 years ago
  72. 5aa9b1d [analyzer] Clean up unused bits of CFRefCount. by Jordy Rose · 14 years ago
  73. 908426a [analyzer] Make CFRefBug and CFRefReportVisitor not dependent on CFRefCount. Unfortunately, CFRefReport still is. No functionality change. by Jordy Rose · 14 years ago
  74. fd13f6f [analyzer] Cleanup: Move temporary declarations of CFRefCount variables closer to their uses. No functionality change. by Jordy Rose · 14 years ago
  75. 20d4e68 [analyzer] Move function retain-count effect summary log from CFRefCount to RetainReleaseChecker, and then explicitly provide the summary log when creating CFRefReports. No functionality change. by Jordy Rose · 14 years ago
  76. bf77e51 [analyzer] Move helper method Update from CFRefCount to RetainReleaseChecker. No functionality change. by Jordy Rose · 14 years ago
  77. 6763e38 [analyzer] Move helper method handleAutoreleaseCounts from CFRefCount to RetainReleaseChecker. No functionality change. by Jordy Rose · 14 years ago
  78. 298cc4d [analyzer] Move ReturnStmt retain-count analysis from CFRefCount to RetainReleaseChecker. Tweak CFRefReport to reflect that fact that ReturnStmt checks are pre-statement, not post-statement. No intended functionality change. by Jordy Rose · 14 years ago
  79. 7861276 [analyzer] Move symbol death leak analysis from CFRefCount to RetainReleaseChecker. by Jordy Rose · 14 years ago
  80. 212e459 [analyzer] Only allocate retain summaries for interesting functions/messages. This is a minor saving of memory but doesn't seem to cost any performance. by Jordy Rose · 14 years ago
  81. f5b02349 [analyzer] Rename CFRefCount's evalSummary method to evalCallOrMessage, since it no longer, uh, evaluates call summaries. by Jordy Rose · 14 years ago
  82. 5b31d7a [analyzer] Migrate the handling of retain-count-related RetEffects and ArgEffects from CFRefCount to RetainReleaseChecker. No intended functionality change. by Jordy Rose · 14 years ago
  83. 76c3fb6 Static Analyzer Diagnostics: Allow checkers to add ExtraDescriptiveText, now renamed into ExtraText, to the diagnostic without subclassing BugReport. by Anna Zaks · 14 years ago
  84. 752de14 Clean up the CFRefBugReport - remove the members, which got moved to the CFRefReportVisitors. by Anna Zaks · 14 years ago
  85. 898a148 [analyzer] Migrate the aliasing effects of CFRetain and CFMakeCollectable from CFRefCount to RetainReleaseChecker. No intended functionality change. by Jordy Rose · 14 years ago
  86. 3f7f7568 [analyzer] Migrate return value handling from CFRefCount to ExprEngine. This seems to result in a minor performance hit, but I think that will go away again once we eliminate TransferFuncs from function calls entirely. by Jordy Rose · 14 years ago
  87. 82c673d [analyzer] Replace calls to getNameAsString() with StringRef equivalents. by Jordy Rose · 14 years ago
  88. a8f99ba [analyzer] RetainReleaseChecker always wants region change updates. There's no need for a flag, at least not right now. by Jordy Rose · 14 years ago
  89. 5c252ef Fix indentation. by Jordy Rose · 14 years ago
  90. 5a3c9ff [analyzer] Move handling of hardcoded noreturn ("panic") methods from CFRefCount to NoReturnFunctionChecker. No functionality change intended. by Jordy Rose · 14 years ago
  91. 88255cc Static Analyzer Diagnostics: Move the responsibility for generating the endOfPath diagnostic piece from BugReport to BugReporterVisitor. Switch CFRefCount to use visitors in order to generate the endOfPath piece. by Anna Zaks · 14 years ago
  92. 071a89c Static Analyzer Diagnostics: Switch CFRefCount to using the new visitor API. BugReport no longer needs to inherit from BugReporterVisitor. by Anna Zaks · 14 years ago
  93. f4dd4ae Static Analyzer Diagnostics: Move custom diagnostic visitors from BugReporterContext to BugReport. by Anna Zaks · 14 years ago
  94. 3a6bdf8 Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. by Anna Zaks · 14 years ago
  95. 217eb90 [analyzer] Migrate assumption and binding handling from CFRefCount to RetainReleaseChecker. This is mostly a textual move and required no supporting changes. No functionality change intended. by Jordy Rose · 14 years ago
  96. c14efa7 Fix a handful of dead stores found by Clang's static analyzer. There's a bunch of others I haven't touched. by Ted Kremenek · 14 years ago
  97. 001fd5b Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  98. 5ef32db Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 14 years ago
  99. e8f7316 [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. by Ted Kremenek · 14 years ago
  100. 173864b Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilder, not needed as of r137273. by Anna Zaks · 14 years ago