The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts.

Clara Schneidewind, Markus Scherer, Matteo Maffei

Browse the full ISoLA paper archive.