Prerequisites
Last updated
Last updated
The tutorial is based on the C++ project .
Its source code on GitHub contains 2 source files:
matrix.h
that is a matrix operations library coded in C++
matrix.cpp
that is a simple test over this library
Let's familiarize ourselves with the main
function in matrix.cpp
:
The test implemented in main
performs the following step:
It initializes a 2 x 2 matrix
It verifies if the matrix is invertible
It performs some basic operations on this matrix
It solves a matrix equation
We also launched the analysis in TrustInSoft CI:
There is only one analysis, as one entry point, and no undefined behavior on the tested path:
2. Launch TrustInSoft CI Analyzer by clicking the #1
analysis and then on the Inspect with TrustInSoft CI Analyzer
button.
Next let's dive into C++ identifiers, constructions and calling conventions in TrustInSoft CI Analyzer.
We already configured the project for TrustInSoft CI by adding a file to the repository. In our example, the specifies the source file matrix.cpp
to analyze, the analysis entry point function main
and the preprocessor option -I.
.
1. Load the following URL in your browser to visualize a summary of the analysis results: