Comment on page
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!