Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum. - Heidelinde Rameder; Monika Di Angelo; Gernot Salzer (Frontiers Blockchain, 2022)