safety-critical-patterns
应用NASA十大规则，为安全关键代码提供静态分析
安装使用
复制下面这段提示词发给你的 AI（Claude / Cursor / TRAE / Codex / WorkBuddy 等），它会自动帮你完成安装：
帮我安装这个 AI Skill：safety-critical-patterns。 它的用途是：应用NASA十大规则，为安全关键代码提供静态分析 完整的 Skill 内容见：https://321skill.com/skills/safety-critical-patterns/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
‘请使用NASA Power of 10规则分析项目src/目录下的C代码。’，它会自动扫描指定目录，识别出所有违反规则（如使用动态内存分配、递归、无限循环等）的代码片段，并生成一份结构化的报告，列出每个违规的位置、规则编号和简要解释，帮助你快速定位并修复潜在的安全漏洞。
介绍
本Skill旨在解决安全关键系统（如航空航天、汽车电子、医疗设备）中代码安全性与可靠性的核心问题。它通过静态分析工具，自动检查代码是否遵循NASA JPL的《Power of 10》规则集，这些规则是NASA为编写高可靠性、可验证的嵌入式C代码而制定的严格准则，能有效避免缓冲区溢出、无限循环、未定义行为等致命缺陷。
使用时，开发者只需将代码库路径提供给该Skill，它便会自动扫描代码，识别出违反NASA十大规则的代码模式，并生成详细的违规报告，指出问题位置、违反的规则以及潜在风险，帮助开发者在代码提交或集成前发现安全隐患。
它非常适合从事嵌入式系统、汽车软件、工业控制、医疗器械等安全关键领域开发的后端工程师、全栈开发者和测试工程师，也适用于对代码质量有极致要求的学术研究者或高校学生在进行相关项目开发时使用。
建议将此Skill集成到CI/CD流程中，作为代码质量门禁的一部分，确保每次提交都符合安全规范。需要注意的是，该规则集主要针对C语言，且规则非常严格，可能会对追求极致性能或使用复杂动态特性的代码产生较多“误报”，需要结合具体项目上下文进行判断。
核心特点
专注于实施NASA JPL专为安全关键、高可靠性系统制定的《Power of 10》具体规则集，而非通用的代码风格或复杂度检查，提供了航天级的安全编码标准。
注意事项
主要针对C语言代码，且其严格的规则可能不适用于所有类型的软件项目，特别是对性能有极端要求或大量使用动态特性的非安全关键应用。
常见问题
这个Skill支持哪些编程语言？
主要针对C语言，这是NASA《Power of 10》规则集最初设计的目标语言。
它能替代其他静态分析工具吗？
不能完全替代，它是专注于NASA特定安全规则的补充工具，应与其他通用静态分析工具（如检查内存泄漏、并发问题）结合使用。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/safety-critical-patterns/raw/index.md 读取 safety-critical-patterns 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/safety-critical-patterns/raw/index.md（查看排版版本）