#2
公開サンドボックスのデトネーションレポートを解析して脅威ハンティングインテリジェンスを生成し、MITRE ATT&CKに基づいて発見事項を整理、IOCを収集し、大規模な攻撃分析のためのNavigatorヒートマップを生成します。

Frida.re ベースの RunPE(および MapViewOfSection)抽出ツール

Dalvikバイトコード向けのRedexerバイナリインストルメンテーションフレームワーク

AI駆動の脆弱性発見とライブ検証

Ghidra用バイナリコードカバレッジ可視化プラグイン

LLMエージェントを活用したコンコリック実行エンジン。ソースコードを計装し、パス制約を自然言語で要約し、あらゆるプログラミング言語でブランチカバレッジを最大化するテストケースを生成します。

gdbに基づいた、デバッグツールを備えたPython VMインジェクター。

信頼できないコードをホストに安全にアクセスできるサンドボックス

マルウェア解析とリバースエンジニアリングのためのユーザーモード x86_64 バイナリエミュレータ。PE、ELF、メモリダンプ、および raw バイナリをサポートし、サンドボックス環境での syscall トレース、ネットワークダンプ、対話型デバッグを備えています。

LLM統合アプリケーション向けの自動プロンプトインジェクション試験フレームワーク、デュアルLLMアーキテクチャ搭載。

エンドポイント検知 & マルウェア解析ソフトウェア

Binsecプラットフォームとのリバースエンジニアリングおよび動的インタラクションのためのIDAプラグイン

フォールトインジェクションベースのファザーで、ジェネレータプログラムを変異させてターゲット用のほぼ有効な入力を生成し、複雑なフォーマットや暗号保護されたデータを文法近似なしでファジングできるようにします。


再現可能なVM実行、マルチプロセッシング、XMLテストケース生成を通じてデバイスドライバのバグを発見する、QEMU/KVMベースのUSBファジングフレームワーク。

文法誘導進化的ファザーは、AndroidスマートフォンのATコマンドインターフェースをBluetoothおよびUSB経由で動的に解析し、DoS、プライバシー漏洩、およびプロトコルダウングレードの脆弱性を明らかにします。