Overview

This documentation assists C and C++ developers in getting started with TrustInSoft CI.

TrustInSoft CI is an online source code analyzer that continuously detects undefined behaviors in C and C++ programs (crash, arbitrary code execution, ...).

Because it relies on the latest formal methods, TrustInSoft CI can detect the most subtle undefined behaviors, even when applied to well-tested code that has never revealed any problem. TrustInSoft CI also comes with a powerful debugging interface that helps developers easily find the root cause of undefined behaviors.