TrustInSoft Analyzer ist ein Werkzeug zur statischen Analyse von C-, C++- und Rust-Code. Es nutzt abstrakte Interpretation, und der Anbieter beschreibt seine Analyse als erschöpfend und sound. Projekte verwaltet man über eine grafische Oberfläche. TrustInSoft bietet außerdem Dienstleistungen für formale Verifikation und für die Analyse von Rust-Code an. Der Anbieter setzt seinen Ansatz von klassischer statischer Analyse ab.
TrustInSoft ist ein französisches Unternehmen, und das Impressum nennt Paris als Sitz. Die Website führt außerdem ein Büro in San Francisco auf, was am französischen Sitz nichts ändert. Das Impressum verweist auf eine Muttergesellschaft, ohne sie zu nennen, sodass die Eigentümerstruktur auf den Anbieterseiten nicht genannt wird. Als in Frankreich ansässiges Unternehmen unterliegt TrustInSoft dem EU-Recht. Die Website sagt nicht, wo Kundendaten oder analysierter Code gespeichert werden und ob der Analyzer auf den eigenen Systemen installiert oder als Dienst bereitgestellt wird. Diese Punkte sollte man vor dem Kauf klären.