Detección automática de errores de desbordamiento de pila

StackAnalyzer es una herramienta de análisis estático de código binario. Basada en métodos formales, StackAnalyzer permite probar la ausencia de errores de desbordamiento de pila.

Características

Análisis estático sobre el código binario (ejecutable)
Información detallada de uso de stack de usuario y de sistema a nivel de tarea
Visualización del control de flujo
Análisis muy rápido de software complejo
Integraciones con Jenkins, Eclipse y TargetLink (dSPACE)
Paquetes de Certificación para DO-178B/C, ISO 26262, EN-50128, IEC-61508 y FDA

Nuestros clientes

Procesadores y compiladores soportados

Am486	CAD-UL
ARM	ARM CompCert (INRIA/AbsInt) Diab (Wind River) GCC GHS MULTI (Green Hills) HighTec LLVM IAR KEIL MDK-ARM LLVM/Clang TASKING (Altium) TI (Texas Instruments)
C16x/ST10	KEIL (ARM) TASKING (Altium)
C28x	TI (Texas Instruments)
C33	TI (Texas Instruments)
dsPIC33E	Microchip MPLAB XC16
ERC32	GCC GNAT
FR81S	SOFTUNE (Fujitsu)
HCS12	Hiware/Metrowerks/Freescale Cosmic IAR
i386DX	IBM PL/I
LEON2, LEON3/LEON4	GCC GNAT LLVM/Clang
M68k & ColdFire	Diab (Wind River) GCC HP 68000 Microtec (Siemens) XD Ada
MCS 51	IAR
MCS251	KEIL
MIPS32	GCC
MSP430(x)	IAR
Nios II	GCC
PowerPC	AdaCore CodeWarrior (Freescale/NXP) CompCert (INRIA/AbsInt) Diab (Wind River) GCC GHS (Green Hills) HighTec GCC SCORE (DDC-I)
Renesas RX	IAR
Renesas SuperH	Renesas
RISC-V	GCC GNAT LLVM/Clang
S12Z	CodeWarrior (Freescale)
TriCore & AURIX	Diab (Wind River) GCC GHS (Green Hills) HighTec GCC TASKING (Altium)
V850, RH850	Diab (Wind River) GHS (Green Hills)
x86	CAD-UL CompCert (INRIA/AbsInt) Cygnus (LynuxWorks) GCC iC-86 (Intel) LLVM/Clang PL/I (IBM)

Saber más

Doymus
Pintor Murillo 74
28100 Alcobendas (Madrid)

Tel. +34 911 788 540
doymus.com
info@doymus.com