TrustInSoft

TrustInSoft applique les méthodes formelles et l'interprétation abstraite à l'analyse de code source pour détecter erreurs mémoire, défauts d'exécution et failles de sécurité. Son produit TrustInSoft Analyzer cible le C, le C++ et Rust, complété par des services de vérification formelle et d'analyse de code Rust. Fondée en 2013 par d'anciens chercheurs du CEA, la société a ses bureaux à Paris et compte parmi ses clients Dassault Aviation, Mitsubishi et l'IRSN.

Fiche établie d'après le Cyber Panorama CESIN / Hexatrust (édition du 2026-10-05).