- 50571a9 [analyzer] RetainCount: don't track objects init'd with a delegate by Jordan Rose · 12 years ago
- facde17 Remove unused private member variables found by clang's new -Wunused-private-field. by Benjamin Kramer · 12 years ago
- 28b2307 Replace some custom hash combines with the standard stuff from DenseMapInfo. by Benjamin Kramer · 12 years ago
- 70fdbc3 [analyzer] RetainCountChecker: track ObjC boxed expression objects. by Jordy Rose · 12 years ago
- c91fdf6 Teach the static analyzer that NSLog() and friends do not hold on to object references (thus extending their lifetime). by Ted Kremenek · 13 years ago
- 41a669a [analyzer]Fixup r156215: use StopTracking summary instead of ScratchArgs by Anna Zaks · 13 years ago
- 58822c4 [analyzer] RetainCountChecker: Allow objects to escape through callbacks by Anna Zaks · 13 years ago
- e7958da [analyzer] RetainRelease: Self assignment should not suppress a leak warning. by Anna Zaks · 13 years ago
- 537dd3a Teach RetainCountchecker about IORegistryEntrySearchCFProperty returning retained objects. I know there is an SDK enhancement request for this to have the cf_returns_retained annotation, so this is just a stop gap. by Ted Kremenek · 13 years ago
- befc6d2 Teach RetainCountChecker that it doesn't quite understand pthread_setspecific and it should just give up when it sees it. Fixes <rdar://problem/11282706>. by Ted Kremenek · 13 years ago
- 6fd4505 Require that all static analyzer issues have a category. As part of this change, by Ted Kremenek · 13 years ago
- 62a5c34 [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert. by Anna Zaks · 13 years ago
- de5b4fb Change RetainCountChecker to eagerly "escape" retained objects when they are by Ted Kremenek · 13 years ago
- 0115349 [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able to reset diagnostic generation. by Jordy Rose · 13 years ago
- 514f2c9 Avoid applying retain/release effects twice in RetainCountChecker when a function call was inlined (i.e., we do not need to apply summaries in such cases). by Ted Kremenek · 13 years ago
- 06911d4 "Teach" RetainCountChecker about dispatch_set_context, which can indirectly free its argument later. Fixes <rdar://problem/11059275>. by Ted Kremenek · 13 years ago
- 27b867e [analyser] Factor out FindUniqueBinding from RetainCount checker. by Anna Zaks · 13 years ago
- ef94588 [analyzer] Use a FoldingSet to cache simple RetainSummary instances, rather than explicitly keeping DoNothing and StopTracking summaries and nothing else. by Jordy Rose · 13 years ago
- f3aae58 [analyzer] Unify retain-count summary generation for class and instance methods. No functionality change. by Jordy Rose · 13 years ago
- e921b1a [analyzer] Remove duplicate work on deriving method behavior. No functionality change. by Jordy Rose · 13 years ago
- 74b7b2b [analyzer] Don't claim an object was returned with +1 retain count before counting autoreleases. Fixes PR10376. by Jordy Rose · 13 years ago
- 4e4d084 Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). by David Blaikie · 13 years ago
- 7acf23f Teach RetainCountChecker about mixing method families with explicit annotations. Fixes <rdar://problem/10824732>. by Ted Kremenek · 13 years ago
- 76aadc3 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 13 years ago
- 1a45a5f Add static analyzer support for new NSArray/NSDictionary/NSNumber literals. by Ted Kremenek · 13 years ago
- e7e0168 [analyzer] Leaks should be uniqued by the allocation point in the by Anna Zaks · 13 years ago
- 212000e [analyzer] Retain release: drop the line number info from the leak message. by Anna Zaks · 13 years ago
- e571578 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 · 13 years ago
- a979712 Teach analyzer about NSAutoreleasePool -allocWithZone:. Fixes <rdar://problem/10640253>. by Ted Kremenek · 13 years ago
- 3133f79 Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. by Ted Kremenek · 13 years ago
- 66c4040 [analyzer] Make Malloc Checker optimistic in presence of inlining. by Anna Zaks · 13 years ago
- a59d20b Print NamedDecls directly to a raw_ostream where possible. by Benjamin Kramer · 13 years ago
- 0cf3d47 Add basic BugReporter support for CallEnter/CallExit. WIP. by Ted Kremenek · 13 years ago
- f7ccbad Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 13 years ago
- 6f42b62 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 13 years ago
- 8fe83e1 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 13 years ago
- 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 13 years ago
- 7530c03 Remove unreachable code in Clang. (replace with llvm_unreachable where appropriate or when GCC requires it) by David Blaikie · 13 years ago
- 561d3ab Remove unnecessary default cases in switches over enums. by David Blaikie · 13 years ago
- 5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 13 years ago
- 0507f7e Minor code formatting cleanups. by Ted Kremenek · 13 years ago
- b7dcddf Fix typos in analyzer diagnostics pointed out by Matt Beaumont-Gay and Robert Purves. by Ted Kremenek · 13 years ago
- f62ceec [analyzer] Change RetainCountChecker to use symbol dump method instead by Anna Zaks · 13 years ago
- b805c8f [analyzer] Refactor checkers to use helper function for getting callee Decl and name. by Anna Zaks · 13 years ago
- 4c42bb7 [static analyzer] Tweak RetainCountChecker's diagnostics to correctly indicate if a message was due to a property access. This can by Ted Kremenek · 13 years ago
- a2a8603 [analyzer] CheckerContext::getPredecessor() cleanup by Anna Zaks · 13 years ago
- 39ac187 [analyzer] Add getLocationContext to CheckerContext by Anna Zaks · 13 years ago
- 0bd6b11 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 13 years ago
- 6a93bd5 [analyzer] Remove getEngine() form CheckerContext by Anna Zaks · 13 years ago
- 063e088 [analyzer] Simplify CheckerContext by Anna Zaks · 13 years ago
- af498a2 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 13 years ago
- 67d9fba [analyzer] Remove dead code. ExprEngineBuilders is not used. by Anna Zaks · 13 years ago
- f05aac8 [analyzer] Node Builder refactoring: Introduce a simple Node Builder responsible for generating the node frontier. by Anna Zaks · 13 years ago
- b8989f2 Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 13 years ago
- 390909c [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. by Anna Zaks · 13 years ago
- 93edbc5 Fix major regression in RetainCountChecker. DefaultSummaries were not being used when they were meant to be. Fixes <rdar://problem/10241614>. by Ted Kremenek · 13 years ago
- 4eff823 [analyzer] Remove the last dependency on CheckerContext::getNodeBuilder() as well as the method itself. by Anna Zaks · 13 years ago
- cbb7add [analyzer] Removing more references to CheckerContext::getNodeBuilder(): ask CheckerContext to generate the nodes. by Anna Zaks · 13 years ago
- 5d0ea6d [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. by Anna Zaks · 13 years ago
- 491306a Allow getting all source locations of selector identifiers in a ObjCMethodDecl. by Argyrios Kyrtzidis · 13 years ago
- 7df2ff4 Tweak the interface for analyzing the CF conventions for a name by John McCall · 13 years ago
- 0658879 [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 · 13 years ago
- 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
- 4fdf97b [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
- 220ac8c [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
- 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
- e289d81 Switch LangOptions over to a .def file that describes header of the by Douglas Gregor · 13 years ago
- d77ba89 Make helpers static, remove unused variables. by Benjamin Kramer · 13 years ago
- d1e5a89 [analyzer] Remove TransferFuncs.h, then deal with the fallout. by Jordy Rose · 13 years ago
- 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[Renamed (94%) from lib/StaticAnalyzer/Core/CFRefCount.cpp]
- 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
- 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
- e38dd95 [analyzer] Migrate argument invalidation from CFRefCount to ExprEngine. by Jordy Rose · 13 years ago
- 537716a [analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation. by Jordy Rose · 13 years ago
- 417162c [analyzer] Remove a couple of unnecessary returns after llvm_unreachables. by Jordy Rose · 13 years ago
- 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
- d6334e1 [analyzer] Move the easy bug types from CFRefCount to RetainReleaseChecker. by Jordy Rose · 13 years ago
- b6cfc09 [analyzer] Move the RetainSummaryManager from CFRefCount to RetainReleaseChecker. by Jordy Rose · 13 years ago
- c318659 [analyzer] Better fix for the "missing return" error, from Ted. by Jordy Rose · 13 years ago
- 359bd07 [analyzer] Silence another incorrect warning ("control reaches end of non-void function") by Jordy Rose · 13 years ago
- 4f227aa [analyzer] Remove experimental FIXME that never actually applied to the code in trunk. by Jordy Rose · 13 years ago
- 2058956 [analyzer] CFRefReport and friends no longer depend on CFRefCount. by Jordy Rose · 13 years ago
- f95b19d [analyzer] Silence an (incorrect) uninitialized variable warning, caught by Cameron. by Jordy Rose · 13 years ago
- 0a61437 [analyzer] Copy GC mode setting from CFRefCount to RetainReleaseChecker in preparation for getting rid of CFRefCount. by Jordy Rose · 13 years ago
- bd85b13 [analyzer] Remove unused DoNothingByRef and the special case for CFDictionaryCreate. by Jordy Rose · 13 years ago
- 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
- 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
- 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
- 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
- 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
- 5337612 [analyzer] Correctly initialize a variable and hopefully fix crashes. by Jordy Rose · 13 years ago
- f2be652 Revert "[analyzer] Cleanup: Move temporary declarations of CFRefCount variables closer to their uses. No functionality change." by Eric Christopher · 13 years ago
- f21e2b4 Revert "[analyzer] Make CFRefBug and CFRefReportVisitor not dependent on CFRefCount. Unfortunately, CFRefReport still is. No functionality change." by Eric Christopher · 13 years ago
- b1793a0 Revert "[analyzer] Clean up unused bits of CFRefCount." by Eric Christopher · 13 years ago
- 6886a92 [analyzer] Clean up unused bits of CFRefCount. by Jordy Rose · 13 years ago
- e3fb7e4 [analyzer] Make CFRefBug and CFRefReportVisitor not dependent on CFRefCount. Unfortunately, CFRefReport still is. No functionality change. by Jordy Rose · 13 years ago
- d02b4af [analyzer] Cleanup: Move temporary declarations of CFRefCount variables closer to their uses. No functionality change. by Jordy Rose · 13 years ago
- 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
- e0a5d32 [analyzer] Move helper method Update from CFRefCount to RetainReleaseChecker. No functionality change. by Jordy Rose · 13 years ago
- 8d22863 [analyzer] Move helper method handleAutoreleaseCounts from CFRefCount to RetainReleaseChecker. No functionality change. by Jordy Rose · 13 years ago