http://developer.apple.com/mac/library/featuredarticles/StaticAnalysis/index.html