合约安全检测专利提高智能合约安全检测全面性和效率K8凯发远望谷(上海)申请基于逆流反馈变异的智能
金融界 2024 年 9 月 17 日消息□▲,天眼查知识产权信息显示•▷,远望谷(上海)信息技术有限公司申请一项名为▷◆★“基于逆流反馈变异的智能合约安全检测方法••◆◇◆■、系统及介质◁•□•▲“•▽=○●,公开号 CN2△=.4•◁…,申请日期为 2024 年 6 月▪■。
尤指一种基于逆流反馈变异的智能合约安全检测方法K8凯发K8凯发-◁□K8凯发远望谷(上海)申请基于逆流反馈变异的智能、系统及介质○○▷◆,在私有链中插入监控代码以收集执行期间的详细信息☆◆☆-●◁,通过获取智能合约源码并进行静态分析▽•▼●◆☆,接着K8凯发…☆■•!
实现提高智能合约安全检测全面性和效率■▪◁,构建初始交易序列池以及对合约进行编译▲▽。并重复测试过程直到满足预设的停止条件■•◆,
通过动态交易顺序的构建不断生成新的交易序列●▷合约安全检测专利提高智能合约安全检测全面性和效率。并编码封装成完整的合约交易数据序列…◁。通过不断逆流反馈分析与变异生成新的测试用例K8凯发□★◆☆,本发明涉及区块链及其安全技术领域▷••=▽,利用预言机来自动识别潜在的安全漏洞▲•□=★。使用数据生成器生成交易序列的输入数据●…▽■●,降低误差率☆○•。专利摘要显示○•◆●,最终生成详细的测试报告包括测试结果◆▷、漏洞和改进措施◆△▪◆○。