TrustInSoft Analyzer DocumentationΒΆ

TrustInSoft Analyzer is an award winning static C and C++ source code analyzer that ensures the safety and security of the source code by providing mathematical/formal guarantees over program properties.

TrustInSoft Analyzer takes advantage of state-of-the-art technology to provide different sets of tools to facilitate the analysis of C and C++ programs.

Structure of the Documentation

  • The Tutorials section helps the user to get started with TrustInSoft Analyzer
  • The User Manual section provides methodologies to use TrustInSoft Analyzer
  • The Reference Manual section details exhaustively the features of TrustInSoft Analyzer
  • The Coding Standards section details the usage of TrustInSoft Analyzer with standard requirements
  • The Glossary section gives the definitions about the terms used in this documentation
  • The Useful Links section references external links related to TrustInSoft Analyzer

Get Started

Start with the Tutorials to learn how to use TrustInSoft Analyzer, browse the source code and the alarms in the GUI to eventually have the guarantee of the absence of Undefined Behavior.

TrustInSoft Analyzer: non-technical overview

Watch this short video for non-technical users who are interested in learning more about TrustInSoft Analyzer.