tech from europe
Automoción y plataformas de chasis digital

TrustInSoft Analyzer

🇫🇷 FR

Análisis formal de código para C/C++ y Rust con cualificación ISO 26262 hasta ASIL D

ISO 26262 (TÜV SÜD qualified, up to ASIL D)
Ir a la web →Comparar
TrustInSoft Analyzer utiliza métodos formales para verificar de manera exhaustiva código en C, C++ y pronto Rust, detectando errores en tiempo de ejecución y vulnerabilidades con garantías matemáticas. Incluye un investigador de causa raíz para rastrear rutas de ejecución y en 2026 incorporará generación de controladores de prueba asistida por IA. La herramienta está cualificada por TÜV SÜD para ISO 26262 hasta ASIL D, dirigida a sistemas críticos de seguridad en automoción y embebidos. Los precios se basan en suscripción y están disponibles bajo solicitud.

Funciones

Análisis estático y verificación formal

  • Análisis fiable sin falsos negativos para código C/C++/Rust
  • Detecta errores en tiempo de ejecución, problemas de seguridad de memoria y comportamientos indefinidos
  • Análisis exhaustivo del código mediante métodos formales

Configuración y pruebas asistidas por IA

  • Genera controladores y stubs de prueba sensibles al contexto
  • Crea mapeos de memoria para una configuración más rápida
  • Configuración guiada y detección de rutas de pánico

Análisis consciente del hardware

  • Emulación consciente del objetivo para condiciones específicas del hardware
  • Modela el entorno de hardware previsto para una evaluación precisa

Cobertura y cumplimiento normativo

  • Análisis de cobertura MC/DC basado en métodos formales
  • Soporta MISRA C, CERT C, ISO 26262, DO-178C, AUTOSAR
  • Asiste en la verificación de U.S. Cyber TrustMark

Diagnósticos y flujo de trabajo

  • Diagnósticos trazables con vista de rayos X de la ejecución del programa
  • Modo CLI/sin interfaz para integración CI/CD
  • Informes y flujos de trabajo de Rust en la interfaz gráfica

Precios

Precios bajo solicitud. Es posible que se ofrezcan demostraciones y pruebas.

¿Trabajas en TrustInSoft Analyzer?

Todavía no hemos podido verificar en una fuente pública ni un solo punto de confianza de tu empresa, así que no hay sello que emitir: lleva una fecha de comprobación y no imprimimos uno que no hayamos verificado. Indícanos una página pública (un contrato de encargado del tratamiento, un trust center, un certificado, tu aviso legal) y volveremos a comprobarlo; el sello llega automáticamente.

Si reclamas el perfil con un correo de empresa, recibes un formulario para corregir cualquier error nuestro y un aviso cada vez que volvamos a revisar tu perfil.

Reclamar este perfil →

¿Algo no es correcto en esta página? Escribe a hello@tech-from-europe.eu con un enlace público y lo volveremos a comprobar.

Opiniones

Temas recurrentes, resumidos a partir de opiniones públicas en distintas plataformas.

Lo que valoran los usuarios

  • Análisis matemático para detección de defectos con alta confianza
  • Eficaz para descubrir comportamientos indefinidos sutiles
  • Complementa bien las suites de pruebas existentes
  • Soporte al cliente rápido

Dónde ven margen de mejora los usuarios

  • · Tiempos de análisis largos sin estimaciones claras
  • · Curva de aprendizaje pronunciada para funciones avanzadas

Integraciones

GitHub ActionsGitLabJenkins

Preguntas frecuentes sobre TrustInSoft Analyzer

¿Con qué herramientas se integra TrustInSoft Analyzer?
TrustInSoft Analyzer se integra, entre otras, con GitHub Actions, GitLab y Jenkins.

Los datos sobre funciones, precios e integraciones se basan en una investigación en la web (a fecha de 07/10/2026), sin garantía; puede haber errores. Prevalece la web del proveedor.