Smashing Smart Contracts for Fun and Real Profit
▻https://hackernoon.com/hitb2018ams-smashing-smart-contracts-for-fun-and-real-profit-720f5e3ac77
During my first year in university, I discovered Phrack magazine and the 1,746 infamous lines of ASCII text titled “Smashing the Stack for Fun and Profit” . Exploring distributed ledgers and the #ethereum world computer reminded me of those early days. The Ethereum blockchain supports smart contracts, quasi-Turing-complete programs that run in a stack-based virtual machine. And because we haven’t learned much since 1996, most of these contracts are developed in a programming language that allows the introduction of a variety of bugs.This pop-scientific conference paper introduces Mythril, a #security analysis tool for Ethereum smart contracts, and its symbolic execution backend LASER-Ethereum. The first part of the paper explains symbolic execution of Ethereum bytecode in a largely formal (...)