ARCMigrate depends on the static analyzer.