基于符号执行的跨架构二进制可执行文件漏洞检测方法及系统

    公开(公告)号:CN115344866A

    公开(公告)日:2022-11-15

    申请号:CN202210852472.4

    申请日:2022-07-20

    IPC分类号: G06F21/57 G06F21/56 G06F11/36

    摘要: 本发明公开了一种基于符号执行的跨架构二进制可执行文件漏洞检测方法及系统,其中,该方法包括:基于调用图构建引用树,将待分析的可执行文件和目标函数输入引用树中进行引用树解析;将污点源设置为套接字数据接收函数的缓冲区,以完成污点源数据标记;基于调用链向后符号执行的污点传播算法,引入状态函数记录引用树中从引用链中节点ik到达目标函数的污点分析过程,获得污点汇聚点的数据分析结果;提取目标函数的实际参数将污点汇聚点构建成污点汇聚点森林,遍历污点汇聚点森林中的每棵树,检测其每个节点上的值是否被污染。该方法在预定义的漏洞多发函数处检测函数参数是否受污点数据影响来判断该路径下的此次函数调用是否存在潜在风险。

    基于关键模块和支持向量机的工控系统组态软件安全防护方法及系统

    公开(公告)号:CN115345217A

    公开(公告)日:2022-11-15

    申请号:CN202210853371.9

    申请日:2022-07-20

    IPC分类号: G06K9/62 G06N20/10

    摘要: 本发明公开了一种基于关键模块和支持向量机的工控系统组态软件安全防护方法及系统,属于软件关键模块提取、软件安全防护技术领域,其中,该方法包括:通过插桩获取预设组态软件的函数块的多条指令级执行轨迹;对所述多条指令级执行轨迹进行对比,以选定关键模块;采用基于SVM的机器学习方法构建安全防护模型,并对所述安全防护模型进行训练,利用训练后的安全防护模型和所述关键模块检测待测软件是否遭到攻击。该方法通过分析组态软件程序执行轨迹信息,定位组态软件执行过程中的关键模块,通过以上电力工控系统组态软件的可公开信息构建基于支持向量机机器学习分类模型检测软件是否遭受攻击,从而达到软件安全防护效果。