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

Home

Jump to bottom

Disconnect3d edited this page Aug 13, 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 using Echidna and Manticore to find vulnerabilities in those contracts.
Learning Objectives:
- Learn the capabilities and limitations of Echidna and Manticore
- Automatically discover bugs in smart contracts
Prerequisites: Familiarity with Solidity and some experience writing Ethereum smart contracts.

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.