rea-reverse

blockchain · 3

Blockchain

Inspect EVM selectors and proxy contracts, compare bytecode and ABI evidence, and use REA for deeper offline smart-contract analysis. Guides check selectors, proxy behavior and verification mismatches. The REA example starts from a contract you compile with solc so inferred arguments can be checked against compiler output; inference does not recover names or source.