static-analyzer

Alat Analisis Statis PHP - temukan bug dalam kode Anda tanpa menjalankannya!

EMBA - Penganalisis keamanan firmware.

Alat analisis statis yang indah dan mudah dipahami untuk PHP.

CodeChecker adalah alat penganalisis, basis data cacat, dan ekstensi penampil untuk alat penganalisis statis dan dinamis.

PHPMD adalah proyek turunan dari PHP Depend yang bertujuan menjadi padanan PHP untuk alat Java yang terkenal, PMD. PHPMD dapat dianggap sebagai aplikasi antarmuka yang ramah pengguna untuk aliran metrik mentah yang diukur oleh PHP Depend.

Kerangka Kerja Analisis Alur Nilai Statis untuk Kode Sumber

BinAbsInspector: Pemindai Kerentanan untuk Biner

Parser phpDoc generasi berikutnya dengan dukungan untuk tipe irisan (intersection types) dan generik

Static Code Analyzer untuk PHP (Plugin PhpStorm/Idea)

cwe_checker menemukan pola rentan pada file biner eksekusi

SonarSource Static Analyzer untuk JavaScript dan TypeScript

:coffee: SonarSource Static Analyzer untuk Kualitas dan Keamanan Kode Java

APKHunt adalah alat analisis kode statis komprehensif untuk aplikasi Android yang berbasis pada framework OWASP MASVS. Meskipun ditujukan terutama untuk pengembang aplikasi seluler dan penguji keamanan, alat ini dapat digunakan oleh siapa saja untuk mengidentifikasi dan mengatasi potensi kerentanan keamanan dalam kode mereka.

Penganalisis kode untuk proyek C# dan VB.NET

Ekstensi Doctrine untuk PHPStan

prealloc adalah alat analisis statis Go untuk menemukan deklarasi slice yang berpotensi untuk dialokasikan sebelumnya.

🕵️ Haskell STatic ANalyser.

Deteksi konkurensi, bug memori, dan kemungkinan lokasi panic pada project Rust

[LLVM Static Slicer] Berbagai analisis program, konstruksi grafik ketergantungan, dan pemotongan program dari bitcode LLVM.