#1
为 Go 函数生成确定性的语义指纹。使用静态单赋值(SSA)分析和标量演化(Scalar Evolution)检测 xz 风格后门并验证语义等价性。

用于 C 语言重实现的确定性 PyGhidra 提取、分类与本地 LLM 编译器后端流水线。

面向 Next.js、Supabase 和 Stripe 应用的本地静态安全扫描器:24 项基于 AST 的检查,用于检测泄露的密钥、缺失的 RLS 和授权以及不安全的 webhook。提供 CLI 和 GitHub Action。

x86 和 x64 应用程序调试器,集成 AI

用于逆向工程32位DOS和Win32游戏(1993-2010)的无头Ghidra工具包:自有LE/LX加载器、Watcom调用约定、库签名、MCP服务器

AI-based malicious code detection and obfuscation system with microservices for detection, packing, and code confusion, plus user and admin services.

[Moved to Codeberg] 用于检测易受攻击的 log4j 实例的简单本地扫描器

Android 和 Java 字节码查看器



Bleach 是一个基于白名单的 HTML 清理库,用于转义或剥离标记和属性。

将Dalvik字节码(DEX/APK)转换为等效的Java字节码,使Java分析工具能够处理Android应用程序,并对边缘情况保持高正确性。

一项分析 Docker 镜像并扫描漏洞的服务

检测潜在恶意的PHP文件