コード分析

happytotoro116/ghidra-llm-pipeline

C再実装のための決定論的PyGhidra抽出、トリアージ、ローカルLLMコンパイラバックエンドパイプライン。

blackvectorops/semantic_firewall

Go関数の決定論的セマンティックフィンガープリントを生成します。SSA（静的単一割り当て）解析とスカラー進化解析を用いて、xzスタイルのバックドアを検出し、セマンティック等価性を検証します。

abraxas/vbox-guestctrl-copyfrom-dotdot

VirtualBox 7.2.20 - 高 - ローカル - ファイル書き込み - Guest Control copy-from DOTDOT

abraxas/vbox-ovf-href-dest-escape

VirtualBox 7.2.20 - 高 - ローカル - ファイル書き込み - OVF href 宛先エスケープ

abraxas/pfsense-api-enroll-json-ssh

pfSense Plus MIM API ツールキット b4acd7ca - 高 - リモート - 権限の残留 - example-add-devices.py JSON から SSH へ

gmh5225/malicious-code-detection-bugu

AIベースの悪意あるコード検出および難読化システム。検出、パッキング、コード難読化のためのマイクロサービスに加え、ユーザーサービスと管理者サービスを備えています。

maximilianfeix/hexvero

Know what changed inside your Electron release: diff two builds for IPC, preload, windows, fuses and hosts, with file:line. CLI, CI gate, MCP server.

gach0ng/agentstalker

LLMエージェント向けのエンドツーエンドセキュリティ監査フレームワーク：静的ASTとテイントモデリング、攻撃合成、Dockerサンドボックスリプレイ、およびMCP監査を伴う決定論的判定レポート。

abraxas/opnsense-firmware-mirror-sed

OPNsense 26.7.6 - 高 - リモート - 権限の残存 - カスタムファームウェアミラーがpkgフィンガープリントをsedでスキップ

abraxas/spark-history-store-path

Apache Spark 4.2.0 - 高 - リモート - ファイル書き込み - History appStorePath の App ID がサニタイズされていない

m14r41/scan4secrets

ソースコード、Web URL、CI/CD全体をカバーする170以上のルールで認証情報とシークレットを検出し、ベンダーAPIに対して検証し、SARIF、JSONL、HTML、PDF、またはExcelレポートを生成します。

vigiloss/vigil

AI harness for long-running code audits, web pentests, and bug bounty hunting, built around how real investigations fail: anchored hypotheses, false…

xv4l3x/hermit

Inspects, decompiles and structurally patches Hermes bytecode (HBC) from React Native apps, with a GDB-style REPL, CFG, decompiler and re-serializing…

abraxas/mysql-mysqlbinlog-raw-path

MySQL Community Server 26.7.0 - 高 - mysqlbinlog --raw Rotate パス残留 - クライアントファイル書き込み

abraxas/sqlite-fj-using-auth

SQLite 3.53.4 - 高 - ローカル - 権限の残存 - FULL JOIN USING が sqlite3AuthRead をスキップ

aethervm/aethervm

AArch64およびx86_64のマシンコードをLLVM IRにリフトし、インストルメンテーション、難読化解除、ランタイムリカバリを行うLLVMネイティブのバイナリ解析・エミュレーションプラットフォーム。