Infer

Facebook Infer adalah alat analisa statik - jika anda memberikan Infer beberapa kod Objective-C, Java, atau C, ia menghasilkan senarai potensi bug.

Percuma
Linux

Facebook Infer adalah alat analisa statik - jika anda memberikan Infer beberapa kod Objective-C, Java, atau C, ia menghasilkan senarai potensi bug.

WebSite:

http://fbinfer.com/

ciri-ciri

Kategori

Pembangunan

Alternatif untuk Infer untuk Linux

Cppcheck

Cppcheck adalah alat analisis statik untuk kod C / C ++.Tidak seperti penyusun C / C ++ dan banyak alat analisis yang lain, ia tidak mengesan ralat sintaks dalam kod.

PVS-Studio

PVS-Studio adalah penganalisis statik yang mengesan ralat dalam kod sumber C, C ++ dan aplikasi C #.

Coverity Scan

Analisis Statik Imbasan Sampul membolehkan anda mencari dan membetulkan kecacatan dalam projek sumber terbuka Java, C / C ++ atau C # anda secara percuma.

Freemium
Windows
Mac
Linux
Web
BSD

Flawfinder

Flawfinder mengkaji kod sumber dan melaporkan kemungkinan kelemahan keselamatan (`` kekurangan ') yang diisih oleh tahap risiko.

Percuma
Windows
Linux

Splint

Splint adalah alat untuk mengkaji secara statistik program C untuk kelemahan keselamatan dan kesilapan pengekodan.Dengan usaha yang minimum, Splint boleh digunakan sebagai tongkat yang lebih baik.

Percuma
Windows
Linux