Platform

Analysis engine

The engine under the workbench. It recovers what a deployed contract can do from its bytecode, then proves each finding by executing it on a pinned fork.

The analysis engine

Program analysis that starts from bytecode, not trust

Under the workbench is an EVM analysis engine built for deployed contracts: it reconstructs what the code can do from the bytecode itself, then proves what it found by executing it.

  • Control-flow, storage-flow, and value-flow graphs recovered from raw bytecode
  • Concolic calldata solving to reach guarded branches the fuzzer can't hit by chance
  • MorphVM deobfuscation — lifts byte-VM dispatchers that hide selectors into readable logic
  • Deterministic replay: every finding is a runnable PoC pinned to a fork block
  • Source and verified ABIs enrich the analysis — they're never required

Source optional.

Source and verified ABIs enrich the analysis. The engine never requires them.

Launch app Fork environments