Skip to content

Latest commit

 

History

History
 
 

Using Manticore and Symbolic Execution to Find Smart Contracts Bugs - Devcon 4

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
examples
examples
 
 
exercises
exercises
 
 
README.md
README.md
 
 
exercises.pdf
exercises.pdf
 
 
manticore_api.pdf
manticore_api.pdf
 
 
presentation.pdf
presentation.pdf
 
 

README.md

Using Manticore and Symbolic Execution to Find Smart Contracts Bugs - Devcon IV

Prerequisites

  1. Download these exercises: git clone https://github.com/trailofbits/publications
  2. Go to the workshop directory: cd "publications/workshops/Using Manticore and Symbolic Execution to Find Smart Contracts Bugs - Devcon 4"
  3. Install Manticore: pip3 install manticore --user or docker pull trailofbits/manticore

Manticore 0.2.2 is recommended.

Course content

This is a 2 hour workshop on our symbolic analysis toolkit, Manticore at Devcon 2018. The event serves as a basic introduction to analyze smart contracts using Manticore.

  • exercises.pdf: Exercise descriptions
  • manticore_api.pdf: Basic introduction to the Manticore API
  • presentation.pdf: Slides introducing Manticore and the exercises

Presented at

Authored by

  • Josselin Feist

Consider joining a community of Ethereum security engineers and the developers of Slither, Echidna, and Manticore in the Empire Hacking Slack. We host an open office hours for Ethereum security every other week and coordinate it through this Slack, in addition to announcements on Twitter @trailofbits. Please see our release announcement on our blog for more details: Ethereum security guidance for all.