Reference Manual¶

This section describes exhaustively the features of TrustInSoft Analyzer.

• The Configuration files section gives details about the configuration files format and use.
• The Value Analysis Data Representation section gives details about the representation of the data in the value analysis.
• The Value Analysis Alarms section gives details about the generated alarms.
• The list of all available Built-ins of TrustInSoft Analyzer.
• The list of all available Command line Options of TrustInSoft Analyzer.
• The list of all available Environment Variables of TrustInSoft Analyzer.
• The ACSL++ reference manual.