Login / Signup
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts.
Yannis Smaragdakis
Neville Grech
Sifis Lagouvardos
Konstantinos Triantafyllou
Ilias Tsatiris
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
malicious code
abstract interpretation
information extraction
regular expressions
modeling language
java card
database
data mining
learning algorithm
high level
supply chain
test suite