> For the complete documentation index, see [llms.txt](https://docs.ci.trust-in-soft.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.ci.trust-in-soft.com/tutorial.md).

# Introduction tutorial

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](https://en.wikipedia.org/wiki/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!