program-analysis

Windows用のオープンソースのユーザーモードデバッガ。リバースエンジニアリングとマルウェア解析に最適化。

Windows、Linux、およびMacOSのファイルタイプを判定するためのプログラム。

Tritonは動的バイナリ解析ライブラリです。独自のプログラム解析ツールを構築したり、リバースエンジニアリングを自動化したり、ソフトウェア検証を実行したり、単にコードをエミュレートしたりできます。

MythrilはEVMバイトコード向けのシンボリック実行ベースのセキュリティ分析ツールです。Ethereumやその他のEVM互換ブロックチェーン向けに構築されたスマートコントラクトのセキュリティ脆弱性を検出します。

UNIXライクなリバースエンジニアリングフレームワークおよびコマンドラインツールセット。

DIEエンジン

抽象解釈理論に基づく C/C++ 用静的解析ツール

逆アセンブルされたコードの差異や類似性を素早く検出

バイナリ解析プラットフォーム

Jar Analyzer - AI アシスタントを内蔵した JAR ファイルの GUI 分析ツール。JAR DIFF 分析、メソッド呼び出し関係の検索、メソッド呼び出しチェーンの DFS アルゴリズム分析、JVM シミュレーションによる DFS 結果の汚染分析検証、文字列検索、Java Web コンポーネントのエントリ分析、CFG プログラム分析、JVM スタックフレーム分析、カスタム式検索などをサポート。

最先端のソースコード盗用・不正検出。プログラムのセット内の盗用をチェックします。

静的コード解析 - 静态代码分析

バイナリ実行ファイルから脆弱なパターンを検出するcwe_checker

Semgrep およびコミュニティによって維持管理されている Semgrep Community Edition のルール。Semgrep Rules License のもとで無料で利用できます。

静的プログラム解析のための Tai-e 課題

公式のangr GUI

LLVMベースの静的解析フレームワーク。

Java、Android、JavaScript のフロントエンドと多くの一般的な静的プログラム解析を備えた、解析用の T.J. Watson ライブラリ。

あらゆるコードベースを即座に理解。人間と AI のために構築されたコードベース用システムインテリジェンス。

アーキテクチャを完全に刷新した Soot の新バージョン

LLVM（Clangなどを含む）関連の優れたリソースの厳選リスト。

リバースエンジニアリング、バイナリ解析、アセンブリプログラミングツールの包括的なチートシート集。セキュリティ研究者、リバースエンジニア、低レイヤープログラマーのためのワンストップリファレンスとして機能します。

Rust 製のバイナリ解析フレームワーク

C プログラミング言語用のコンパイラフロントエンド

[LLVM Static Slicer] 各種プログラム解析、依存関係グラフの構築、LLVMビットコードのプログラムスライシング