[cfe-dev] CFRefCount Problem #1: Receiver Aliasing

[Robert Purves]

Jordy Rose wrote:

> [Background: Currently we're trying to eliminate the concept of "transfer functions" from the static analyzer, which has gradually been supplanted by the Checker interface. The only implementation of the transfer functions, CFRefCount, has two roles: general-purpose function and method evaluator, and retain-count checking for the Cocoa and CoreFoundation frameworks. The former is being moved to ExprEngine*, the latter to a regular checker called RetainReleaseChecker.

I hope this does not mean downgrading the static analyzer. 
It's extremely useful to find retain/release bugs simply by adding --analyze. 

Robert P.