Sign in
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode.
Michele Pasqua
Andrea Benini
Filippo Contro
Marco Crosara
Mila Dalla Preda
Mariano Ceccato
Published in:
J. Syst. Softw. (2023)
Keyphrases
</>
static analysis
java card
source code
flow graph
dynamic analysis
flow graphs
smart card
symbolic execution
random walk
supply chain
information systems
malicious code
information flow
test suite
high level
abstract interpretation
data mining
regular expressions
pattern matching
shortest path
training set
case study