Tutorial

These set of guides will show you how to start integrating DeepState and its many features for real-world unit testing, while also being able to harness the power of fuzzing and symbolic execution:

Table of Contents

• Setup
• Basic Tutorial
• Writing a Frontend Executor

Setup

For our tutorials, we will be using real-world test cases from deepstate-test-suite:

$ git clone https://github.com/trailofbits/deepstate-test-suite