Stack Analyzer
Herramienta de análisis estático de código binario:
Detección de errores debidos a "Stack Overflow"
Nueve razones para 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.
1.
Realiza el análisis estático sobre el código binario (ejecutable).
2.
Soporta múltiples compiladores cruzados de distintos fabricantes y lenguajes de programación (C, C++, Ada).
3.
Proporciona una información detallada de uso de stack de usuario y de sistema a nivel de tarea.
4.
Permite seleccionar el punto de entrada del análisis.
5.
Realiza una reconstrucción del flujo de control directamente desde el código binario.
6.
Proporciona información a nivel de código ensamblador y código fuente.
7.
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).
8.
Tiene integraciones con Jenkins, Eclipse y TargetLink (dSpace).
9.
Tiene un Paquete de Certificación para DO-178, ISO 26262, EN-50128 y FDA.
