#1
Build and query a graph database representation of source code

agent runtime security - zero trust, zero setup, zero latency agent sandboxing

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


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

cryptographyは、Python開発者に暗号プリミティブとレシピを公開するために設計されたパッケージです。

Buildless dependency auditor that scans 10 ecosystems offline, reporting CVEs prioritized by CISA KEV and EPSS, EOL packages, licenses, committed…

Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and…

Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

Snyk CLIは、あなたのプロジェクトをスキャンしてセキュリティ脆弱性を監視します。

形式的手続き間汚染解析エンジン。アプリケーションセキュリティにおいて、関数境界、永続化レイヤー、非同期コードをまたいで信頼できないデータを追跡します。決定論的ルールリプレイによりAIエージェント対応。Semgrep Pro と CodeQL のオープンソース代替。

GitHub Security Lab Taskflow Agent を活用した LLM 駆動のファジングパイプライン


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

Ghidraは、ソフトウェアリバースエンジニアリング(SRE)フレームワークです。
