コード分析

endrazine/lean-cve-poc-14484

CVE-2026-72711 — Lean 4 カーネルの健全性バグ：推論キャッシュポイズニング

adam-atlassoftware/kraken

Ghidraのデコンパイラ上に構築されたリバースエンジニアリング用ワークベンチ。ネイティブでJava不要のエンジン、AI支援による関数解析、バイトパッチ、サンドボックス化されたエミュレーション、CLI/MCP自動化を備えています。

akamor2800/php-5.4-cve-2026-php2shell-patch

EOLのPHP 5.4、.23カスタム5.x向けに、重大なPHP2Shell（OOM）脆弱性（CVE-2026-109618 / CVE-2026-109619）を修正する、本番環境対応のバックポート済み.patch。

betterleaks/betterleaks

ファイルシステム、git履歴、コンテナ、クラウドソースに対応した高速で設定可能なシークレットスキャナー。Exprベースのフィルタリング、認証情報の検証、分析機能を備えています。

opengrep/opengrep

🔎 コード内のセキュリティ問題を検出する静的コード解析エンジン。

trailofbits/brotli-checker

Claude Code と Codex のスキルで、潜在的に脆弱な Brotli のコピーを検出し、CVE-2026-111497 の更新を案内します。

divyanshukumar0014/shipproof

GitLab CIで自動収集されるSOC 2エビデンス：マージのたびに署名済みバンドルを生成し、OPAゲートが証跡不足のリリースをブロック、監査担当者はスクリーンショットの代わりに1つのリンクを受け取ります。

ejfkdev/pycdc

Pythonバイトコード（.pyc/.pyo）を逆コンパイルおよび逆アセンブルし、読みやすいソースコードに戻します。Python 2.0～3.15（CPython、PyPy、その他の実装）をサポートしています。Rustで書かれています。

odomojuli/regextokens

提供されたソースを含む、OAuth / APIトークン用の正規表現パターンのリスト

asngs/agenttriage-open-source

ツールを使用するLLMエージェント向けのクロスエージェントトレーシングおよびセキュリティ診断システム：トレースイベントを正規化し、来歴グラフを構築し、ソースからシンクへのチェーンを抽出し、防御のギャップを特定します。

owasp/xpsd

脆弱性スキャンのための到達可能性トリアージ。スキャナーの検出結果をLLMエージェントに渡し、ソースコードを読んで実際に到達可能なCVEを判定します。

edoardottt/openhands-disclosure

openhands <0.62.0 における複数のコマンドインジェクション脆弱性により、攻撃者は任意のシステムコマンドを実行できます。

ag3ntsc4rn/autorun-audit

あなたが頼まなくても実行されるコードを見つける：フォルダを開いたときに実行されるリポジトリ内のファイル（VS Codeタスク、エージェントフック、MCP、devcontainers）や、Pythonの.pth/.startスタートアップファイル。

maoabc/nmmp

androidのclasses.dexファイルを保護するために使用されるdex-vm

neurosaki987/tvm-recover

Tencent VM の .tvm0 セクションを逆仮想化します。VM ハンドラをゲストレベルのリスティングと LLVM IR にリフトし、CFG とディスパッチを復元し、復元したコードを PE にパッチして戻します。

oscerd/cve-2026-83531

CVE-2026-83531 に対応する実行可能な Spring Boot の概念実証で、Apache Camel の dynamic-router-control エンドポイントにおける式言語インジェクションを実証し、修正を検証します。