aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
AgeCommit message (Expand)Author
2012-05-12[analyzer] RetainCountChecker: track ObjC boxed expression objects.Jordy Rose
2012-05-08Teach the static analyzer that NSLog() and friends do not hold on to object r...Ted Kremenek
2012-05-07[analyzer]Fixup r156215: use StopTracking summary instead of ScratchArgsAnna Zaks
2012-05-04[analyzer] RetainCountChecker: Allow objects to escape through callbacksAnna Zaks
2012-05-02[analyzer] RetainRelease: Self assignment should not suppress a leakAnna Zaks
2012-05-01Teach RetainCountchecker about IORegistryEntrySearchCFProperty returning reta...Ted Kremenek
2012-04-26Teach RetainCountChecker that it doesn't quite understand pthread_setspecific...Ted Kremenek
2012-04-05Require that all static analyzer issues have a category. As part of this cha...Ted Kremenek
2012-03-30[analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert.Anna Zaks
2012-03-27Change RetainCountChecker to eagerly "escape" retained objects when they areTed Kremenek
2012-03-24[analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able ...Jordy Rose
2012-03-23Avoid applying retain/release effects twice in RetainCountChecker when a func...Ted Kremenek
2012-03-22"Teach" RetainCountChecker about dispatch_set_context, which can indirectly f...Ted Kremenek
2012-03-21[analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks
2012-03-18[analyzer] Use a FoldingSet to cache simple RetainSummary instances, rather t...Jordy Rose
2012-03-17[analyzer] Unify retain-count summary generation for class and instance metho...Jordy Rose
2012-03-17[analyzer] Remove duplicate work on deriving method behavior. No functionalit...Jordy Rose
2012-03-17[analyzer] Don't claim an object was returned with +1 retain count before cou...Jordy Rose
2012-03-11Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie
2012-03-09Teach RetainCountChecker about mixing method families with explicit annotatio...Ted Kremenek
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek
2012-03-06Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek
2012-02-28[analyzer] Leaks should be uniqued by the allocation point in theAnna Zaks
2012-02-28[analyzer] Retain release: drop the line number info from the leakAnna Zaks
2012-02-25RetainCountChecker: don't adjust the retain count when analyzing a ReturnStmt...Ted Kremenek
2012-02-18Teach analyzer about NSAutoreleasePool -allocWithZone:. Fixes <rdar://proble...Ted Kremenek
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-02-14[analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks
2012-02-07Print NamedDecls directly to a raw_ostream where possible.Benjamin Kramer
2012-02-07Add basic BugReporter support for CallEnter/CallExit. WIP.Ted Kremenek
2012-02-05Basic: import SmallString<> into clang namespaceDylan Noblesmith
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-02-04Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-17Remove unreachable code in Clang. (replace with llvm_unreachable where approp...David Blaikie
2012-01-17Remove unnecessary default cases in switches over enums.David Blaikie
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2012-01-04Minor code formatting cleanups.Ted Kremenek
2011-12-22Fix typos in analyzer diagnostics pointed out by Matt Beaumont-Gay and Robert...Ted Kremenek
2011-12-05[analyzer] Change RetainCountChecker to use symbol dump method insteadAnna Zaks
2011-12-01[analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks
2011-11-14[static analyzer] Tweak RetainCountChecker's diagnostics to correctly indicat...Ted Kremenek
2011-11-01[analyzer] CheckerContext::getPredecessor() cleanupAnna Zaks
2011-10-26[analyzer] Add getLocationContext to CheckerContextAnna Zaks
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks
2011-10-25[analyzer] Remove getEngine() form CheckerContextAnna Zaks
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks
2011-10-25[analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks
2011-10-18[analyzer] Remove dead code.Anna Zaks
2011-10-18[analyzer] Node Builder refactoring: Introduce a simple Node Builder responsi...Anna Zaks