Supported targets for static WCET analysis

aiT WCET Analyzers are currently available for the following processor–compiler com­bi­na­tions:

Am486, IntelDX4 CAD-UL Tool Suite compiler
ARM ARM, Keil MDK-ARM
CompCert (INRIA/AbsInt)
Diab (WindRiver), C or Ada
GCC
Green Hills MULTI for ARM, C or Ada
HighTec LLVM/Clang
IAR
TASKING
TI (Texas Instruments)
C16x/ST10 KEIL (ARM)
TASKING
C28x TI (Texas Instruments)
C33 TI (Texas Instruments)
ERC32 GCC
GNAT
LLVM/Clang
HCS12 Cosmic
Hiware (Metrowerks/Freescale)
IAR
i386DX PL/I compiler
LEON2, LEON3 GCC
GNAT
LLVM/Clang
M68020 and ColdFire MCF5307 Diab C/C++ (WindRiver)
GCC C/C++
HP 68000, C or Ada
Microtec C (Siemens)
XD Ada (EDS)
PowerPC
e200 (55xx, 56xx, 57xx, 58xx),
e300 (603e, 82xx, 83xx, 52xx),
5xx, 7448, 7448s, 750, 755, 755s
CodeWarrior (Freescale)
CompCert (INRIA/AbsInt)
Diab (WindRiver), C or Ada
GCC
GHS (Green Hills), C or Ada
GNAT Pro (AdaCore), C, C++ or Ada
HighTec GCC
TriCore (incl. AURIX) Diab (WindRiver)
GCC
GHS (Green Hills)
HighTec GCC
TASKING
V850E Diab (WindRiver)
GHS (Green Hills)
Renesas CS+

The latest stable build is available for Windows 10 and 64-bit Linux.

You can try any version for free, on your own application, for a period of 30 days.

Versions for other processor–compiler combinations are under development, or can be developed on request. Support for macOS is available on request for an additional fee. Contact info@absint.com with any questions.