TrustInSoft
Publié le 21-08-2024 par Francois Gauthier
Améliorer la sécurité et la fiabilité des logiciels écrits en langages C et C++ grâce à une analyse complète fondée sur des solutions de vérification formelles. Tel est l’objectif affiché par la société...
Publié le 12-04-2024 par Francois Gauthier
[EMBEDDED WORLD] Le français TrustInSoft, un spécialiste de l’analyse statique de code écrit en C/C++, a montré lors du salon Embedded Word comment, grâce à une évolution de la gestion des métriques de...
Publié le 12-12-2023 par Francois Gauthier
Le français TrustInSoft, spécialiste de l'analyse du code source C/C++, annonce l’intégration dans son outil TrustInSoft Analyzer du mappage mémoire d’un code sur une cible embarquée, dont la connaissance est, selon la société,...
Publié le 16-01-2023 par Francois Gauthier
Spécialiste de l'analyse statique exhaustive du code source des logiciels écrits en C/C++, la société française TrustInSoft, qui était jusque-là concentrée sur les marchés des télécommunications, de l’Internet...
Publié le 04-11-2019 par Francois Gauthier
Après avoir bouclé une première levée de fonds de 1,2 million d’euros en 2017, la société française TrustInSoft, spécialisée dans les technologies de sécurité des logiciels embarqués, annonce un nouveau tour...
Publié le 13-03-2017 par Francois Gauthier
La jeune société française TrustInSoft, un spécialiste de la sécurité des logiciels embarqués, annonce la levée de 1,2 million d’euros auprès du fonds d’investissement européen Idinvest Partners. Créé en...
Publié le 15-06-2015 par Francois Gauthier
La jeune société française TrustInSoft, spécialiste de l’analyse statique de code source, figure parmi les dix finalistes du concours intitulé "Most Innovative Company" de la RSA Conference 2015 à San Francisco. Une première...
Publié le 04-04-2014 par Francois Gauthier
La jeune société française TrustInSoft, qui propose des outils de test et d’analyse statique de code basés sur la technologie Frama-C issue du CEA-List et de l’Inria, est la seule à avoir passé avec succès une partie des tests...
Réservé aux abonnés
Publié le 04-07-2013 par Francois Gauthier
Créé le 2 mai 2013, TrustInSoft ouvre aux développeurs de code C, C++ et Java la possibilité de mettre en oeuvre de puissantes méthodes d'analyse statique pour détecter des erreurs complexes à trouver par des approches de test classiques. Le...
Réservé aux abonnés
-fr.jpg)
.jpg)
Présentation
TrustInSoft donne aux développeurs de code C, C++ et Java la possibilité de mettre en oeuvre de puissantes méthodes d'analyse statique pour détecter des erreurs complexes à dénicher par des approches de test classiques. Son produit phare, le TrustInSoft Analyzer, est un framework facile d'accés, basé sur l'outil Frama-C issu des technologies du CEA.
Fiche Entreprise
Date de création : 2013
Nationalité : France
Dirigeants : Fabrice Derepas (CEO), Benjamin Monate (directeur technique), Pascal Cuoq (directeur scientifique)