
test-fuzz
afl.rsを使ったファジングを自動化するためのRustマクロとCargoサブコマンド。コーパス生成とハーネスの実装を含み、Rustのテストフレームワークと統合されています。

Pythonのpicklingデコンパイラおよび静的解析ツール

NVIDIA Blackwell(sm_120)向け世界初のハザードチェッカー。自社コンパイラとバイト単位で一致するように調整されたアセンブラとスケジューラを備えています。彼らが決してリリースしなかった検査。

「Not Go-ing Anywhere」脆弱性アプリケーションのPython版

任意の環に対応したKKWゼロ知識証明システムの効率的な実装であり、証明者と検証者に線形の証明時間と128ビットの安全性を提供します。

AcrStealer(洗練された情報窃取型マルウェア)のリバースエンジニアリング分析。カスタムプロトコル、ブラウザ認証情報の窃取、ペイロード抽出を使用します。Task.Protocol、BrowserQueryEnabledDomains、WriteProcessMemory、完全なAPIリストを含…

Rootless container runtime and sandbox that launches kernel-enforced OCI images in milliseconds with no daemon, featuring resource profiles, seccomp…

モバイルアプリのセキュリティ監査ツールで、SAST分析の自動化、基盤技術(React Native、Flutter、Xamarin、ネイティブ)の特定、そしてroot化または脱獄済みデバイスでのより深いテストを可能にすることに焦点を当てています。

ptraceを使用してファイル、プロセス、ネットワーク、メモリのアクティビティをトレースするLinuxシステムコールモニター。名前空間分離と、行動ベースのセキュリティ解析のための機械学習分類を備えています。

暗号解析ゴルフ:暗号方式を破り、Lean 4 でそれを証明する。概念実証(PoC)ボード。

AI-ready knowledge base of security & compliance regulations for hardware and connected-device manufacturers - structured, indexed, and…

ステルスフックを利用してデバッガー検出を回避するデバッガー

兄弟ルートよりも弱い認可を持つAPIルートを検出します。ソースからCVE-2026-45316を復元しました。否定的な結果も含みます。

エクスプロイト開発のためのAFL++ファジング、クロスアーキテクチャQEMUエミュレーション、ハーネス開発、Ghidraヘッドレス解析、カスタムミューテーター、パッチ比較を行うデスクトップワークベンチ。

自分のルーターが Zbtlink ENDLESSDOORS バックドア (CVE-2026-66747) の標的かどうかをワンクリックで検査する Windows プログラム

Keycloakデータベース内でCVE-2026-18963(Keycloakの未認証アカウント乗っ取り)の悪用痕跡をハントする

サブスクリプションの有無を問わず動作する、AI搭載のバグバウンティハンティングツールキット。

非接触型スマートカードのエミュレーションとクローン作成、タグの読み取り、RFトラフィックの傍受、Mifareアクセスキーの復旧に対応したポータブルNFC/RFIDセキュリティツール。