static-analyzer

PHP 靜態分析工具——在不執行程式碼的情況下發現錯誤！

EMBA - 固件安全分析器

CodeChecker 是一個用於靜態與動態分析工具的分析器工具、缺陷資料庫與檢視器擴充功能。

美觀且易懂的 PHP 靜態分析工具

PHPMD 是 PHP Depend 的衍生專案，旨在成為知名的 Java 工具 PMD 的 PHP 對應版本。PHPMD 可以被視為一個針對 PHP Depend 所測量的原始指標資料流的使用者友善前端應用程式。

原始碼的靜態值流分析框架

BinAbsInspector：二進位檔案漏洞掃描器

新一代的 phpDoc 解析器，支援交集型別與泛型

適用於 PHP 的靜態程式碼分析器（PhpStorm/Idea 外掛程式）

cwe_checker 在二進位可執行檔中尋找具漏洞的模式

適用於 JavaScript 與 TypeScript 的 SonarSource 靜態分析器

:coffee: 用於 Java 程式碼品質與安全的 SonarSource 靜態分析器

APKHunt 是一個基於 OWASP MASVS 框架的 Android 應用程式綜合靜態程式碼分析工具。雖然 APKHunt 主要供行動應用程式開發人員和安全測試人員使用，但任何人都可以使用它來識別和解決程式碼中的潛在安全性漏洞。

適用於 C# 與 VB.NET 專案的程式碼分析工具

適用於 PHPStan 的 Doctrine 擴充套件

prealloc 是一個 Go 靜態分析工具，用於尋找可能可以預先分配的 slice 宣告。

🕵️ Haskell 靜態分析器

偵測 Rust 專案中的並發問題、記憶體錯誤及潛在的 panic 位置。

[LLVM Static Slicer] 各種程式分析、依賴圖構建以及 LLVM bitcode 的程式切片。