TrustInSoft est le seul éditeur de solutions d’analyses de logiciel qui permet à ses clients d’avoir des garanties sur la sécurité et la fiabilité du code d’un logiciel sans devoir modifier le processus de développement.
TrustInSoft commercialise des outils et services d’analyse de code source permettant d’apporter des garanties fortes sur les logiciels de ses clients. Ses offres sont déployées chez les développeurs et les intégrateurs de composants logiciels issus des industries aéronautiques, ferroviaires, militaires, nucléaires, télécoms et spatiales. TrustInSoft propose une palette d’outils et de services déjà reconnus mondialement :
TrustInSoft Analyzer, un outil d’analyse de code source permettant de garantir mathématiquement la conformité à une spécification, l’absence de défauts et l’immunité de composants logiciels aux cyber-attaques les plus courantes.
TrustInSoft Advanced Software Audit, un service outillé d’audit de logiciel réalisé par les experts de TrustInSoft en lien direct avec le client. Ces audits permettent d’évaluer la sécurité et la fiabilité de composants logiciels existants ou en cours de développement.
TrustInSoft Expertise, un service d’expertise pour accompagner les clients dans le déploiement de TrustInSoft Analyzer ou de Frama-C avec des formations, du conseil méthodologique et de développements d’extensions spécifiques pour TrustInSoft Analyzer.