Search…
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. 1.
    Set up the continuous analysis of a project
  2. 2.
    Find the root cause of undefined behaviors using TrustInSoft CI Analyzer
  3. 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!
Last modified 1yr ago
Copy link