tech from europe
Automobile et plateformes de châssis numérique

TrustInSoft Analyzer

🇫🇷 FR

Analyse formelle de code pour C/C++ et Rust avec qualification ISO 26262 jusqu’à ASIL D

ISO 26262 (TÜV SÜD qualified, up to ASIL D)
Visiter le site →Comparer
TrustInSoft Analyzer utilise des méthodes formelles pour vérifier de manière exhaustive le code C, C++ et bientôt Rust, détectant les erreurs d'exécution et les vulnérabilités avec des garanties mathématiques. Il inclut un investigateur de cause racine pour tracer les chemins d'exécution et intégrera en 2026 une génération assistée par IA de pilotes de test. L'outil est qualifié par TÜV SÜD pour l'ISO 26262 jusqu’à ASIL D, ciblant les systèmes critiques pour l'automobile et l'embarqué. Les tarifs sont basés sur abonnement et disponibles sur demande.

Fonctionnalités

Analyse statique et vérification formelle

  • Analyse fiable sans faux négatifs pour le code C/C++/Rust
  • Détecte les erreurs d'exécution, les problèmes de sécurité mémoire et les comportements indéfinis
  • Analyse exhaustive du code à l'aide de méthodes formelles

Configuration et tests assistés par IA

  • Génère des pilotes et stubs de test sensibles au contexte
  • Crée des mappages mémoire pour une configuration plus rapide
  • Configuration guidée et détection des chemins de panique

Analyse consciente du matériel

  • Émulation consciente de la cible pour des conditions spécifiques au matériel
  • Modélise l'environnement matériel prévu pour une évaluation précise

Couverture et conformité

  • Analyse de couverture MC/DC basée sur des méthodes formelles
  • Prend en charge MISRA C, CERT C, ISO 26262, DO-178C, AUTOSAR
  • Aide à la vérification U.S. Cyber TrustMark

Diagnostics et flux de travail

  • Diagnostics traçables avec vue rayons X de l'exécution du programme
  • Mode CLI/sans tête pour l'intégration CI/CD
  • Rapports et flux de travail Rust dans l'interface graphique

Tarifs

Tarifs sur demande. Démonstrations et essais peuvent être proposés.

Vous travaillez chez TrustInSoft Analyzer ?

Nous n'avons encore pu vérifier aucun point de confiance vous concernant auprès d'une source publique : il n'y a donc pas de badge à délivrer — il porte une date de contrôle, et nous n'en imprimons pas une que nous n'avons pas faite. Indiquez-nous une page publique (DPA, trust center, certificat, mentions légales) et nous revérifierons ; le badge suivra automatiquement.

En revendiquant la fiche avec une adresse professionnelle, vous recevez un formulaire de correction et un message à chaque nouvelle vérification.

Revendiquer cette fiche →

Une erreur sur cette page ? Écrivez à hello@tech-from-europe.eu avec un lien public et nous revérifierons.

Avis

Thèmes récurrents, synthétisés à partir d'avis publics sur différents portails.

Ce que les utilisateurs apprécient

  • Analyse mathématique pour une détection de défauts fiable
  • Efficace pour identifier des comportements indéfinis subtils
  • Complète bien les suites de tests existantes
  • Support client réactif

Les points à améliorer selon les utilisateurs

  • · Temps d'analyse longs sans estimations claires
  • · Courbe d'apprentissage abrupte pour les fonctionnalités avancées

Intégrations

GitHub ActionsGitLabJenkins

Questions fréquentes sur TrustInSoft Analyzer

Avec quels outils TrustInSoft Analyzer s'intègre-t-il ?
TrustInSoft Analyzer s'intègre notamment avec GitHub Actions, GitLab et Jenkins.

Les informations sur les fonctionnalités, les tarifs et les intégrations reposent sur des recherches web (au 07/10/2026), sans garantie, des erreurs sont possibles. Le site du fournisseur fait foi.