safety-critical-patterns
NASA Power of 10 安全关键代码规则库
安装使用
复制下面这段提示词发给你的 AI（Claude / Cursor / TRAE / Codex / WorkBuddy 等），它会自动帮你完成安装：
帮我安装这个 AI Skill：safety-critical-patterns。 它的用途是：NASA Power of 10 安全关键代码规则库 完整的 Skill 内容见：https://321skill.com/skills/safety-critical-patterns-x-4/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
'请用NASA Power of 10规则检查以下C代码，找出所有违反项'，然后粘贴代码。AI会逐条识别违规（如检测到动态内存分配malloc、递归函数、超过60行的函数等），并给出具体的行号和建议修复方案。
介绍
在航空航天、汽车电子、医疗设备等安全关键领域，代码的可靠性直接关乎生命财产安全。传统的代码审查依赖人工经验，难以系统化覆盖 NASA 等权威机构提出的 10 条硬性规则（如无动态内存分配、无递归、限制循环次数等）。该 Skill 将 NASA Power of 10 规则封装为可自动执行的静态分析能力，帮助开发者在编码阶段即时发现违规模式，避免将缺陷带入后期测试。
使用时，只需将待检查的代码文件或代码片段提供给 AI，它会逐条对照 NASA 规则进行扫描，标记出违反项（如使用了动态内存分配、函数过长、未使用断言等），并给出修改建议。支持 C/C++/Ada 等安全关键领域常用语言，也可根据项目需求扩展规则配置。
适合从事安全关键系统开发的嵌入式工程师、汽车电子软件开发者、航空电子软件工程师，以及任何需要遵循高可靠性编码标准的团队。对于学习安全编码规范的学生或刚入门的安全领域开发者，该工具也能提供直观的规则教学。
建议将本 Skill 集成到 CI/CD 流水线中，作为代码合入的前置检查门禁。注意，NASA Power of 10 规则主要针对安全关键系统，对于普通业务应用可能过于严格（如完全禁止动态内存分配），请根据项目实际选择是否启用全部规则。
核心特点
其他代码质量工具（如 MISRA Checker、Cppcheck）通常覆盖数百条规则，而本 Skill 专注 NASA 的 10 条核心安全规则，规则精简且经过航天级验证，更适用于高可靠性场景的快速合规检查。
注意事项
不适用于非安全关键领域的普通业务代码（如 Web 前端、脚本语言），且无法检测运行时逻辑错误，仅针对静态结构违规。
常见问题
NASA Power of 10 规则具体是哪十条？
包括：无动态内存分配、无递归、函数不超过 60 行、无 goto、无复杂指针、循环次数有限、断言使用、最小权限、数据隐藏、编译时检查等。本 Skill 内置了完整规则列表。
支持哪些编程语言？
主要支持 C 和 C++，部分规则可适配 Ada 和 Rust。对于不支持的语言，规则会自动跳过。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/safety-critical-patterns-x-4/raw/index.md 读取 safety-critical-patterns 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/safety-critical-patterns-x-4/raw/index.md（查看排版版本）