A place for talking about the Ethereum Virtual Machine on Farcaster.

Came across https://github.com/cdump/evmole today, another tool that extracts function info from bytecode.

It has some benchmarks showing its false neg/pos rate as better than whatsabi/heimdall, so I think @shazow.eth and @becker might be interested :) 

(I have not validated or confirmed the benchmarks)

A doodler and computerer. I like permissive/permissionless open source, smart contracts, p2p systems, room-scale VR, and NixOS.

shazow.net

Currently: WhatsABI

software engineer @ coinbase. 

prev @ shadow, chainalysis, transpose. 

lover of otters, open-source software, and decentralization

Security at Optimism. Formerly built Umbra and more at ScopeLift

I saw that! Looks cool, it's on my list to dig into the results closer. It definitely does more EVM emulating than I'm doing on my end (been on my list for a while). Mixed feels about the benchmarks but I don't have something better yet, so I'm grateful for anything!

Ah interesting: "Executes code with a custom EVM and traces CALLDATA usage"

Any chance you have tldr on the evmole vs. whatsabi approaches to extracting selectors?

A bit of discussion here: https://twitter.com/cdump/status/1731053430829944905

It's closer to what https://github.com/acuarica/evm is doing, but it's tricky to avoid the halting problem as scope increases.

That said, in some cases the jump frames are not trivially detected, so I need to add abstract stack tracing to detect jump paths that are laundered through the stack. :P Should be a few weeks of work, but I've been dreading it lol.

With whatsabi, philosophically I wanted to avoid emulating EVM in general, but rather try to annotate what jump frames are doing in a single pass and then extract metadata using heuristics from that (so roughly O(size of program)).