%0 Journal Article
%T PLC程序控制流分析方法
%A 陆余良
%J 计算机应用
%D 2017
%R 10.11772/j.issn.1001-9081.2017.12.3581
%X 摘要 可编程逻辑控制器（PLC）是工业控制系统的重要组成部分，控制着各类物理设备及工艺流程。无论是攻击者的恶意篡改还是内部人员的编程错误所造成的PLC控制程序错误都将严重威胁设备及人身安全。为解决该问题，提出了针对PLC程序的控制流分析方法。首先，利用flex和bison分析了源代码的词法及语法结构；其次，通过分析抽象语法树（AST）生成并优化了不含指令副作用的中间表示；最后，在中间表示的基础上划分基本块，并以此为基本单元构建了程序的控制流图。实验结果表明，所提方法能够恢复语句表形式PLC程序的控制流结构，为程序理解和安全性分析提供了基础
%K 可编程逻辑控制器
%K 控制流
%K 中间表示
%K 程序理解
%K 安全性
%U http://www.joca.cn/CN/abstract/abstract21364.shtml