二进制程序循环写内存安全漏洞的检测方法

    公开(公告)号:CN102708054A

    公开(公告)日:2012-10-03

    申请号:CN201210138459.9

    申请日:2012-05-08

    Abstract: 本发明的目的在于,提供一种二进制程序循环写内存安全漏洞的检测方法,包括:步骤1、获取与二进制程序中潜在安全漏洞相关的二进制程序的循环结构摘要信息;步骤2、根据所述循环结构摘要信息,生成测试数据;步骤3、根据所述测试数据对二进制程序进行循环写内存安全漏洞的检测。本发明实施例提供的方法,在生成测试数据时,不需要遍历二进制程序循环结构的所有路径,仅需要根据生成的循环结构摘要信息得到测试数据。由于循环结构摘要信息是和二进制程序的潜在安全漏洞相关的,因此,生成的测试数据更有针对性,大大降低了安全漏洞检测的计算代价。

    一种二进制程序漏洞的挖掘装置和方法

    公开(公告)号:CN102622558B

    公开(公告)日:2014-10-08

    申请号:CN201210051642.5

    申请日:2012-03-01

    Inventor: 崔宝江 梁晓兵

    Abstract: 一种融合遗传算法与动态污染跟踪的二进制程序漏洞的挖掘装置与方法,该装置设有顺序连接的静态分析模块、调试器模块、遗传算法模块、测试输入生成模块和异常监控模块,以及位于调试器模块、遗传算法模块之间的动态污染跟踪模块;该装置利用遗传算法的适应度函数指导生成测试用例,设计了多目标的适应度函数,从定量角度评价测试用例的好坏;再用动态污染跟踪识别出输入文件中的关键字节,缩小遗传算法的搜索空间。该装置结合遗传算法和动态污染跟踪两者优点,指导生成测试用例,故生成的测试用例针对性强,生成的测试数据准确度和效率都高,且把定性分析与定量计算相结合,避免了基于符号执行与约束求解技术的二进制程序测试中的路径爆炸问题。

    一种二进制程序漏洞的挖掘装置和方法

    公开(公告)号:CN102622558A

    公开(公告)日:2012-08-01

    申请号:CN201210051642.5

    申请日:2012-03-01

    Inventor: 崔宝江 梁晓兵

    Abstract: 一种融合遗传算法与动态污染跟踪的二进制程序漏洞的挖掘装置与方法,该装置设有顺序连接的静态分析模块、调试器模块、遗传算法模块、测试输入生成模块和异常监控模块,以及位于调试器模块、遗传算法模块之间的动态污染跟踪模块;该装置利用遗传算法的适应度函数指导生成测试用例,设计了多目标的适应度函数,从定量角度评价测试用例的好坏;再用动态污染跟踪识别出输入文件中的关键字节,缩小遗传算法的搜索空间。该装置结合遗传算法和动态污染跟踪两者优点,指导生成测试用例,故生成的测试用例针对性强,生成的测试数据准确度和效率都高,且把定性分析与定量计算相结合,避免了基于符号执行与约束求解技术的二进制程序测试中的路径爆炸问题。

Patent Agency Ranking