Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. - Vincenzo Arceri; Saverio Mattia Merenda; Greta Dolcetti; Luca Negrini 001; Luca Olivieri; Enea Zaffanella (FTfJP@ECOOP, 2024)