Coverity Scan

Coverity Scan

Analisis Statik Imbasan Sampul membolehkan anda mencari dan membetulkan kecacatan dalam projek sumber terbuka Java, C / C ++ atau C # anda secara percuma.
Analisis Statik Imbasan Sampul membolehkan anda mencari dan membetulkan kecacatan dalam projek sumber terbuka Java, C / C ++ atau C # anda secara percuma.Ia menguji setiap baris kod dan laluan pelaksanaan yang berpotensi.Sebab utama setiap kecacatan jelas dijelaskan, menjadikannya mudah untuk mengatasi pepijat.Pada tahun 2006, perkhidmatan Scan Coverity telah dimulakan dengan Jabatan Keselamatan Dalam Negeri Amerika Syarikat sebagai projek penyelidikan sektor awam-swasta terbesar di dunia, yang memberi tumpuan kepada kualiti dan keselamatan perisian sumber terbuka.Coverity kini menguruskan projek itu, menyediakan teknologi ujian pembangunan sebagai perkhidmatan percuma kepada komuniti sumber terbuka untuk membantu mereka membina kualiti dan keselamatan dalam proses pembangunan perisian mereka.... Untuk senarai projek sumber terbuka menggunakan Coverity lihat:

Kategori

Alternatif untuk Coverity Scan untuk Linux

Cppcheck

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

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

Flawfinder

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

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.
Infer

Infer

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