Herramientas de Análisis Estático de Código Binario

Detección de errores debidos a “Stack Overflow”

¿Por qué elegir StackAnalyzer?

Stack Analyzer, basada en métodos formales, permite probar la ausencia de errores en tiempo de ejecución de tipo “stack overflow”

A día de hoy, es posiblemente la única herramienta que puede dar esta garantía.

•

Realiza el análisis estático sobre el código binario (ejecutable)

•

Soporta múltiples compiladores cruzados de distintos fabricantes y lenguajes de programación (C, C++, Ada)

•

Proporciona una información detallada de uso de stack de usuario y de sistema a nivel de tarea

•

Permite seleccionar el punto de entrada del análisis

•

Realiza una reconstrucción del flujo de control directamente desde el código binario

•

Proporciona información a nivel de código ensamblador y código fuente

•

Mediante el módulo opcional, Value Analyzer, permite realizar el análisis de control de flujo y de control de datos (análisis de registros y zonas de memoria, control de acceso a variables y funciones)

•

Tiene integraciones con Jenkins, Eclipse y TargetLink (dSpace)

•

Tiene un Paquete de Certificación para DO-178, ISO 26262, EN-50128 y FDA