原子力関連のソフトウェア-イギリスのHealthandSafetyExecutiveは原子炉保護系（英語版）での静的コード解析の活用を推奨している。
核能软件：英国的健康与安全委员会（英语：HealthandSafetyExecutive）建议针对堆保护系统（英语：ReactorProtectiveSystem）的软件进行静态程序分析中。