Yichuan Li

ReFun: Reconstructing Function Boundaries in EVM Bytecode

Recovering the structure of a Solidity smart contract from its deployed bytecode is a prerequisite for various downstream analyses, such as control-flow graph construction, decompilation, and clone detection. A central step in this task is identifying private functions. However,...