业务 ↔ 技术桥梁 · Security capability experiment
Explores deterministic security analysis for AI-generated and AI-application code.
这是对项目组合与源代码的解读，并非客户、部署、认证或成果声明。
AI-assisted development can increase code volume and repeat insecure patterns faster than conventional review capacity grows.
Keep deterministic parsing and source-controlled rules primary, with model-assisted triage optional and explicitly separate.
Rust crates, tree-sitter parsers, YAML rules, SARIF output, CLI, LSP, CI integration, and selected fixtures.
Findings and unresolved uncertainty return to remediation priority, release criteria, security review, and engineering policy.
源码证据
A Rust static-analysis tool focused on AI-generated and AI-application code patterns. It combines tree-sitter parsing, source-controlled rules, SARIF output, command-line and editor surfaces, and optional model-assisted triage.
详细技术快照以英文维护。
代码仓库证据不等同于客户、部署、认证或成果证据。
架构
三层架构:即插即用的 CLI/CI 集成、一个为 AI 生成模式调优的 210 规则 AST 扫描器,以及一个由 LLM 评判的严重程度排序器,将真正的风险置于最前。
仅为源代码图：一层可能代表已实现代码、适配器边界或文档设计，并不证明已配置生产服务。
单一 Go 二进制文件,无运行时。提供本地扫描的 CLI、GitHub/GitLab CI 集成以及面向代码扫描 UI 的 SARIF 输出。在一次 Cursor 提交上数秒内完成;在百万行 Auralink 规模的代码库上数分钟内完成。
面向 Python、TypeScript、JavaScript、Go 的 AST 扫描器。五个规则类别:氛围编码模式、智能体安全(工具定义、能力蔓延)、LLM 应用风险(提示注入、未净化输出)、框架漏洞、云配置错误。这些都是 SAST 工具所不具备的模式。
由 LLM 评判的评分(Mistral 本地或托管)根据针对你技术栈的可利用性重新排序发现项。不再有无人阅读的 500 条发现项报告——排名前 10 的确实是真正的前 10,并附有开发者可据以行动的简短说明。
问题所在
为什么 AI 生成的代码是一种安全风险
AI 助手生成代码的速度超过了人工评审的速度。氛围编码——以极少的审视就采纳 AI 建议——正成为新常态。
AI 优化的目标是能运行的代码,而非安全的代码。同样的硬编码密钥、同样的 SQL 字符串拼接、同样的过度宽松的 CORS——在成千上万个项目中反复出现。
Semgrep、Snyk 和 CodeQL 无法理解提示模板、智能体工具定义或 LLM 输出处理。新的攻击面完全没有覆盖。
自主智能体在现实世界中做出决策,拥有文件系统访问、数据库写入和 shell 命令执行权限。现有工具都未审计它们的权限边界。
规则
210 条规则,针对五个 AI 专属漏洞领域
仅为源代码范围：条目可能描述代码、已记录适配器或已配置工作流，并不表示生产服务正在运行。
01
40 条规则,针对 AI 编码助手常见的生成模式:提示中的硬编码密钥、通过拼接造成的 SQL 注入、危险的代码执行、不安全的默认配置、缺失的身份验证、路径遍历、不安全的反序列化以及弱加密。
02
30 条规则,针对自主智能体代码:过度宽松的工具定义、不受限制的文件系统访问、从用户输入执行 shell 命令、缺失的审计日志、破坏性操作前无确认、不安全的智能体间通信以及权限提升途径。
03
40 条规则,针对生产环境的 LLM 应用:系统提示中的原始用户输入、未净化的 HTML 渲染、执行 LLM 生成的 SQL、暴露的 API 密钥、缺失的提示注入检测、不安全的 OAuth 流程、已弃用的 SDK 使用、未经验证的工具输出以及训练数据外泄风险。
04
覆盖 10 个框架的 50 条规则:Express.js、Django、Flask、FastAPI、Spring Boot、Laravel、Rails、Next.js、NestJS 与 Gin——涵盖调试模式暴露、缺失的鉴权守卫、CORS 通配符、批量赋值、未经验证的 DTO 以及 actuator 端点泄露。
05
覆盖 7 个平台的 50 条规则:AWS (15)、Terraform (10)、Kubernetes (6)、GitHub Actions (5)、GCP (5)、Azure (5)、Docker (4)——涵盖 IAM 权限过度、公开存储桶、禁用加密、特权容器、未固定版本的 Actions 以及配置错误的安全组。
06
用 YAML 编写自定义规则——无需 Rust 知识。定义 AST 节点类型、正则表达式模式、祖先上下文约束以及修复建议。一条命令即可脚手架生成新规则。
07
原生 SARIF v2.1.0 输出,可集成至 GitHub Security 标签页。发现项以行内 PR 注解形式呈现,附带严重程度、修复建议和参考资料。同时支持 JSON 和文本输出。
08
集成 Mistral AI 或本地 Ollama 模型,以减少误报、根据上下文重新排序严重程度,并生成结合上下文的修复建议。只需一个 --ai 标志即可启用——适用于任何受支持的模型。
09
通过 Achilles AI LSP 服务器在编辑器中获得实时安全反馈。边输入边获得行内诊断、代码操作和修复建议——适用于 VS Code、Neovim 以及任何兼容 LSP 的编辑器。
10
即插即用的 GitHub Action,在每次推送和拉取请求时自动扫描。同时支持 GitLab CI、Bitbucket Pipelines 和预提交钩子。单一二进制文件——无运行时依赖。
覆盖 5 个类别的 210 条规则
AI 助手优化的目标是“能运行”,而非“安全”。Achilles 命名了我们在超过 100 万行 AI 增强代码中规模化见到的每一种 AI 生成反模式,随后通过一个 LLM 排序器将真正的风险置于报告最前。
仅为仓库表面：可用性、完整性、性能与运营适用性需要另行验证。
47 RULES提示模板中硬编码的 API 密钥、“只是演示”代码路径里通过字符串拼接的 SQL、不安全的反序列化、对 LLM 输出执行 eval、以 INFO 级别记录密钥。当“能跑一次”压倒“安全运行”时随之而来的一簇模式。
38 RULES没有参数验证的工具定义、与管理员权限重叠的智能体能力、LLM 可调用工具上缺失的速率限制、泄露系统身份的提示前缀。让一次越狱演变为一起事件的那一簇问题。
52 RULES未净化的 LLM 输出被渲染为 HTML、用户可控上下文中的提示注入途径、经由检索文档的间接注入、将模型输出送入 shell 或 eval、缺失的输出模式验证。把 OWASP-LLM-Top-10 落到实处。
43 RULES无鉴权暴露的 Next.js Server Action、FastAPI 依赖注入绕过、LangChain 思维链泄露、通过 raw() 造成的 Django ORM SQL 注入、不安全的模板渲染。逐框架定制的规则,而非通用的污点追踪。
30 RULES带有敏感前缀的公开 S3、具有 `*` 操作权限的 IAM 角色、AWS Bedrock 跨账户权限、在缺失服务账户上下文中暴露的 GCP Vertex AI。让一个泄露的端点 URL 演变为完整数据外泄的那一簇问题。
技术栈
所列技术仅标识仓库依赖项或适配器表面，并不证明存在活动集成或部署。
源代码
Achilles AI 源代码可应要求提供,用于评估与合作目的。
若要访问源代码,请签署我们的保密协议。
需要帮助来保护生产环境中的 AI 生成代码吗?我的咨询服务可与 Achilles AI 相辅相成。
用十二到二十四周时间，对你的 AI 系统进行风险分级、支持由提供方主导的合格评定并为其构建证据、产出 Annex IV 技术文档，并搭建上市后监测——针对自主、工业与机器人部署所适用的高风险类别进行专门深入处理
合作
无论你需要为团队提供 AI 代码安全审计,还是希望在 AppSec 领域探索合作。
从演示走向可靠运营。每周获取一份 Physical AI 产品决策简报。
随时可取消订阅。绝无垃圾邮件。