针对工业控制系统的轻量级安全性检测系统及方法

本发明提供了一种针对工业控制系统的轻量级安全性检测系统及方法，包括：ICS系统载入模块：对ICS系统进行预处理得到可执行文件；静态分析模块：通过二进制逆向分析框架对可执行文件进行二进制语义重建，输入数据流依赖度度量获得数据流扩散图；动态分析模块：以数据流扩散图为基础，在裁剪控制流的基础上开展定向污点分析；检测报告输出模块：对污点分析的结果进行归一化处理以及可视化展示。
上海交通大学
陈力波 | 黄培扬 | 王轶骏 | 薛质