Astrée
🇩🇪 DE
Analizador estático correcto (sound) para código C/C++ embebido crítico para la seguridad
Sustituye a
Astrée se busca como alternativa europea a:
Funciones
Análisis estático y verificación formal
- Demuestra la ausencia de errores de ejecución (RTE) y de comportamientos concurrentes no válidos en código C, C++ y mixto
- Detecta condiciones de carrera, vulnerabilidades Spectre y código muerto
- Realiza análisis avanzados de contaminación (taint), flujo de señales, flujo de datos y flujo de control
- Analiza el acoplamiento de control y la interferencia entre componentes
Comprobación de reglas y métricas de código
- Verifica el cumplimiento de MISRA (C/C++), SEI CERT, JSF, CWE, AUTOSAR e ISO/IEC TS 17961
- Admite conjuntos de reglas personalizables
- Calcula y controla umbrales de métricas de código (p. ej., densidad de comentarios, complejidad ciclomática)
Seguridad funcional, ciberseguridad y apoyo a la certificación
- Identifica riesgos funcionales y no funcionales según ISO 26262, DO-178C/DO-330, IEC 61508 y EN 50128
- Admite análisis de ciberseguridad definidos por el usuario para DO-356A e ISO 21434
- Ofrece Qualification Support Kits (QSK) para la cualificación automatizada de la herramienta
Revisión, colaboración e informes
- Interfaz gráfica con vistas gráficas y textuales interconectadas de resultados, código fuente y flujo de control
- Revisiones colaborativas y anotaciones de usuario
- Análisis delta entre revisiones del código
- Generación automática de informes (p. ej., XML)
Automatización y operación empresarial
- Modo de línea de comandos o por lotes para automatizar la compilación
- Comunicación cifrada con TLS
- Autenticación mediante OpenID y OAuth2
Prueba y soporte
- Prueba gratuita de 30 días con todas las funciones comerciales
- Incluye RuleChecker para Windows, Linux y macOS
- Formación online interactiva y gratuita por WebEx
- 180 días de soporte técnico y actualizaciones gratuitos con las licencias comerciales
Precios
Precio personalizado mediante presupuesto; hay una prueba gratuita de 30 días.
Perfil de confianza UE
Lo que hemos verificado en fuentes públicas, última comprobación el 16/09/2026. Cada punto enlaza a su prueba.
Solo listamos lo que pudimos verificar en una fuente pública en la fecha de la comprobación. Que falte un punto significa que no se ha establecido en ningún sentido; no es un hallazgo en contra del proveedor. Prevalece la información del propio proveedor.
¿Trabajas en Astrée?
Este sello es gratuito para todos los proveedores que listamos y no influye en el orden de ninguna lista. Se concede sobre la base de una sede central europea verificada (DE) y de los puntos de cumplimiento que hemos comprobado en fuentes públicas. La fecha que figura en él es la de nuestra última comprobación.
Código para insertar
<a href="https://tech-from-europe.eu/product/astree"><img src="https://tech-from-europe.eu/badge/astree.svg" alt="Astrée — verified European company on tech-from-europe.eu" height="164"></a>HTML simple: un SVG servido desde nuestro dominio, sin JavaScript, sin cookies y sin rastrear a tus visitantes. Añade ?style=card para la variante ancha, o cambia .svg por .png si tu CMS no acepta SVG. Poner el enlace como nofollow es decisión tuya: no lo comprobamos.
Si reclamas el perfil con un correo de empresa, recibes el gráfico en PNG, 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 estático matemáticamente correcto, sin falsos negativos en errores de ejecución
- Comprobaciones automáticas de cumplimiento de MISRA C/C++, CWE, ISO 26262 y DO-178C
- Análisis por lotes rápido e integración en pipelines de CI/CD
- Buena documentación técnica y kits de apoyo a la cualificación
- Interfaz intuitiva 100 % web que permite moverse por la planta de producción
- Seguimiento del OEE/TRS en tiempo real y órdenes de trabajo sin papel
- Implantación modular para digitalizar la fábrica de forma gradual
- Alta tasa de recomendación del soporte del proveedor
Dónde ven margen de mejora los usuarios
- · Curva de aprendizaje pronunciada para configurar la verificación formal
- · Mucho tiempo inicial para las anotaciones y la revisión de falsas alarmas
- · Hace falta integración a medida con maquinaria antigua y para una sincronización profunda con el ERP
Integraciones
Preguntas frecuentes sobre Astrée
- ¿Con qué herramientas se integra Astrée?
- Astrée se integra, entre otras, con Visual Studio Code, Eclipse (LSP4E), KEIL μVision / KEIL Studio, dSPACE TargetLink, New Eagle Raptor, Jenkins, GitLab CI/CD y CMake.
Los datos sobre funciones, precios e integraciones se basan en una investigación en la web (a fecha de 16/09/2026), sin garantía; puede haber errores. Prevalece la web del proveedor.