Bölüm

Çıkarım ile Kod Çözümleme#

Güvenilirlik ve güvenlik hatalarını göndermeden önce algılamak mı istiyorsunuz? Matthew Jin ve Xiaoyu Liu, yürütmeye gerek kalmadan kaynak kodun doğruluğunu doğrulamak için kullanabileceğiniz statik bir analiz aracı olan Infer#'ı gösterir. 

Buradan Çıkarım# hakkında daha fazla bilgi edinin.