-
Patent Agency Ranking
公开(公告)号：CN114201383B
公开(公告)日：2025-03-07
申请号：CN202110875380.3
申请日：2021-07-30
Applicant: 北京理工大学 , 绿盟科技集团股份有限公司
IPC: G06F11/3668
Abstract: 本发明提供一种面向二进制程序的模糊测试系统，该系统主要包含三个模块，分别是程序追踪模块、测试用例选择模块和测试用例变异模块；程序追踪模块利用硬件程序追踪技术获得程序执行特征和指令特征，用于测试用例的选择和变异；测试用例选择模块根据测试用例特征维护一个优先队列，在测试用例选择时根据其是否在优先队列中进行概率性选择；该测试用例特征包括测试用例自身特征、模糊测试执行特征和硬件程序追踪得到的指令特征；测试用例变异模块根据测试用例特征确定其随机变异时的变异能量。本发明解决了目前大多数模糊测试存在的不支持对二进制程序测试或测试效果不佳、对测试过程中产生的有效信息利用不足的问题。
-
公开(公告)号：CN111898134B
公开(公告)日：2022-11-11
申请号：CN202010768571.5
申请日：2020-08-03
Applicant: 北京理工大学
Abstract: 本发明公开了一种基于长短期记忆网络或双向长短期记忆网络的智能合约漏洞检测方法；在数据处理阶段，对智能合约样本进行漏洞分类及标签标记；将智能合约样本转化为操作码序列X，提取包含关键操作码的上下文序列，并重组为新的操作码序列Y；针对每一种漏洞建立基于长短期记忆网络或双向长短期记忆网络的二元分类模型，利用智能合约样本的操作码序列Y对每一种漏洞训练一个二元分类模型，作为智能合约漏洞检测模型；在智能合约漏洞检测阶段，按照语义序列化阶段的处理方式将待检测智能合约处理成操作码序列Y，然后输入各智能合约漏洞检测模型，实现对多种漏洞的检测。使用本发明能够缩短训练时间，提高检测模型的稳定性和分类准确性。
-
公开(公告)号：CN115391172A
公开(公告)日：2022-11-25
申请号：CN202210752088.7
申请日：2022-06-28
Applicant: 北京理工大学
Abstract: 本发明公开了一种基于粒子群优化算法的输入结构推断方法和装置，基于预定义的结构单元集合，采用粒子群优化算法动态探索输入用例中各个字节的最优结构概率；基于所述结构概率，进一步确定输入用例中各个字节所属的结构单元，得到输入结构。本发明基于粒子群优化算法推断输入结构，能够在无先验知识的情况下，提升输入结构推断准确率。
-
公开(公告)号：CN111898134A
公开(公告)日：2020-11-06
申请号：CN202010768571.5
申请日：2020-08-03
Applicant: 北京理工大学
Abstract: 本发明公开了一种基于长短期记忆网络或双向长短期记忆网络的智能合约漏洞检测方法；在数据处理阶段，对智能合约样本进行漏洞分类及标签标记；将智能合约样本转化为操作码序列X，提取包含关键操作码的上下文序列，并重组为新的操作码序列Y；针对每一种漏洞建立基于长短期记忆网络或双向长短期记忆网络的二元分类模型，利用智能合约样本的操作码序列Y对每一种漏洞训练一个二元分类模型，作为智能合约漏洞检测模型；在智能合约漏洞检测阶段，按照语义序列化阶段的处理方式将待检测智能合约处理成操作码序列Y，然后输入各智能合约漏洞检测模型，实现对多种漏洞的检测。使用本发明能够缩短训练时间，提高检测模型的稳定性和分类准确性。
-
公开(公告)号：CN114201383A
公开(公告)日：2022-03-18
申请号：CN202110875380.3
申请日：2021-07-30
Applicant: 北京理工大学 , 绿盟科技集团股份有限公司
IPC: G06F11/36
Abstract: 本发明提供一种面向二进制程序的模糊测试系统，该系统主要包含三个模块，分别是程序追踪模块、测试用例选择模块和测试用例变异模块；程序追踪模块利用硬件程序追踪技术获得程序执行特征和指令特征，用于测试用例的选择和变异；测试用例选择模块根据测试用例特征维护一个优先队列，在测试用例选择时根据其是否在优先队列中进行概率性选择；该测试用例特征包括测试用例自身特征、模糊测试执行特征和硬件程序追踪得到的指令特征；测试用例变异模块根据测试用例特征确定其随机变异时的变异能量。本发明解决了目前大多数模糊测试存在的不支持对二进制程序测试或测试效果不佳、对测试过程中产生的有效信息利用不足的问题。
-
-
-
-
Search Results
5
records
(took 0.014 seconds)
