公开(公告)号：CN113849395A

公开(公告)日：2021-12-28

申请号：CN202110914676.1

申请日：2021-08-10

Applicant: 浙江中控技术股份有限公司

Inventor： 徐伟强 ,  陈延 ,  吴欣 ,  刘先霖 ,  黄彤俊 ,  闫西宁

IPC: G06F11/36 ,  G06F8/33 ,  G06F8/41

Abstract: 本申请涉及一种用于数组下标越界检查的组态方法，包括：ST编辑器生成采用结构化文本语言编写的控制程序；ST编译器针对控制程序中的每个数组对象，建立相应的数组内存模型；ST编译器将控制程序编译转换为C语言代码，在编译转换过程中，针对下标中具有非常量表达式的数组元素，增加用于数组下标越界动态检查的代码片段，并将数组元素的C语言代码地址表达式嵌入到代码片段中；代码片段采用三目条件运算符实现；C编译器将包含代码片段的C语言代码编译成对应的二进制文件下载至目标控制器中，以便目标控制器运行时按照三目条件运算符中的条件表达式检查数组下标是否越界。通过本申请方法能够在控制程序运行时动态检测内存是否越界。