program-analysis

Windows 用戶模式除錯器，專為逆向工程與惡意軟體分析優化

用於 Windows、Linux 與 macOS 的檔案類型判別程式

Triton 是一個動態二進位分析庫。構建自己的程式分析工具，自動化逆向工程，執行軟體驗證或僅僅模擬程式碼

Mythril 是一款基於符號執行的安全分析工具，針對 EVM 字節碼。它可偵測為 Ethereum 及其他 EVM 相容區塊鏈所建智能合約的安全漏洞。

類似 UNIX 的逆向工程框架與命令列工具集

DIE 引擎

快速查找反編譯代碼中的差異與相似之處

基於抽象解釋理論的 C/C++ 靜態分析器

二進位分析平台

Jar Analyzer - 一個 JAR 包 GUI 分析工具，內建 AI 助手協助分析，支援 JAR DIFF 分析、方法呼叫關係搜尋、方法呼叫鏈 DFS 演算法分析、模擬 JVM 的汙點分析驗證 DFS 結果、字串搜尋、Java Web 元件入口分析、CFG 程式分析、JVM 堆疊框架分析、自訂表達式搜尋等

最先進的原始碼抄襲與作弊偵測。檢查一組程式中的抄襲情況。

靜態程式碼分析

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

Semgrep 社群版規則，由 Semgrep 與社群共同維護。在 Semgrep 規則授權下免費使用。

用於靜態程式分析的 Tai-e 作業

官方的 angr 圖形介面。

基於 LLVM 的靜態分析框架。

T.J. Watson 分析函式庫，提供 Java、Android 與 JavaScript 前端，並包含許多常見的靜態程式分析功能。

即時理解任何程式碼庫。為人類與 AI 打造的程式碼庫系統智慧。

架構全面翻新的新版 Soot

精選的實用 LLVM（包含 Clang 等）相關資源列表。

一個包含逆向工程、二進位分析和組合語言程式設計工具的綜合速查表集合。此儲存庫是安全研究人員、逆向工程師和底層程式設計人員的一站式參考資源。

使用 Rust 編寫的二進位分析框架。

C 程式語言的編譯器前端

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