This repository was archived by the owner on Feb 14, 2025. It is now read-only.

Home

Jump to bottom

Evan edited this page Jul 16, 2018 · 11 revisions

Main Page

Overview

Course Title: Programmatic Smart Contract Analysis
Description: This 1-day course teaches developers how to programmatically analyze smart contracts through the use of the tools Manticore and echidna in order to find vulnerabilities in those contracts.
Learning Objectives:
- Learn the capabilities and limitations of Manticore and Echidna
- Automatically discover bugs in smart contracts
Prerequisites: Familiarity with solidity and some experience writing smart contracts.
Instructor: < FirstName LastName >
Dates: < Date goes here >

Manticore

Manticore is a symbolic execution engine that leverages z3 and the solidity compiler to extract truth from smart contracts. Get started.

Echidna

Echidna is a smart fuzzer written in Haskell. Get started.