Precise Static Identification of Ethereum Storage Variables (Extended Version)

Sifis Lagouvardos, Yannis Bollanos, Michael Debono +2

Smart contracts are small programs that run autonomously on the blockchain, using it as their persistent memory. The predominant platform for smart contracts is the Ethereum VM (EV…