#1ACL 2026(本会議)論文「DeepGuard: Secure Code Generation via Multi-Layer Semantic Aggregation」のコード

Next.jsおよびWakuアプリケーションにおけるCVE-2025-55182を検出するためのハイブリッドセキュリティスキャナー。DevSecOpsワークフロー向けに静的コード分析と安全な動的検証を組み合わせた機能を備えています。

AgentTesla(Discord/Telegram亜種)の設定抽出ツール

CVE-2026-54107の根本原因分析:Windows win32kfull.sysのuse-after-free。競合状態のデバッグ、静的解析、MSRCトリアージの洞察、実践的なカーネルエクスプロイト研究を含む。

Sequelize JSONキャストSQLインジェクション

ローカルLLMによるセキュリティ分析、Ghidraバイナリ分析、C/C++脆弱性スキャン、そしてMCPツール統合による自動リバースエンジニアリングとレポート生成のためのPythonライブラリ。

「DCVD: Dual-Channel Cross-Modal Fusion for Joint Vulnerability Detection and Localization」のコード

FastGPT Pythonサンドボックスエスケープチェーン監査ツール (CVE-2026-32128関連、v4.14.8 inspectチェーン)

CVE-2023-4863 (libwebpヒープバッファオーバーフロー) の教育的分析。ブルーチーム検出ツール、静的WebPスキャナー、防御的Javaバリデーター、Valgrindメモリ分析を備えた分離Dockerラボが含まれます。

laZzzyでラップされたPEバイナリから、シグネチャマッチングとRIP相対アドレス解決により、AES-CBC/XORで難読化されたシェルコードを実行やエミュレーションなしで静的に抽出・復号します。

Watchguard Sysa-dl ファイル形式

GIGABYTE H510M K V2 (`H510MKV2.F3`) BIOS イメージの静的リバースエンジニアリング: PI-spec SMM Core メモリアロケータの完全な UEFI ファームウェアボリューム抽出分析と、GIGABYTE/Binarly が2025年に開示した4つの…

CVE-2026-25632 — リモートコード実行につながる安全でないJSONデシリアライゼーションの修正

自然言語またはC/C++プロトコル記述をレビュー可能なProtocol IRに変換し、形式セキュリティ検証用のSapic+/Tamarinモデルを生成するHuman-in-the-loop UI。

ストライド区間解析によりx86-64バイナリのループを閉形式のSMT制約へリフトし、O(1)のシンボリック実行とcrackmeのキー回復を可能にします。

Nuget スキャナー

CVE-2026-0994のAny-unwrapping再帰バグクラスが、RubyおよびPHPのprotobufバインディングにおけるupbのCコアに影響を与えるかどうかを、ASan/UBSanペイロードを用いてテストする監査ハーネス。