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:
Set up the continuous analysis of a project
Find the root cause of undefined behaviors using TrustInSoft CI Analyzer
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!