コード分析

c3rb3ru5d3d53c/binlex

バイナリ遺伝的特性レキサーフレームワーク

manuelschipper/nah

壊滅的なエージェントの行動をブロックするガード

smackers/smack

モジュラーなソフトウェア検証ツールチェーンで、LLVM IRをBoogie中間検証言語に変換し、Cプログラムにおける有界および実験的な無界アサーションチェッキングを行います。

githubsecuritylab/seclab-taskflow-agent

CodeQL統合によるAI支援コード監査、脆弱性トリアージ、セキュリティリサーチに使用される、宣言型YAML駆動のエージェントワークフロー向けMCP対応マルチエージェントフレームワーク。

v-e-o/poc

CVE/エクスプロイトのPoC

owasp/glue

アプリケーションセキュリティ自動化

nodesecure/js-x-ray

JavaScript & Node.js オープンソース SAST スキャナー。最も一般的な悪意のあるパターンを検出する静的解析ツール 🔬。

agent-field/sec-af

AgentField上のAIネイティブなコードセキュリティ監査ツールで、判定、トレース、実用的なエビデンスを用いて悪用可能性を証明します。

nccgroup/freddy

自動的にアクティブスキャンとパッシブスキャンを使用して、Javaおよび.NETアプリケーションにおけるデシリアライゼーションの問題を特定します。

webarx-security/wpbullet

WordPress（およびPHP）向けの静的コード分析

gendigitalinc/sage

AIエージェント向けの軽量なエージェント検出および応答（ADR）レイヤー — コマンド、ファイル、Webリクエストを保護します。Gen Agent Trust Hubの一部です。

google/kafel

システムコールフィルタリングポリシーを指定するための言語とライブラリ。

komimoe/arkari

goronをベースにした、もう一つのLLVMベースの難読化ツール。

trailofbits/multiplier

C/C++ ビルド成果物をインデックス化してクエリ可能なプログラム全体のデータベースを構築し、コード監査や脆弱性分析のための AST、トークン、IR レベルの API を公開します。

hasherezade/ida_ifl

IFL - Interactive Functions List（IDA Pro 用プラグイン）

cycodelabs/raven

GitHub ActionsのCI/CDワークフローをスキャンしてセキュリティ脆弱性を検出し、結果をNeo4jグラフデータベースにインデックス化し、設定ミス、インジェクション、サプライチェーンリスクを検出するためのクエリライブラリを提供します。