aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFRefCount.cpp
AgeCommit message (Expand)Author
2009-05-12Fix: <rdar://problem/6320065> false positive - init method returns an object ...Ted Kremenek
2009-05-12Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu
2009-05-12Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the ...Ted Kremenek
2009-05-11When stripping element regions for invalidating region values, treat FieldReg...Ted Kremenek
2009-05-11Fix regression reported in <rdar://problem/6866843>. The analyzer should ext...Ted Kremenek
2009-05-11Fix a bug found by Thomas Clement where 'return [[[NSString alloc] init] auto...Ted Kremenek
2009-05-11TypedRegion is a too general assumption. Usually we only want to invalidateZhongxing Xu
2009-05-10Add special warning about returning a retained object where a GC'ed object is...Ted Kremenek
2009-05-10retain/release checker: Flag a warning for non-owned objects returnedTed Kremenek
2009-05-10analyzer:Ted Kremenek
2009-05-09As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu
2009-05-09Add back analyzer support for ns_returns_retained and cf_returns_retained.Ted Kremenek
2009-05-09It lives! The retain/release checker now tracks objects that are sentTed Kremenek
2009-05-09rename: MemRegion:Zhongxing Xu
2009-05-09More hacking on autorelease errors. We now can emit basic errors (disabled forTed Kremenek
2009-05-09Put most of the boilerplate logic in place for reporting autorelease errors.Ted Kremenek
2009-05-08retain/release checker: Add stub for HandleAutoreleaseCounts.Ted Kremenek
2009-05-08retain/release checker: Refactor error-reporting code in EvalDeadSymbols andTed Kremenek
2009-05-08retain checker: Track the number of times a tracked object is sentTed Kremenek
2009-05-08Remove experimental ownership attributes from Clang.Ted Kremenek
2009-05-07Minor code cleanup in retain/release checker in preparation for someTed Kremenek
2009-05-06Refactor BugReporter interface to have a new 'BugReporterContext' andTed Kremenek
2009-05-06Fix analyzer regression reported in PR 4164:Ted Kremenek
2009-05-05Implement attribute 'ns_autorelease'.Ted Kremenek
2009-05-05Implement attribute 'cf_returns_owned' (mirrors 'ns_returns_owned').Ted Kremenek
2009-05-04Remove experimental attribute 'ns_ownership_make_collectable.'Ted Kremenek
2009-05-04Rename attributes 'objc_ownership...' to 'ns_ownership...'.Ted Kremenek
2009-05-04Rename attributes:Ted Kremenek
2009-05-04retain checker: Add checker support for FunctionDecl ownership annotations. ...Ted Kremenek
2009-05-04retain checker: Pull out logic for parameter annotations into aTed Kremenek
2009-05-04retain checker: Don't treat function's declared in macros differently.Ted Kremenek
2009-05-04retain checker:Ted Kremenek
2009-05-04retain checker: RetainSummaryManager now has a 'DefaultSummary' objectTed Kremenek
2009-05-04retain checker: Don't bother using a FoldingSet to unique summaries.Ted Kremenek
2009-05-03Fix: <rdar://problem/6850275> CF objects returned from methods with "new" or ...Ted Kremenek
2009-05-03Convert ArgEffects from an std::vector to an ImmutableMap. This will make it...Ted Kremenek
2009-05-03Rename isTrackedObjectType() -> isTrackedObjCObjectType().Ted Kremenek
2009-05-02retain/release checker: Enhance leak description to say that the bugTed Kremenek
2009-04-30retain/release checker: Hook up attributes 'objc_ownership_retain' andTed Kremenek
2009-04-30Handle case in EvalReturn where we cache out in the ExplodedGraph.Ted Kremenek
2009-04-30retain/release checker: Use the ObjCMethodDecl in the @implementation if noTed Kremenek
2009-04-30retain/release checker: Resolve method decl in @interface after getting theTed Kremenek
2009-04-29retain/release checker: When determining whether an analyzed method can returnTed Kremenek
2009-04-29Format cleanup. No functionality change.Ted Kremenek
2009-04-29Reformat long line. No functionality change.Ted Kremenek
2009-04-29retain/release checker: Hoist code for bug reports above transfer function logicTed Kremenek
2009-04-29Add version of getMethodSummary() that can be used to query the summary for theTed Kremenek
2009-04-29Rename getMethodSummary() -> getInstanceMethodSummary().Ted Kremenek
2009-04-29retain/release checker: Refactor getMethodSummary() to not depend on ObjCMess...Ted Kremenek
2009-04-29As discussed with Ted offline, re-apply r70293.Zhongxing Xu