Ethainter: a smart contract security analyzer for composite vulnerabilities
Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard J. Scholz, Yannis Smaragdakis · 2020
Smart contracts on permissionless blockchains are exposed to inherent security risks due to interactions with untrusted entities. Static analyzers are essential for identifying security risks and avoiding millions of dollars worth of damage.