Hatalar, geliştirme standartları ihlal ve diğer sorunları algılamak için geliştirme ürün görsel muayenede dayanır bir statik analiz tekniği. Tip kodu denetimi içerir; tasarım inceleme.