Prepare the demo project

We will analyze a project called demo-caesar, which is a simple cypher C library implemented for the tutorial:

  • demo-caesar contains an undefined behavior to hunt for, and the source code is straightforward to understand

  • It already includes a test, which will be used as entry point for the continuous analysis

As a first step, you should make a copy of this project to your GitHub account.

If you'd like to try with another project instead, first ensure the project is eligible, then feel free to follow the same steps.

Fork the demo project

1. Visit the demo-caesar project page on GitHub and click Fork:

2. Select your GitHub account as fork destination.

You'll be redirected to your demo-caesar fork in your GitHub account.