面向可编程逻辑控制器的二进制代码语义转换方法及系统

    公开(公告)号:CN118092877A

    公开(公告)日:2024-05-28

    申请号:CN202410196229.0

    申请日:2024-02-22

    Applicant: 广州大学

    Abstract: 本申请公开了面向可编程逻辑控制器的二进制代码语义转换方法及系统,包括:对可编程逻辑控制器的二进制代码文件进行代码预处理,得到第一文件信息和二进制字节码;根据字典与列表,对二进制字节码进行指令映射,得到指令程序;其中,字典与列表是根据二进制字节码与可编程逻辑控制器指令的操作数和操作码之间的关系建立的;识别指令程序中的函数调用关系和参数列表;根据第一文件信息、函数调用关系和参数列表,确定目标函数块;根据目标函数块的执行顺序对可编程逻辑控制器的指令进行汇总处理,得到语义转换结果。本申请实施例可以降低函数之间的复杂度,实现在工业控制系统中进行高效准确的语义转换,可广泛应用于计算机技术领域。

    基于数据依赖的控制逻辑代码关键点位识别方法及系统

    公开(公告)号:CN119225201A

    公开(公告)日:2024-12-31

    申请号:CN202411195515.1

    申请日:2024-08-29

    Applicant: 广州大学

    Abstract: 本发明公开了一种基于数据依赖的控制逻辑代码关键点位识别方法及系统,方法包括:构造控制逻辑代码的词法分析器,将控制逻辑代码转化为可阅读式的控制逻辑句子;构建控制逻辑代码的数据依赖,建立所述控制逻辑代码中每个点位的依赖子图;构建权重依赖衰减模型,计算点位的依赖分数,并用以识别控制逻辑代码中的关键点位。本发明能够在减少人工干预的同时,提高关键点位识别的准确性和效率,从而更好地适应现代工业控制系统的需求,可广泛应用于工控系统技术领域。

    一种基于大语言模型的PLC代码生成及验证方法

    公开(公告)号:CN119201059A

    公开(公告)日:2024-12-27

    申请号:CN202411144236.2

    申请日:2024-08-20

    Applicant: 广州大学

    Abstract: 本发明公开了一种基于大语言模型的PLC代码生成及验证方法,包括:生成多阶段多模态输入数据,所述多阶段多模态输入数据用于表征用户需求以及根据需求分析结果制定系统设计方案;所述多阶段包括完整工程周期的需求分析阶段和设计阶段;所述多模态输入包括P&I D图和自然语言;接着,根据所述多阶段多模态输入数据,生成PLC代码;然后,对生成的PLC代码进行验证测试,所述验证测试包括代码验证和编译器验证;最后在完成对所述PLC代码的验证测试之后,对所述PLC代码进行部署。本发明实施例准确度高且自动化程度高,能够为网络安全研究人员提供了一种高效、准确的PLC代码部署方法,可广泛应用于计算机技术领域。

    一种可保持性指令状态改变漏洞挖掘方法和装置

    公开(公告)号:CN118034176A

    公开(公告)日:2024-05-14

    申请号:CN202410108317.0

    申请日:2024-01-25

    Applicant: 广州大学

    Abstract: 本发明公开了一种可保持性指令状态改变漏洞挖掘方法和装置,方法包括:获取控制程序源代码;根据控制程序源代码,提取步进触点指令和可保持性指令信息元组;对步进触点指令进行梯级划分,得到输入操作数表和输出操作数表;根据可保持性指令信息元组,提取可保持性指令的二维操作数表;根据输入操作数表和输出操作数表,对二维操作数表进行污点处理,得到污点源;计算污点节点;根据执行器操作数地址集,对污点节点进行执行器判断处理,得到目标执行器操作数集;若目标执行器操作数集不为空,则根据目标执行器操作数集,得到可保持性指令状态改变漏洞。本发明实现了漏洞挖掘,提高了效率和指令作用周期分析度。本发明可应用于漏洞挖掘技术领域。

Patent Agency Ranking