Getting StartedΒΆ

The following examples show how to use TrustInSoft Analyzer on test snippets to eventually guarantee the absence of undefined behavior for the input values of the test.


When used to verify tests, TrustInSoft Analyzer can be used with the option --interpreter so that no other special tuning is required.

This allows the analyzer to remain precise, and thus, each alarm is a true bug that needs to be fixed.