Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version)

Elvira Albert, Jesús Correas, Pablo Gordillo +2

Efficiency is a fundamental property of any type of program, but it is even more so in the context of the programs executing on the blockchain (known as smart contracts). This is b…