一种列车运行控制系统代码的安全审查方法及装置

本申请公开了一种列车运行控制系统代码的安全审查方法及装置，包括：确定目标列车运行控制系统的目标代码中需要审查变量初始化的第一安全变量和需要审查变量取值入口条件的第二安全变量；基于第一安全变量的第一编程规范对第一安全变量在目标代码中的第一代码执行片段进行变量初始化，基于第二安全变量的第二编程规范对第二安全变量在目标代码中的第二代码执行片段进行变量取值入口条件审查；若审查出第一代码执行片段将第一安全变量初始化为第一编程规范指示的安全侧数值，且第二代码执行片段中用于将第二安全变量取值为危险侧数值使用的变量取值入口条件符合第二安全变量的第二编程规范指示的代码契约条件，确定目标代码的代码安全审查通过。