LogoLogo
Open TrustInSoft CI
  • Overview
  • Introduction tutorial
    • Prepare the demo project
    • Set up the continuous analysis
    • Find the root cause of the undefined behavior
    • Prove the absence of undefined behaviors
    • Go beyond your test suite
  • C++ tutorial
    • Prerequisites
    • Identifiers, constructors and calling conventions
    • Learn more
  • Configuration files
    • Build preparation stage
    • Analyses configuration
    • Tips: Switching from a Global configuration to a Committed configuration
    • Tips: Generalize analyses for several architectures
    • Tips: Factorize options between several analyses
  • Get help
  • Changelog
  • Glossary
  • FAQ
  • REFERENCE
    • Supported architectures
    • Add a status badge
    • GitHub organizations
    • CWE coverage
Powered by GitBook
On this page
  1. Introduction tutorial

Prepare the demo project

PreviousIntroduction tutorialNextSet up the continuous analysis

Last updated 3 years ago

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

  • 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, , then feel free to follow the same steps.

Fork the demo project

1. Visit the 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.

demo-caesar
demo-caesar
demo-caesar project page
first ensure the project is eligible