aiT WCET Analyzers are currently available for the following processor–compiler combinations:
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.