本论文针对工业控制系统（ICS）中的可编程逻辑控制器（PLC）内存安全展开研究。PLC作为工业自动化的核心组件，其运行稳定性直接关系到生产安全。作者发现，通过精心构造的网络报文或本地攻击，攻击者能够操纵PLC的内存空间，导致控制器进入异常状态甚至完全停机。研究团队深入分析了多种主流PLC的内存管理机制，识别出若干可被利用的漏洞模式，包括缓冲区溢出、内存访问越界以及状态寄存器篡改等。他们设计了一套攻击向量，并在一组真实PLC设备上进行了实验验证。实验结果表明，攻击能够在数秒内导致PLC进程挂起或重启，且无需高级权限。这项工作不仅揭示了PLC内存安全中未被充分重视的攻击面，还提出了针对性的内存完整性检测方法，为工控系统防御者提供了新的预警和加固思路。

本文提出了一种通过状态机恢复技术发现可编程逻辑控制器（PLC）二进制程序中盲目信任漏洞的方法。PLC广泛应用于工业控制系统，其固件中常存在对输入数据缺乏充分校验的逻辑缺陷，导致攻击者可以通过精心构造的输入触发异常行为。现有静态分析工具难以有效识别这类漏洞，因为它们需要理解PLC程序的状态演化逻辑。作者设计了一套针对PLC二进制指令集的中间表示（IR），并实现了状态机自动提取算法，能够从二进制代码中恢复出PLC控制逻辑的状态转换图。在此基础上，他们定义了“盲目信任”漏洞模式：即状态机中某些状态无条件信任输入数据而未进行合法性检查。该方法在9款主流PLC型号的固件中进行了测试，发现了22个先前未知的漏洞，其中12个被确认具有实际可利用性。实验结果表明，该技术能够有效发现传统方法遗漏的安全缺陷，且误报率较低。论文还讨论了这些漏洞可能导致的后果，如非预期输出、系统死锁或物理设备损坏。该研究为工控系统安全分析提供了新视角，有助于提升PLC固件的安全性。

本文提出了一种基于大语言模型的模糊测试框架，旨在发现可编程逻辑控制器中的逻辑指令错误。该框架利用LLM生成有针对性的测试用例，通过分析PLC指令语义来触发深层逻辑缺陷。实验在多种PLC平台上验证了框架的有效性，成功检测到多个未知漏洞，展示了LLM在工控系统安全测试中的潜力。