Foundry 不变性模糊测试语料库拼接Splice变异改进纳入单例条目与最终交易【免费下载链接】foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.项目地址: https://gitcode.com/GitHub_Trending/fo/foundry不变性测试invariant testing是 Foundry 中针对合约状态不变量进行长时间模糊测试的核心能力。为了让随机生成的事务序列尽可能贴近真实调用模式Foundry 在覆盖引导coverage-guided模式下会维护一个语料库并通过多种变异策略从既有语料中派生新序列。本篇文章围绕仓库变更记录 include-invariant-splice-ends.md 所记录的forge: patch与foundry-evm-fuzz: patch两项改动展开在拼接splice不变性模糊语料库时将单例条目singleton entries和序列中的最终交易final transactions一并纳入可选中范围。读完本文你将理解 splice 变异在源码中的具体实现、此前的边界缺陷、修复方式、配套测试以及如何通过配置调整该变异的权重。一、背景不变性测试与语料库变异Foundry 的不变性测试在执行过程中会随机生成一系列事务transaction sequence反复作用于被测合约以检验invariant断言是否在任何状态下都成立。为了让探索更高效crates/evm/fuzz/src/sequence.rs 实现了序列生产者sequence producer逻辑当启用了覆盖引导如配置了corpus_dir且语料非空时它不再完全从零生成事务而是从已有语料条目出发做变异。在不变性模式下序列生产者会从语料中随机选出两条条目primary 与 secondary再按权重从以下 7 种变异类型中选择一种见 sequence.rs 与 sequence.rs变异类型含义Splice拼接两条语料序列的片段Repeat重复序列中的某一段Interleave交错合并两条序列Prefix用新生成的事务替换序列前缀Suffix用新生成的事务替换序列后缀Abi变异 ABI 参数保留事务元数据Cmp基于 EVM 比较指令提示变异比较操作数这些变异的相对权重由FuzzCorpusConfig::mutation_weights控制本节变更记录所针对的正是其中的Splice变异。二、Splice 变异两条语料序列的片段拼接splice的核心逻辑位于 SequenceMutator::splice它接收两条事务序列从每条序列中各切取一段闭区间子序列再首尾拼接成一条新序列fn splice( first: [BasicTxDetails], second: [BasicTxDetails], runner: mut TestRunner, ) - VecBasicTxDetails { let rng runner.rng(); let start1 rng.random_range(0..first.len()); let end1 rng.random_range(start1..first.len()); let start2 rng.random_range(0..second.len()); let end2 rng.random_range(start2..second.len()); first[start1..end1].iter().chain(second[start2..end2]).cloned().collect() }可以看到对第一条序列随机选取起点start1范围0..len再在其后选取终点end1范围start1..len对第二条序列同理选取start2与end2最终结果等于first[start1..end1]与second[start2..end2]的拼接即闭区间..end最后一个元素始终被包含。splice 在不变性序列生产者start_invariant中被调用选中MutationType::Splice时以第一条语料条目作为变异来源索引见 sequence.rsMutationType::Splice { (SequenceMutator::splice(primary.transactions, secondary.transactions, runner), a) }三、本次修复单例条目与最终交易不再被遗漏变更记录 include-invariant-splice-ends.md 描述的核心改动为Include singleton entries and final transactions when splicing invariant fuzz corpora. 拼接不变性模糊语料库时纳入单例条目与最终交易。它分别修复了 splice 变异的两个边界缺陷单例条目singleton entries语料中某些条目可能只包含一条事务。此前若起点选取逻辑无法覆盖长度为 1 的序列这类条目会在拼接时被静默跳过导致它们携带的覆盖信息覆盖引导下这些条目之所以被保留正是因为它们触发了新代码路径长期得不到复用。修复后的实现中start1 random_range(0..1)恒等于 0end1 random_range(0..1)也恒等于 0切片first[0..0]能够完整保留该单条事务因此单例条目可以正常参与拼接。最终交易final transactions事务序列中位于末尾的交易往往对应着合约状态发生关键转变的时刻是触发不变量违例的高价值输入。此前若终点选取使用开区间不含末尾元素序列的最后一笔交易永远不会被拼接选中相关覆盖路径便无法通过 splice 传播到新序列。修复后的end1与end2取值上限为len配合闭区间切片..end1/..end2保证了末尾元素必然可被选中。需要说明的是该判定基于当前 sequence.rs 中 splice 的实际实现与配套测试推断——当前代码形态正是修复完成后的结果而补丁本身的意图由 changelog 条目明确给出。四、配套测试如何验证修复本次修复在 sequence.rs 的单元测试模块中新增了两项针对性测试直接呼应 changelog 描述的两类场景1. 单例条目保留测试splice_retains_singleton_entries#[test] fn splice_retains_singleton_entries() { let mut runner TestRunner::deterministic(); let result SequenceMutator::splice([tx(1)], [tx(2)], mut runner); assert_eq!( result.iter().map(|tx| tx.sender).collect::Vec_(), [tx(1).sender, tx(2).sender] ); }两条仅含单笔事务的语料条目参与拼接后结果仍完整保留了两笔事务发送者分别为 1 与 2证明单例条目没有被丢弃。2. 最终交易可选中测试splice_can_select_final_transactions#[test] fn splice_can_select_final_transactions() { let first [tx(1), tx(2)]; let second [tx(3), tx(4)]; let mut runner TestRunner::deterministic(); let mut selected_first_final false; let mut selected_second_final false; for _ in 0..1000 { let result SequenceMutator::splice(first, second, mut runner); selected_first_final | result.iter().any(|tx| tx.sender first[1].sender); selected_second_final | result.iter().any(|tx| tx.sender second[1].sender); } assert!(selected_first_final, splice never selected the first entrys final transaction); assert!( selected_second_final, splice never selected the second entrys final transaction ); }使用确定性随机源迭代 1000 次断言两条序列各自的末尾交易first[1]与second[1]至少被选中过一次。若 splice 仍存在无法选中末尾元素的缺陷该测试将因断言失败而报错。五、权重配置与调优splice 变异参与竞争的权重定义在 crates/config/src/fuzz.rs 的MutationWeights中/// Weight for splicing two corpus sequences. pub mutation_weight_splice: u32,其默认值为1见 fuzz.rs。若希望更多地依赖语料库拼接来探索新状态组合可以在foundry.toml的[invariant]配置段中调大该权重例如[invariant] corpus_dir cache/fuzz mutation_weight_splice 4有两点约束值得注意所有变异权重的有效值之和不能超过u32::MAX。序列生产者初始化时会执行校验若总和超限将返回错误effective mutation weights sum to ..., which exceeds the maximum supported total ...见 sequence.rs。只有当corpus_dir被配置即启用覆盖引导且语料非空时splice 等语料变异才会被采用否则序列生产者退化为完全随机生成见 sequence.rs。此外与 splice 并列的 repeat、interleave、prefix、suffix 等变异同样可以按需调整权重相关配置项均位于 fuzz.rs可用于为不同合约形态定制模糊测试策略。六、小结修复内容不变性模糊测试的 splice 变异现在能够将单例语料条目与序列末尾交易纳入拼接避免高价值输入被边界逻辑遗漏。实现位置SequenceMutator::splice 使用闭区间切片保证末尾元素可被选中单元素序列可被完整保留。验证方式新增 splice_retains_singleton_entries 与 splice_can_select_final_transactions 两项单元测试覆盖上述两类场景。影响范围涉及forge与foundry-evm-fuzz两个 crate属于补丁级patch行为修正不改变现有配置项语义用户无需调整既有配置即可受益也可以按需通过mutation_weight_splice调整该变异的使用频率。对使用覆盖引导不变性测试的开发者而言这一修复意味着语料库中的每一条记录——哪怕只有一笔交易哪怕其价值集中在序列末尾——都能被 splice 变异充分复用从而提升后续测试的探索质量。【免费下载链接】foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.项目地址: https://gitcode.com/GitHub_Trending/fo/foundry创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考