TrustInSoft Analyzer is a static analysis tool for C, C++ and Rust code. It uses abstract interpretation, and the vendor describes its analysis as exhaustive and sound. Projects are managed through a graphical interface. TrustInSoft also offers formal verification services and Rust code analysis services. The vendor presents its approach in contrast to traditional static analysis.
TrustInSoft is a French company, and its legal notice gives Paris as its registered location. The website also lists an office in San Francisco, which does not change the French seat. The legal notice refers to a parent company without naming it, so the owner is not named on the vendor's own pages. As a company established in France, TrustInSoft falls under EU law. The website does not say where customer data or analysed code is hosted, or whether the analyzer is installed on the customer's systems or delivered as a service, so a European organisation should confirm these points before purchase.