TrustInSoft Analyzer est un outil d'analyse statique pour le code C, C++ et Rust. Il repose sur l'interprétation abstraite, et l'éditeur décrit son analyse comme exhaustive et saine. Les projets se gèrent via une interface graphique. TrustInSoft propose aussi des services de vérification formelle et d'analyse de code Rust. L'éditeur présente son approche en opposition à l'analyse statique traditionnelle.
TrustInSoft est une société française, et ses mentions légales indiquent Paris comme siège. Le site mentionne aussi un bureau à San Francisco, qui ne modifie pas le siège français. Les mentions légales évoquent une société mère sans la nommer, si bien que l'actionnariat n'est pas indiqué sur les pages de l'éditeur. En tant que société établie en France, TrustInSoft relève du droit de l'UE. Le site ne précise ni où sont hébergées les données clients ou le code analysé, ni si l'analyseur est installé chez le client ou fourni en service ; ces points sont à confirmer avant achat.