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-8/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
'检查我的飞行控制器代码是否符合NASA Power of 10规则'，它会扫描所有C/C++源文件，逐一验证规则，例如禁止goto、禁止递归、限制函数长度等，并输出违规位置和修复建议。对于动态内存分配，它会标记所有malloc调用并提示改用静态分配。
介绍
在航空航天、自动驾驶、医疗设备等安全关键领域，代码的微小错误可能导致灾难性后果。本技能基于NASA Power of 10规则，提供一套严格的代码审查和验证方法，帮助开发者自动检测控制流限制、动态内存使用、递归、指针别名等高风险模式，确保代码的可验证性和可靠性。
使用方式简单：将项目代码导入或指定目录，技能会逐条检查代码是否符合10条NASA规则，输出详细违规报告及修复建议。支持命令行调用和IDE集成，可一键扫描并生成合规性报告，也可作为CI/CD管道的质量门禁。
适合嵌入式系统开发、安全关键软件工程师、测试工程师、以及需要遵循MISRA或DO-178C等标准的团队。尤其适合对代码可靠性有极高要求的项目，如飞行控制器、汽车电子、工业控制系统等。
建议先理解每条规则背后的工程原理，再根据实际项目需求灵活调整严格度。对于非安全关键场景，可选择性忽略部分规则以避免过度约束。注意该技能侧重于静态分析，不能替代动态测试和形式化验证。
核心特点
区别于通用代码检查工具（如ESLint、SonarQube），本技能直接实现NASA官方Power of 10规则集，专为安全关键系统设计，提供比MISRA更严格的受限子集检查，并附带可追溯的合规性理由。
注意事项
不适用于快速原型开发或非安全关键场景，规则严格可能导致大量误报，且目前主要支持C/C++语言。
常见问题
这个技能支持哪些编程语言？
主要支持C/C++，因为NASA Power of 10规则最初针对这些语言设计。部分规则可扩展至Rust、Ada等，但需手动适配。
如何集成到CI/CD流程？
支持命令行接口，可在CI脚本中直接调用，输出JSON格式报告。也提供GitHub Actions和Jenkins插件，可自动阻断不合规代码合并。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/safety-critical-patterns-x-8/raw/index.md 读取 safety-critical-patterns 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/safety-critical-patterns-x-8/raw/index.md（查看排版版本）