TrustInSoft Analyzer is een tool voor statische analyse van C-, C++- en Rust-code. Het gebruikt abstracte interpretatie, en de leverancier beschrijft de analyse als uitputtend en sound. Projecten beheert u via een grafische interface. TrustInSoft biedt daarnaast diensten voor formele verificatie en voor de analyse van Rust-code. De leverancier zet zijn aanpak af tegen traditionele statische analyse.
TrustInSoft is een Franse onderneming, en de wettelijke vermeldingen geven Parijs als vestigingsplaats. De website noemt ook een kantoor in San Francisco, maar dat verandert de Franse vestiging niet. De wettelijke vermeldingen verwijzen naar een moedermaatschappij zonder die te noemen, dus de eigenaar wordt op de eigen pagina's van de leverancier niet genoemd. Als in Frankrijk gevestigde onderneming valt TrustInSoft onder EU-recht. De website zegt niet waar klantgegevens of geanalyseerde code worden opgeslagen, en ook niet of de analyzer bij de klant wordt geïnstalleerd of als dienst wordt geleverd. Bevestig dit voor aankoop.