一种基于ST语言的数组下标越界检查与保护方法及系统

本发明涉及工业控制技术领域，提供了一种基于ST语言的数组下标越界检查与保护方法，包括：S1：在ST语言编写的控制程序被编译转换为二进制文件的过程中，遍历ST代码语法树，识别数组元素访问节点；S2：针对数组元素访问节点，生成调用下标偏移量地址转换函数的代码，所述下标偏移量地址转换函数至少接收程序标识符、数组各维度下标值以及各维度元素最大数量作为输入参数；S3：在所述下标偏移量地址转换函数内部，执行维度检查：若任一维度下标值超出对应维度的元素最大数量，则终止当前控制程序执行并抛出异常；否则，计算该数组元素相对于数组首地址的偏移地址并返回；S4：根据返回的偏移地址，结合数组首地址和数据类型长度，访问数组元素。