Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / b219cfc4d75f0a03630b7c4509ef791b7e97b2c8 / lib / StaticAnalyzer
  1. b219cfc Switch assert(0/false) llvm_unreachable. by David Blaikie · 13 years ago
  2. 5f62571 ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call since one SRM is created in each ScanReachableSymbols instance. Creating the object just once and calling only scan inside the loop gives ~ 14% speed up of the StaticAnalyzer run (Release+Asserts). by Anna Zaks · 13 years ago
  3. 09ca9ef [analyzer] Fix a bug where PathDiagnosticLocation did not generate a valid range and add asserts to check validity of locations early on. Ignore invalid ranges in PathDiagnosticPiece (they could be added by checker writers). by Anna Zaks · 13 years ago
  4. ef70724 [analyzer] Refactor PathDiagnosticLocation: Remove SourceRange member from PathDiagnosticLocation - FullSourceLoc Loc and PathDiagnosticRange Range are sufficient. by Anna Zaks · 13 years ago
  5. bc0a301 [analyzer] Remove dead code. (This code is trying to implement the idea that PathDiagnosticClient could implement DiagnosticClient and has been dead for a while). by Anna Zaks · 13 years ago
  6. 590dd8e [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 · 13 years ago
  7. 77ce46d [analyzer] Refactor PathDiagnosticLocation: Use the pre-computed Range and Location for profile. by Anna Zaks · 13 years ago
  8. b66f486 [analyzer] Refactor PathDiagnosticLocation: Use PointerUnion of LocationContext and AnalysisContext to support creation of PathDiagnosticLocations for checkers which no context sensitivity. by Anna Zaks · 13 years ago
  9. e974367 [analyzer] Refactor PathDiagnosticLocation: Lazily query LocationContext for a ParentMap as needed. by Anna Zaks · 13 years ago
  10. 2380337 [analyzer] Remove LocationContext and a dependency from PathDiagnosticLoaction. by Anna Zaks · 13 years ago
  11. b490c4b [analyzer] Refactor PathDiagnosticLocation: Pre-compute Range and Location with gen methods on object creation instead of computing on demand. This would allow to remove dependency on the other members which help with construction and might not even be valid at later stages (to be removed later on). by Anna Zaks · 13 years ago
  12. 1531bb0 [analyzer] Use more create methods in the PathDiagnostic, cleanup. by Anna Zaks · 13 years ago
  13. 4522e2a [analyzer] BugReport has a profile method, so reuse it here. by Anna Zaks · 13 years ago
  14. a64ccef Rename SourceLocation::getFileLocWithOffset -> getLocWithOffset. by Argyrios Kyrtzidis · 13 years ago
  15. 0cd5948 [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 5 of ?): by Anna Zaks · 13 years ago
  16. f2b4e66 [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 4 of ?): by Anna Zaks · 13 years ago
  17. 4fdf97b [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
  18. 220ac8c [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
  19. 4d353eb [analyzer] After CFG has been linearized, we can have a situation where an ExpoledNode has an invalid SourceLocation (which has no correspondence in the source code). This commit is the first step to solve this problem. by Anna Zaks · 13 years ago
  20. 43f48b0 [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 · 13 years ago
  21. e289d81 Switch LangOptions over to a .def file that describes header of the by Douglas Gregor · 13 years ago
  22. 7a75646 [analyzer] Fix a failure encountered while analyzing bind (radar://10105448). by Anna Zaks · 13 years ago
  23. f7afe4a [analyzer] Fix a new failure encountered while building Adium exposed as a result of r138196(radar://10087620). ObjectiveC property of type int has a value of type ObjCPropRef, which is a Loc. by Anna Zaks · 13 years ago
  24. 33e56f3 Rename the ARC cast kinds to start with "ARC". by John McCall · 13 years ago
  25. dc05b11 When converting a block pointer to an Objective-C pointer type, extend by John McCall · 13 years ago
  26. d1fe529 [analyzer] -analyze-function for ObjectiveC should check if any of the methods match the name (not only the first one). by Anna Zaks · 13 years ago
  27. 1d9b3b2 Give conversions of block pointers to ObjC pointers a different cast kind by John McCall · 13 years ago
  28. d77ba89 Make helpers static, remove unused variables. by Benjamin Kramer · 13 years ago
  29. d1e5a89 [analyzer] Remove TransferFuncs.h, then deal with the fallout. by Jordy Rose · 13 years ago
  30. 910c405 [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 · 13 years ago
  31. 46331ef [analyzer] Remove lingering CFRefCount creation, which would have resulted in a leak. There's room for improvement here... by Jordy Rose · 13 years ago
  32. e1b3643 [analyzer] Fix member initialization order. No functionality change. by Jordy Rose · 13 years ago
  33. 17a38e2 [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. by Jordy Rose · 13 years ago
  34. bcfd1f5 Extend the ASTContext constructor to delay the initialization of by Douglas Gregor · 13 years ago
  35. d56763f If size was equal to 0, either NULL or a pointer suitable to be passed to by Zhongxing Xu · 13 years ago
  36. 1af9d9e [analyzer] Fix varargs helper to only use POD types even for named arguments. Thanks, Joerg. by Jordy Rose · 13 years ago
  37. 065a405 [analyzer] MacOSKeychainAPIChecker: Simplify getSymbolForRegion by using existing API. Thanks Jordy. by Anna Zaks · 13 years ago
  38. 8b6eb7c Fix: Bug 10798 - [analyzer] Crash when analyzing ICU. (A slight improvement on the previous commit.) by Anna Zaks · 13 years ago
  39. 5c96f86 Fix bug 10797: Crash: "cast<Ty>() argument of incompatible type!" assert when analyzing ICU. by Anna Zaks · 13 years ago
  40. dbd658e [analyzer] Introduce a new callback for checkers, printState, to be used for debug-printing the contents of a ProgramState. by Jordy Rose · 13 years ago
  41. 93bd5ca [analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we were ignoring it anyway. No functionality change. by Jordy Rose · 13 years ago
  42. fe27971 [analyzer] Eliminate almost all uses of TransferFuncs from ExprEngine. by Jordy Rose · 13 years ago
  43. e38dd95 [analyzer] Migrate argument invalidation from CFRefCount to ExprEngine. by Jordy Rose · 13 years ago
  44. 537716a [analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation. by Jordy Rose · 13 years ago
  45. 07453ac [analyzer] Rename current PathDiagnosticClient::HandlePathDiagnostic() to HandlePathDiagnosticImpl(), and slot in new HandlePathDiagnostic() for potentially handling concurrent access to PathDiagnosticClients (in the future). by Ted Kremenek · 13 years ago
  46. fee618a [analyzer] Pull body of loop in AnalysisConsumer::HandleDeclContext() into its own method. No real functionality change. by Ted Kremenek · 13 years ago
  47. 417162c [analyzer] Remove a couple of unnecessary returns after llvm_unreachables. by Jordy Rose · 13 years ago
  48. 782f63e Handle CXXTempObjectRegion in StackAddrEscapeChecker. by Jeffrey Yasskin · 13 years ago
  49. db92bb6 [analyzer] Move the leak bugs from CFRefCount to RetainReleaseChecker, with a level of indirection to handle GC vs. non-GC. by Jordy Rose · 13 years ago
  50. eacd2b4 [analyzer] MacOSKeychainAPIChecker: Cleanup AllocationState structure. by Anna Zaks · 13 years ago
  51. d6334e1 [analyzer] Move the easy bug types from CFRefCount to RetainReleaseChecker. by Jordy Rose · 13 years ago
  52. 6b7aad9 [analyzer] MacOSKeychainAPIChecker: Add the custom BugReport visitor(which highlights the allocation site) to all the relevant reports within the checker. by Anna Zaks · 13 years ago
  53. b6cfc09 [analyzer] Move the RetainSummaryManager from CFRefCount to RetainReleaseChecker. by Jordy Rose · 13 years ago
  54. c318659 [analyzer] Better fix for the "missing return" error, from Ted. by Jordy Rose · 13 years ago
  55. 359bd07 [analyzer] Silence another incorrect warning ("control reaches end of non-void function") by Jordy Rose · 13 years ago
  56. 4f227aa [analyzer] Remove experimental FIXME that never actually applied to the code in trunk. by Jordy Rose · 13 years ago
  57. 2058956 [analyzer] CFRefReport and friends no longer depend on CFRefCount. by Jordy Rose · 13 years ago
  58. 5eb7d82 [analyzer] Do not use references in std::pair. by Anna Zaks · 13 years ago
  59. e94cb98 [analyzer] Unbreak the release buildbot. by Anna Zaks · 13 years ago
  60. 9840111 [analyzer] MacOSKeychainAPIChecker: Provide reacher diagnostic trace by pointing to the allocation site when reporting a leak. by Anna Zaks · 13 years ago
  61. f95b19d [analyzer] Silence an (incorrect) uninitialized variable warning, caught by Cameron. by Jordy Rose · 13 years ago
  62. 0a61437 [analyzer] Copy GC mode setting from CFRefCount to RetainReleaseChecker in preparation for getting rid of CFRefCount. by Jordy Rose · 13 years ago
  63. 1492426 [analyzer] Allow checker writes to specify that no region should be accosiated with the report. (Useful when we report an error on endOfPath or deadSymbols, when the range of the last expression might have nothing to do with the error.) by Anna Zaks · 13 years ago
  64. bd85b13 [analyzer] Remove unused DoNothingByRef and the special case for CFDictionaryCreate. by Jordy Rose · 13 years ago
  65. 9c083b7 [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 · 13 years ago
  66. 1ab51c7 [analyzer] Fix a Heisenbug concerning object lifetimes with a hack. Hopefully a better fix coming soon. See comment for more details. by Jordy Rose · 13 years ago
  67. 1bb094f [analyzer] Reapply 138390 "Clean up unused bits of CFRefCount", reverted in 138405. Ended up unrelated to any problems. by Jordy Rose · 13 years ago
  68. 0fe62f8 [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 · 13 years ago
  69. 35c8695 [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 · 13 years ago
  70. 5337612 [analyzer] Correctly initialize a variable and hopefully fix crashes. by Jordy Rose · 13 years ago
  71. f2be652 Revert "[analyzer] Cleanup: Move temporary declarations of CFRefCount variables closer to their uses. No functionality change." by Eric Christopher · 13 years ago
  72. f21e2b4 Revert "[analyzer] Make CFRefBug and CFRefReportVisitor not dependent on CFRefCount. Unfortunately, CFRefReport still is. No functionality change." by Eric Christopher · 13 years ago
  73. 6cf0ed0 [analyzer] MacOSKeychainAPIChecker: Add reasoning about functions which MIGHT deallocate the memory region allocated with SecKeychain APIs. Specifically, when the buffer is passed to CFStringCreateWithBytesNoCopy along with a custom deallocator, which might potentially correctly release the memory. by Anna Zaks · 13 years ago
  74. 31e1028 [analyzer] MacOSKeychainAPIChecker: Retrieve the memory region which we are tracking even when it's no longer a SymbolicRegion, for example, when it is cast to char*. by Anna Zaks · 13 years ago
  75. dd6060e Move creation of the deallocation mismatch report into a separate function for future reuse. by Anna Zaks · 13 years ago
  76. f1d10d9 Constify the result of CFGStmt::getStmt(). by Ted Kremenek · 13 years ago
  77. b1793a0 Revert "[analyzer] Clean up unused bits of CFRefCount." by Eric Christopher · 13 years ago
  78. 6886a92 [analyzer] Clean up unused bits of CFRefCount. by Jordy Rose · 13 years ago
  79. e3fb7e4 [analyzer] Make CFRefBug and CFRefReportVisitor not dependent on CFRefCount. Unfortunately, CFRefReport still is. No functionality change. by Jordy Rose · 13 years ago
  80. d02b4af [analyzer] Cleanup: Move temporary declarations of CFRefCount variables closer to their uses. No functionality change. by Jordy Rose · 13 years ago
  81. ec9ef85 [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 · 13 years ago
  82. 540dda6 Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) by Ted Kremenek · 13 years ago
  83. e0a5d32 [analyzer] Move helper method Update from CFRefCount to RetainReleaseChecker. No functionality change. by Jordy Rose · 13 years ago
  84. 8d22863 [analyzer] Move helper method handleAutoreleaseCounts from CFRefCount to RetainReleaseChecker. No functionality change. by Jordy Rose · 13 years ago
  85. f53e8c7 [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 · 13 years ago
  86. 38f17d6 [analyzer] Move symbol death leak analysis from CFRefCount to RetainReleaseChecker. by Jordy Rose · 13 years ago
  87. 4df54fe [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 · 13 years ago
  88. 6fa7dbe [analyzer] Rename CFRefCount's evalSummary method to evalCallOrMessage, since it no longer, uh, evaluates call summaries. by Jordy Rose · 13 years ago
  89. 294396b [analyzer] Migrate the handling of retain-count-related RetEffects and ArgEffects from CFRefCount to RetainReleaseChecker. No intended functionality change. by Jordy Rose · 13 years ago
  90. 7bbd166 [analyzer] MacOSKeychainAPIChecker: Users of KeyChain API often use free() to deallocate the password. Catch this error explicitly and generate the error message at the place where free() is called. by Anna Zaks · 13 years ago
  91. 7f2531c Static Analyzer Diagnostics: Allow checkers to add ExtraDescriptiveText, now renamed into ExtraText, to the diagnostic without subclassing BugReport. by Anna Zaks · 13 years ago
  92. edf4dae Clean up the CFRefBugReport - remove the members, which got moved to the CFRefReportVisitors. by Anna Zaks · 13 years ago
  93. 76c506f [analyzer] Migrate the aliasing effects of CFRetain and CFMakeCollectable from CFRefCount to RetainReleaseChecker. No intended functionality change. by Jordy Rose · 13 years ago
  94. df0fcdd [analyzer] Remove FIXME; Ted reminded me that -init is not guaranteed to return its receiver and pretending that it does won't actually buy us anything. (Comment change only.) by Jordy Rose · 13 years ago
  95. 500abad [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 · 13 years ago
  96. 7df1234 [analyzer] Replace calls to getNameAsString() with StringRef equivalents. by Jordy Rose · 13 years ago
  97. d9f5a70 Fix compile on platforms that don't implicitly include stdarg.h here. by Benjamin Kramer · 13 years ago
  98. 2f9a66d [analyzer] RetainReleaseChecker always wants region change updates. There's no need for a flag, at least not right now. by Jordy Rose · 13 years ago
  99. ab027fd Fix indentation. by Jordy Rose · 13 years ago
  100. e62e87b [analyzer] Move handling of hardcoded noreturn ("panic") methods from CFRefCount to NoReturnFunctionChecker. No functionality change intended. by Jordy Rose · 13 years ago