paradigmxyz/revmc - CodSpeed

revmc

Blog Docs Changelog

Performance History

Latest Results

refactor: move bytecode analysis passes into passes/ submodule (#220) Extract constant folding into its own `const_fold` module and move all analysis passes (`block_analysis`, `const_fold`, `dedup`, `sections`) under `bytecode/passes/`. This keeps the bytecode module focused on types and core logic while grouping all analysis/optimization passes together.

main

21 minutes ago

dani/refactor-bytecode-passes

25 minutes ago

refactor: replace super::super chains with crate:: paths

dani/refactor-bytecode-passes

27 minutes ago

refactor: move bytecode analysis passes into passes/ submodule Extract constant folding into its own const_fold module and move all analysis passes (block_analysis, const_fold, dedup, sections) under bytecode/passes/.

dani/refactor-bytecode-passes

29 minutes ago

feat: add context-sensitive cfg discovery Add bounded call-string contexts to block analysis so nested private-call returns can be resolved without collapsing all callers into one block state. Keep operand snapshots merged across contexts, preserve the existing EntrySlot-based stack provenance, and tighten snapshot recording so underflowing paths bail out before corrupting merged state. Verified with cargo cl -p revmc --tests, cargo nextest run -p revmc nested_call_return, and scripts/jump-resolution.sh weth usdc_proxy erc20_transfer. On those benchmark spot checks, weth resolves 11/11 dynamic jumps, usdc_proxy resolves 7/14, and erc20_transfer resolves 3/18.

dani/context-sensitive-cfg-discovery

39 minutes ago

chore: add some more utils

main

3 hours ago

refactor: block analysis improvements (#217) - Replace BlockState::Conflict with stack clamping (MAX_ABS_STACK_DEPTH=64) - Store AbsValue in snapshots instead of Option<U256Idx> - Store snapshots in stack order (TOS last) - Extract invalidate_suspect_jumps into its own method - Use Either iterator in discover_jump_edges - Hoist stack_io call in interpret_block - Remove Option wrapper from interpret_block snapshots param - Reduce allocations in fixpoint loop (reusable stack buffer) - Add output snapshots (const_output) - Fix ConstSet mixed valid+invalid resolution returning Top - Add edge case tests and unsoundness documentation

main

4 hours ago

refactor: block analysis improvements - Replace BlockState::Conflict with stack clamping (MAX_ABS_STACK_DEPTH=64) - Store AbsValue in snapshots instead of Option<U256Idx> - Store snapshots in stack order (TOS last) - Extract invalidate_suspect_jumps into its own method - Use Either iterator in discover_jump_edges - Hoist stack_io call in interpret_block - Remove Option wrapper from interpret_block snapshots param - Reduce allocations in fixpoint loop (reusable stack buffer) - Add output snapshots (const_output) - Fix ConstSet mixed valid+invalid resolution returning Top - Add edge case tests and unsoundness documentation

dani/block-analysis-refactors

4 hours ago

Latest Branches

0%

refactor: move bytecode analysis passes into passes/ submodule#220

32 minutes ago

7b5d186

dani/refactor-bytecode-passes

-99%

feat: add context-sensitive CFG discovery#219

50 minutes ago

5ff124c

dani/context-sensitive-cfg-discovery

0%

refactor: block analysis improvements#217

4 hours ago

67e29c9

dani/block-analysis-refactors

© 2026 CodSpeed Technology

Home Terms Privacy Docs