1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2021★ 1 cited
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode
Filippo Contro, Marco Crosara, Mariano Ceccato +1
Motivated by the immutable nature of Ethereum smart contracts and of their transactions, quite many approaches have been proposed to detect defects and security problems before sma…
cs.PL2017
SEA: String Executability Analysis by Abstract Interpretation
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi +1
Dynamic languages often employ reflection primitives to turn dynamically generated text into executable code at run-time. These features make standard static analysis extremely har…