#1

自動定理証明、制約解決、プログラム検証のための高性能SMTソルバー。形式的解析のための複数の理論と言語バインディングをサポート。

20以上のハードウェアアーキテクチャに対応するマルチアーキテクチャ逆アセンブルフレームワークであり、バイナリ解析、リバースエンジニアリング、マルウェア研究向けの軽量でスレッドセーフなAPIを提供します。

GDB & LLDBを使ったエクスプロイト開発とリバースエンジニアリングを簡単に


パワフルでユーザーフレンドリーなバイナリ解析プラットフォーム!


Windows、Linux、MacOS向けのファイルタイプ判定プログラム。

有名な .NET デバッガーおよびアセンブリエディター dnSpy の非公式復活版

Cheat Engine. 改造に焦点を当てた開発環境。

自律型レッドチーミングプラットフォーム;マルチエージェント攻撃的セキュリティメタハーネス

リバースエンジニアリングの優れたリソース一覧

Windowsシステム向けのソフトウェアインストールスクリプト集で、VM上でリバースエンジニアリング環境を簡単にセットアップ・維持できます。

AIネイティブなサイバーセキュリティのためのアクションシステム。意図がガバナンスされた実行に変わり、証拠が運用記憶となり、すべての操作が次の操作を改善する。

AIネイティブなサイバーセキュリティのための行動システム——意図が統制された実行へ、証拠が運用メモリへ、そしてすべての運用が次を改善する。

IDA Proと言語モデルをMCPを介して橋渡しする、AI搭載のリバースエンジニアリングアシスタント。

Java 8+ の JAR および Android APK リバースエンジニアリングスイート (デコンパイラ、エディタ、デバッガなど)