Towards a Sound Construction of EVM Bytecode Control-Flow Graphs

Open Webpage

Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella

Published: 2024, Last Modified: 26 Jan 2026FTfJP@ECOOP 2024EveryoneRevisionsBibTeXCC BY-SA 4.0