Overview
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.
Last modified 2yr ago