User Manual

This section describes how to use TrustInSoft tools.

  • The TrustInSoft Analyzer Manual explains how to analyze an application.
  • The TrustInSoft Analyzer GUI Manual explains how to use the GUI to explore the results.
  • The tis-aggregate Manual explains how to extract information about multiple analyses (such as coverage).
  • The tis-info Manual explains how to extract many information about the analyzed source code (functions, statements, types…).
  • The tis-mk-main Manual explains how to generate a main function to be used as an entry point of the analysis when the original main function uses command line arguments.
  • The tis-mkfs Manual explains how to deal with functions that interact with the file system.
  • The tis-modifications Manual presents a tool that helps to track the source code modifications made on an application under analysis.