Hey, I just added Control Flow Graph (CFG) support to my evmole tool and included benchmarks for several open-source tools I found:
CFG Benchmark Results

While SEVM performs very well for selectors/mutability (and for decompilation, though it's not benchmarked), it performs poorly in the CFG benchmark. I suspect I might be using it incorrectly.

Could you take a look at this part of the implementation? https://github.com/cdump/evmole/blob/master/benchmark/providers/sevm/main.mjs#L44

The expected output format is a list of edges between basic blocks, where each block is identified by the bytecode offset of its first opcode. Let me know if I'm misusing SEVM or if there's an alternative way to get accurate CFG results.