远望谷(上海)申请基于逆流反馈变异的智能合约安全检测专利,提高智能合约安全检测全面性和效率
创始人
2024-09-17 18:16:50

金融界 2024 年 9 月 17 日消息,天眼查知识产权信息显示,远望谷(上海)信息技术有限公司申请一项名为“基于逆流反馈变异的智能合约安全检测方法、系统及介质“,公开号 CN202410843982.4,申请日期为 2024 年 6 月。

专利摘要显示,本发明涉及区块链及其安全技术领域,尤指一种基于逆流反馈变异的智能合约安全检测方法、系统及介质,通过获取智能合约源码并进行静态分析,构建初始交易序列池以及对合约进行编译。接着,使用数据生成器生成交易序列的输入数据,并编码封装成完整的合约交易数据序列。在私有链中插入监控代码以收集执行期间的详细信息,利用预言机来自动识别潜在的安全漏洞。通过动态交易顺序的构建不断生成新的交易序列。通过不断逆流反馈分析与变异生成新的测试用例,并重复测试过程直到满足预设的停止条件,最终生成详细的测试报告包括测试结果、漏洞和改进措施,实现提高智能合约安全检测全面性和效率,降低误差率。

来源:金融界

相关内容

热门资讯

时代新威申请软件供应链安全风险... 国家知识产权局信息显示,北京时代新威信息技术有限公司申请一项名为“软件供应链安全风险分析检测方法、系...
岚县检察院以宣促防共建安全校园 本报讯 为从源头上防范校园欺凌,筑牢校园安全屏障,1月13日,岚县人民检察院党组成员、副检察长杨瑞中...
格陵兰岛自治政府建议民众储备五... 新华社奥斯陆1月21日电(记者姚雨璘张玉亮)哥本哈根消息:据当地媒体21日报道,格陵兰岛自治政府发布...
“十五五”时期如何更好统筹发展... 安全是发展的前提,发展是安全的保障。发展和安全,如鸟之双翼、车之两轮,相辅相成、不可偏废。在《求是》...