-
公开(公告)号：CN119829463A
公开(公告)日：2025-04-15
申请号：CN202510086849.3
申请日：2025-01-20
Applicant: 中山大学
IPC: G06F11/3668 , G06F8/75 , G06F21/57
Abstract: 本发明提供了一种多指标反馈驱动的智能合约模糊测试方法和相关装置，通过获取给定智能合约，运用静态分析技术提取其语义信息，以此生成交易序列种子放入种子池。然后从池内取出测试交易序列，在插桩EVM上执行测试并收集多指标执行反馈信息，综合这些信息为测试交易序列计算适应度，筛选出符合设定条件的作为下一代种子，其余丢弃，随后对种子随机变异补足数量，再进行组合得到新种子池。不断循环重复测试步骤直至满足停止条件，完成对智能合约的测试。本发明通过多指标反馈驱动，能更全面精准地生成测试用例，有效覆盖智能合约复杂的代码分支，提升漏洞检测效率，减少因智能合约漏洞导致的经济损失，增强智能合约应用的安全性与可靠性。
Search Results
1
records
(took 0.016 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
