Introduction tutorial

Estimated time to complete: 40 minutes

If you are a C or C++ developer, this tutorial is for you as it will help you get started with TrustInSoft CI. TrustInSoft CI is an online source code analyzer for C and C++ that relies on the latest formal methods.

In this tutorial, you will learn how to:

1. Set up the continuous analysis of a project

2. Find the root cause of undefined behaviors using TrustInSoft CI Analyzer

3. Prove the absence of undefined behaviors on the project tests

In its initial version, TrustInSoft CI can only analyze public projects hosted on GitHub, so as a requirement, you should have or be willing to create a GitHub account.

Let's get started!