静的分析

virustotal/yara-x

YARA を Rust で書き直したもの。

owasp/owasp-java-encoder

The OWASP Java Encoder is a Java 1.5+ simple-to-use drop-in high-performance encoder class with no dependencies and little baggage. This project will…

morluto/rea

エージェントを使って、アプリの動作からネイティブバイナリまで、あらゆるものをリバースエンジニアリング。

anthropics/oss-scanner

登録されたオープンソースリポジトリを分離されたオフラインVMでビルドし、セキュリティ脆弱性をスキャンして、再現手順と提案されたパッチを含む検出結果をメールで通知するサービス。

joernio/joern

コードプロパティグラフに基づくC/C++/Java/Binary/Javascript/Python/Kotlin向けのオープンソースコード分析プラットフォーム。Discord https://discord.gg/vv4MH284Hc

horsicq/xmachoviewer

XMachOViewer は、Windows、Linux、MacOS 用の Mach-O ビューアーです

owasp/cve-lite-cli

Fast, developer-friendly JS/TS dependency vulnerability scanner with local lockfile scanning, OSV matching, direct vs transitive visibility, --fix,…

hashgraph-online/hol-guard

AIエージェント向けのオープンソースアンチウイルス：実行時に危険なツール、シークレットアクセス、プロンプトインジェクション、悪意のあるパッケージ、MCPサーバー、プラグイン、スキルをブロックします。

angr/angr

パワフルでユーザーフレンドリーなバイナリ解析プラットフォーム！

mongodb/kingfisher

Detect secrets + live validation. Map blast radius. Revoke fast. Use the CLI or embed in Rust and Python.

z3prover/z3

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

huhusmang/awesome-llms-for-vulnerability-detection

コミュニティで最も包括的かつ継続的に更新される、ソフトウェア脆弱性検出のための大規模言語モデルに関する研究インデックス — 関数レベル、リポジトリレベル、エージェント型、スマートコントラクト検出にわたる論文に加え、データセット、ベンチマーク、サーベイを収録。

rizinorg/rizin

UNIX系リバースエンジニアリングフレームワークおよびコマンドラインツールセット。

horsicq/xpeviewer

Windows、Linux、MacOS向けPEファイルビューア/エディタ。

trailofbits/publications

Trail of Bits の出版物

praetorian-inc/titus

高性能シークレットスキャナ。CLI、Goライブラリ、Burp Suite拡張機能、Chrome拡張機能。487個の検出ルールとライブな認証情報検証。