Practical Smart Contract #security Analysis and Exploitation— Part 1
▻https://hackernoon.com/practical-smart-contract-security-analysis-and-exploitation-part-1-6c2f2
In this series I explain how to use Mythril Classic to find and exploit security bugs in #ethereum smart contracts. The articles will cover basic principles and advanced techniques, such as testing security properties, proving invariants, analyzing multi-contract systems and auto-looting ETH from vulnerable contracts on the Ethereum network.Mythril Classic — also known as the “Swiss army knife of smart contract security” — has lots of bells and whistles, but to use it effectively you need a basic understanding of the analysis techniques used. This article provides an overview of the most important concepts.The first key step we usually recommend to new users is installing Mythril Classic. You should do this also in case you to want follow the examples in this article (if run into trouble (...)