面向安全关键系统的Python专用编码规范是否存在？

目前尚未出现类似MISRA C、SEI CERT C这类由权威标准化机构发布、全行业通用的安全关键系统专用Python编码标准，但工业界已有成熟的可落地实践体系，可根据你的应用安全等级要求适配使用：

• SEI CERT Python编码标准：和你熟悉的SEI CERT C同出一脉，明确规定了Python代码需要规避的安全漏洞、非确定性行为，覆盖内存安全、输入校验、异常处理等多维度要求，可作为基础安全编码依据。
• 行业定制Python编码子集：汽车、医疗、航空航天领域的头部企业已经针对各自的行业安全认证要求（如汽车ISO 26262、医疗IEC 62304、航空DO-178C）推出了适配的Python编码约束，核心规则包括禁止使用eval()、exec()等动态执行语句，禁用猴子补丁、运行时类型修改等不确定行为，强制要求全代码添加类型标注并通过mypy等工具完成静态类型校验，明确异常处理的全覆盖要求、资源释放的强制规则等。
• 嵌入式Python专属约束：针对MicroPython、CircuitPython等嵌入式Python运行环境，实践中会额外增加禁止运行时动态导入模块、要求启动阶段完成所有内存分配与初始化、限制递归深度等规则，保障运行时的时间、空间确定性。

如果你的应用需要通过特定行业安全认证，可基于上述现有规则，结合对应行业的安全标准要求定制企业级编码规范，配套静态检查规则、测试覆盖要求共同落地即可。

内容的提问来源于stack exchange，提问作者p_a321