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.

infer

WebSite:

http://fbinfer.com/

ciri-ciri

Kategori

Pembangunan

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

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

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

Flawfinder

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

Percuma
Windows
Linux

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

Clang Static Analyzer

The Clang Static Analyzer adalah alat analisis kod sumber yang mendapati pepijat dalam program C, C ++, dan Objektif-C.

Percuma
Mac
Xcode

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