基于控制流切片的可编程逻辑控制器代码漏洞检测方法
来源：计算机集成制造系统杂志2025年第11期北京时间：
作者：廖雪超, 孟航宇
单位：1.武汉科技大学计算机科学与技术学院2.智能信息处理与实时工业系统重点实验室
摘要：在可编程逻辑控制器（PLC）控制系统维护、控制流错误排查和稳定系统运行效率等方面,PLC代码漏洞检测发挥着重要作用。针对PLC代码语义不明确,导致漏洞检测精度降低的问题,先对PLC代码进行词法分析生成词法单元流,并基于指令操作符为基准的语义分割规则生成抽象语法树。同时针对PLC系统内部存在着跨域漏洞而导致控制流程不明确的难点,结合具体漏洞对控制流相关代码进行切片,生成切片控制流图,实现了对多层调用PLC代码的漏洞检测。通过实验验证,该集成模型能够快速检测现场级的复杂结构项目,对比直接语法分析方法,词法+语法分析方法的召回率明显提高,时间开销缩短,并且对整体控制流进行切片后,漏洞检测效率提升明显,所提方法具有一定的普适性。
关键词：可编程逻辑控制器,词法分析,语法分析,控制流图,代码切片
基金资助：国家自然科学基金资助项目（62273264）。
