Bölüm

Çıkarsama ile Kod Çözümleme #

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

Çıkarım# hakkında daha fazla bilgiyi burada bulabilirsiniz