Episode

Menganalisis Kode dengan Infer #

Ingin mendeteksi keandalan dan bug keamanan sebelum dikirim?  Matthew Jinand  Xiaoyu Liu menunjukkan Infer#, alat analisis statis yang dapat Anda gunakan untuk memvalidasi kebenaran kode sumber tanpa perlu mengeksekusinya. 

Pelajari selengkapnya tentang Infer# di sini