
DOMPurify
DOMPurify - HTML、MathML、SVG向けのDOM専用・超高速・超寛容なXSSサニタイザーです。DOMPurifyは安全なデフォルト設定で動作しますが、多くの設定オプションとフックを提供します。デモ:

教育用マルウェア分析と研究のための、生きたマルウェアサンプルとソースコードの厳選されたリポジトリ。整理されたデータベースとCLIツールによる検索機能を備えています。

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

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

コンテナイメージとファイルシステム向けの脆弱性スキャナ

大規模コードベース向けのエージェント駆動型脆弱性スキャナー。LLMを用いて、正規表現マッチャーとAI調査により検出が難しいセキュリティ問題を発見します。CI/PR統合と分散実行に対応。

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

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

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


コード品質と静的解析のプラットフォーム。品質ゲート、多言語スキャン、およびCI/CDワークフローにおける脆弱性や保守性の問題を検出するためのセキュリティ重視のルールを備えています。

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

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

コンテナイメージとファイルシステムからソフトウェア部品表(SBOM)を生成するためのCLIツールおよびライブラリ

ビルド時にTerraform、Kubernetes、CloudFormation、コンテナイメージ全体でクラウドの誤設定、脆弱性、シークレットを検出するインフラストラクチャ・アズ・コード向けの静的解析ツール。

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