
BurpIA
Burp Suite 拡張機能で、人工知能による受動的な脆弱性検出を組み込んでいます。


対話型インターフェースを備えた自動SSTI検出ツール

Pishiは、macOS用のkcovのようなコードカバレッジツールです。

Nikto Webサーバースキャナー

ランタイムJVM解析ツールキット - クラス、メソッド、フィールド、定数プール、バイトコードを検査するためのもの

ntdll インポートのみを使用する Detours 実装 (x64/x86)

Linuxのptraceベースのプロセストレーシングおよびデバッグユーティリティ。システムコール、メモリ、およびプログラムの実行フローを検査します。

libFuzzer によるカバレッジ誘導型 Rust ファジングのための Cargo サブコマンド: ファズターゲットの作成と実行、失敗とコーパスの最小化、カバレッジのレポート。

モジュラーなソフトウェア検証ツールチェーンで、LLVM IRをBoogie中間検証言語に変換し、Cプログラムにおける有界および実験的な無界アサーションチェッキングを行います。

reCAPTCHAのドキュメントとリバースエンジニアリング

NebulaPulsarは、Java(JSP)およびASP.NET(ASPX/ASHX/ASMX)用のウェブシェルの概念実証のインメモリインプラントフレームワークであり、もともとはAlienプロジェクトの一部として開発されました。

自動化されたWebアプリケーションテストのためのスイスアーミーナイフ

Windowsアプリケーションをインターセプトおよび監視するためのAPIフッキングフレームワーク

Apache HTTPD Server のモジュール向けファジングフレームワーク

LLVMベースの計装ツールであり、汎用テイントトラッキング、データフロー解析、トレーシングを実現します。

Ghidraの解析コアをJVM依存なしでC++で再実装し、組み込み可能なバイナリ解析、Pcode/Sleighの基盤、リバースエンジニアリング向けのAI対応インターフェースを提供します。