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-3/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
'请用NASA Power of 10规则分析这段嵌入式C代码的安全性。'，它会扫描代码，指出其中违反规则的地方，例如使用了动态内存分配`malloc`，或某个循环缺少固定的迭代上限，并给出符合安全规范的修改建议。
介绍
本Skill旨在解决安全关键系统（如航空航天、医疗设备、自动驾驶等领域）软件开发中，对代码安全性与可靠性的极高要求问题。它通过自动化检查，确保代码符合NASA JPL发布的Power of 10规则集，这些规则旨在消除C语言中可能导致灾难性故障的常见编程陷阱。
使用时，开发者只需将代码提交给集成了此Skill的AI助手，助手便会依据Power of 10规则对代码进行扫描和分析。它会自动识别出违反规则的代码模式，例如过度复杂的控制流、未经验证的循环边界、动态内存分配的使用等，并提供具体的修改建议和违规位置。
该Skill特别适合从事嵌入式系统、汽车电子、工业控制等安全攸关领域开发的后端工程师、全栈开发者和测试工程师。对于需要在严格合规标准下交付代码的团队，它也是一个强有力的辅助工具。
建议将此Skill集成到代码审查或持续集成（CI）流程中，作为质量门禁的一环。需要注意的是，其规则集主要针对C语言，虽然部分原则可借鉴，但直接用于其他高级语言（如Python、Java）可能不完全适用。对于非安全关键的一般业务代码，使用更通用的代码质量工具可能更合适。
核心特点
专注于实施NASA JPL专为安全关键系统制定的、经过实战检验的Power of 10规则集，而非通用的代码风格或复杂度检查，直接瞄准最高级别的代码安全性与可验证性要求。
注意事项
主要针对C语言的安全关键场景，对于非C语言项目或非安全攸关的通用业务软件开发，其规则可能过于严格或不完全适用。
常见问题
NASA Power of 10规则具体包含哪些内容？
包含十条核心规则，如限制函数圈复杂度、禁止动态内存分配、所有循环必须有固定上界、避免使用递归、检查所有函数返回值等，旨在最大限度减少运行时错误。
这个Skill能替代正式的代码安全审计吗？
不能。它是一个强大的自动化辅助工具，可以帮助开发者在早期发现潜在问题，但不能替代由专业安全工程师进行的全面、正式的安全审计与认证。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/safety-critical-patterns-x-3/raw/index.md 读取 safety-critical-patterns 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/safety-critical-patterns-x-3/raw/index.md（查看排版版本）