kin
firelock-ai/kinThe system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…
static-analysiscode-analysisdevsecops+4
44
radareorg/radare2类 UNIX 逆向工程框架与命令行工具集
hydradragonantivirus/hydradragonantivirus动静态分析与实时恶意软件分析，集成Windows防病毒功能，包括开源XDR（3个EDR项目）、ClamAV、YARA-X、机器学习AI、行为分析、脱壳器、反混淆器、反编译器、网站签名、Ghidra、Suricata、Sigma、内核、基于Hypervisor的保护以及超乎你想象的更多功能。
bridgecrewio/checkov基础设施即代码的静态分析工具，可在构建时检测跨Terraform、Kubernetes、CloudFormation和容器镜像的云配置错误、漏洞和机密信息。
loadingalias/rscryptoRust 加密库，零默认依赖：BLAKE3、Ed25519/X25519、哈希、MAC、KDF、AEAD 和校验和，支持完整 SIMD/ASM 加速
trailofbits/skillsTrail of Bits Claude Code 技能，用于安全研究、漏洞检测和审计工作流程
seqra/opentaint正式的过程间污点分析引擎，用于应用程序安全。跨函数边界、持久层和异步代码追踪不可信数据。支持AI智能体，具备确定性规则重放。开源替代 Semgrep Pro 和 CodeQL。
b2r2-org/b2r2B2R2 是一个完全用 F# 编写的托管二进制分析框架。它提供了丰富的算法、函数和工具，用于逆向工程、程序分析和二进制级检查。
rehints/efixplorerIDA插件和加载器，用于UEFI固件分析及逆向工程自动化
z3prover/z3高性能SMT求解器，用于自动定理证明、约束求解和程序验证。支持多种理论和语言绑定，用于形式化分析。
werwolv/imhex🔍 一款为逆向工程师、程序员以及那些珍视凌晨3点工作时视网膜的人而设计的十六进制编辑器。
owasp/appsec-agent一个基于前沿模型构建的 TypeScript 包，为应用程序安全（AppSec）任务提供 AI 驱动的智能代理。
bronils/aotopsyFlutter/Dart AOT 快照的静态分析器 — 无需嵌入或执行 Dart VM，即可从 libapp.so 中恢复函数名称、类层次结构、调用图和行为信号。支持 ARM64 和 x86_64，Dart 2.10–3.12。
mandiant/flare-flossFLARE 混淆字符串求解器 - 自动从恶意软件中提取混淆字符串。
skylot/jadx命令行和GUI工具，用于将Android Dex和APK文件反编译为可读的Java源代码，支持资源解码、反混淆和Smali调试功能。