ShubhamTatvamasi/smashing-smart-contracts

HITBSecConf 2018 Smashing Ethereum Smart Contracts

Smashing Ethereum Smart Contracts for Fun and Real Profit

A writeup about Mythril, a security analysis tool for Ethereum smart contracts, and its symbolic execution backend LASER-Ethereum.

Contracts

• symvars.sol
• assertions.sol
• uitwerpselentoken.sol
• rubixi.sol
• WalletLibrary.sol
• reentrance.sol

CFGs

• SymVars
• Assertions
• UitwerpselenToken
• CTF

ASCII Paintings

• Ethereum diamond
• PushToZero brand logo
• I accidentally killed it