Below is an overview of processor–compiler combinations currently supported by aiT.
The links take you to detailed factsheets with the supported derivates and extensions spelled out.
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+ |
You can try aiT for free, for a period of 30 days, on your own code, for one supported target processor of your choice and any number of supported compilers.
The latest stable build is available for Windows 10 and 64-bit Linux. Support for macOS is available on request for an additional fee.
Versions for more processor–compiler combinations are under development, or can be developed on request. Contact info@absint.com with any questions.
For modern multi-core processors that are not statically predictable in a satisfactory way, or are not sufficiently documented to build a static timing model, we offer a hybrid approach that combines aiT’s path analysis with real-time instruction-level tracing.