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