LogoLogo
Open TrustInSoft CI
  • Overview
  • Introduction tutorial
    • Prepare the demo project
    • Set up the continuous analysis
    • Find the root cause of the undefined behavior
    • Prove the absence of undefined behaviors
    • Go beyond your test suite
  • C++ tutorial
    • Prerequisites
    • Identifiers, constructors and calling conventions
    • Learn more
  • Configuration files
    • Build preparation stage
    • Analyses configuration
    • Tips: Switching from a Global configuration to a Committed configuration
    • Tips: Generalize analyses for several architectures
    • Tips: Factorize options between several analyses
  • Get help
  • Changelog
  • Glossary
  • FAQ
  • REFERENCE
    • Supported architectures
    • Add a status badge
    • GitHub organizations
    • CWE coverage
Powered by GitBook
On this page

Introduction tutorial

Estimated time to complete: 40 minutes

PreviousOverviewNextPrepare the demo project

Last updated 5 years ago

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 .

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!

formal methods