Note that checker-271 is newer than the analyzer in Xcode 4.6