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

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.Sekiranya usaha tambahan dilaburkan sambil menambah penjelasan kepada program, Splint boleh melakukan pemeriksaan yang lebih kuat daripada yang boleh dilakukan oleh mana-mana lapisan standard.

WebSite:

http://splint.org/

ciri-ciri

Kategori

Pembangunan

Alternatif untuk Splint untuk semua platform dengan sebarang lesen

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.

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

lgtm.com

lgtm.com adalah platform untuk analisis kod.Ia bebas untuk digunakan untuk perisian sumber terbuka;Keputusan untuk lebih daripada 55k projek sedia ada (tambah sendiri!), mempunyai integrasi permintaan tarik kod automatik (GitHub, Bitbucket, GitLab), dan banyak lagi.

Percuma
Web

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

VisualCodeGrepper

Windows

EDoC++

EDoC ++ adalah alat analisis sumber C ++ yang direka untuk mengenal pasti masalah yang berkaitan dengan penggunaan pengecualian dalam kod C ++.

Percuma
Windows