公开(公告)号：CN114490397A

公开(公告)日：2022-05-13

申请号：CN202210107064.6

申请日：2022-01-28

Applicant: 北京理工大学

Inventor： 计卫星 ,  李思宇 ,  刘天阳 ,  王一拙 ,  刘法旺 ,  高玉金

IPC: G06F11/36

Abstract: 本发明公开了一种基于集成学习的端云协同代码缺陷检测方法及系统，代码缺陷检测方法包括以下步骤，采集第一测试样本的第一缺陷代码，获取第一缺陷代码的第一缺陷特征以及第一缺陷特征对应的第二测试样本；基于待测代码和第二测试样本的相似度，获取第三测试样本以及第三测试样本的第二缺陷特征；根据第二缺陷特征和第三测试样本对应的第一缺陷特征，获取待测代码的识别准确率；基于识别准确率，通过采集待测代码的第二缺陷代码，获取第二缺陷代码的第三缺陷特征；通过端云协同的技术设计，实现了对待测代码的缺陷检测；本发明有效的保护了用户的知识产权，并且能够获得较高的缺陷检测准确率。

公开(公告)号：CN111125697B

公开(公告)日：2022-03-04

申请号：CN201911113284.4

申请日：2019-11-14

Applicant: 北京理工大学 ,  工业和信息化部计算机与微电子发展研究中心(中国软件评测中心)

Inventor： 计卫星 ,  田泽民 ,  刘法旺 ,  王一拙 ,  高玉金 ,  石峰

IPC: G06F21/56 ,  G06F11/36

Abstract: 本发明公开了基于缺陷摘要的智能合约缺陷可触发性检测方法及系统，该方法包括：对待检测的智能合约进行缺陷检测，提取出一个或多个缺陷摘要；智能合约被调用时，获取实时合约状态数据集合及合约调用数据集合；使用实时状态数据和调用数据，对智能合约的各个缺陷摘要中预设初始符号值进行替换；对符号被替换后的缺陷摘要进行求解，若缺陷摘要的路径约束和缺陷触发条件约束同时有解，检测出所述智能合约在被调用时会触发缺陷。该方法通过将缺陷摘要和智能合约的实时状态数据与合约调用数据相结合来快速判断智能合约中缺陷的可触发性，能够解决现在智能合约缺陷检测中由于没有考虑真实数据而产生的高误报的问题，提高智能合约缺陷检测的准确率。

公开(公告)号：CN111125697A

公开(公告)日：2020-05-08

申请号：CN201911113284.4

申请日：2019-11-14

Applicant: 北京理工大学 ,  工业和信息化部计算机与微电子发展研究中心(中国软件评测中心)

Inventor： 计卫星 ,  田泽民 ,  刘法旺 ,  王一拙 ,  高玉金 ,  石峰

IPC: G06F21/56 ,  G06F11/36

Abstract: 本发明公开了基于缺陷摘要的智能合约缺陷可触发性检测方法及系统，该方法包括：对待检测的智能合约进行缺陷检测，提取出一个或多个缺陷摘要；智能合约被调用时，获取实时合约状态数据集合及合约调用数据集合；使用实时状态数据和调用数据，对智能合约的各个缺陷摘要中预设初始符号值进行替换；对符号被替换后的缺陷摘要进行求解，若缺陷摘要的路径约束和缺陷触发条件约束同时有解，检测出所述智能合约在被调用时会触发缺陷。该方法通过将缺陷摘要和智能合约的实时状态数据与合约调用数据相结合来快速判断智能合约中缺陷的可触发性，能够解决现在智能合约缺陷检测中由于没有考虑真实数据而产生的高误报的问题，提高智能合约缺陷检测的准确率。