a³ is a wrapper application that integrates any number of AbsInt’s tools for static program analysis in a single intuitive user interface.
a³ can include any combination of the following analysis tools:
By providing a common graphical user interface to all analyzers, a³ allows you to:
a³ can also run in batch mode, enabling automatization and seamless integration into existing toolchains. A free Jenkins plugin is available as well.
aiT | StackAnalyzer | ValueAnalyzer | TimingProfiler | Other | |
---|---|---|---|---|---|
Am486, IntelDX4 | ✓ | ✓ | ✓ | ✓ | ✗ |
ARM | ✓ | ✓ | ✓ | ✓ | ✓ |
C16x/ST10 | ✓ | ✓ | ✓ | ✓ | ✓ |
C28x | ✓ | ✓ | ✓ | ✓ | ✗ |
C33 | ✓ | ✓ | ✓ | ✓ | ✗ |
ERC32 | ✓ | ✓ | ✓ | ✓ | ✓ |
FR81S | ✗ | ✓ | ✓ | ✓ | ✗ |
HCS12 | ✓ | ✓ | ✓ | ✓ | ✗ |
i386DX | ✓ | ✓ | ✓ | ✓ | ✗ |
LEON2 | ✓ | ✓ | ✓ | ✓ | ✓ |
LEON3 | ✓ | ✓ | ✓ | ✓ | ✓ |
M68020 | ✓ | ✓ | ✓ | ✓ | ✓ |
MCS 51 | ✗ | ✓ | ✓ | ✓ | ✗ |
MSP430(x) | ✗ | ✓ | ✓ | ✓ | ✗ |
MPC5xx | ✓ | ✓ | ✓ | ✓ | ✓ |
e200 | ✓ | ✓ | ✓ | ✓ | ✓ |
e300 | ✓ | ✓ | ✓ | ✓ | ✗ |
MPC7448 | ✓ | ✓ | ✓ | ✓ | ✓ |
MPC7448s | ✓ | ✓ | ✓ | ✓ | ✗ |
MPC755 | ✓ | ✓ | ✓ | ✓ | ✓ |
MPC755s | ✓ | ✓ | ✓ | ✓ | ✗ |
IBM PPC750 | ✓ | ✓ | ✓ | ✓ | ✗ |
PPC (other) | ✗ | ✓ | ✓ | ✓ | ✓ |
RX | ✗ | ✓ | ✓ | ✓ | ✗ |
SuperH | ✗ | ✓ | ✓ | ✓ | ✗ |
TriCore incl. AURIX | ✓ | ✓ | ✓ | ✓ | ✓ |
V850 | ✓ | ✓ | ✓ | ✓ | ✗ |
RH850 | ✗ | ✓ | ✓ | ✓ | ✗ |
x86 (flat), AMD K6-2E+ | ✗ | ✓ | ✓ | ✓ | ✗ |
x86 (rm) | ✗ | ✓ | ✓ | ✓ | ✗ |
All versions run under 64-bit Windows and 64-bit Linux. Support for macOS High Sierra 10.13 or newer is possible on request for a surcharge. Contact us for more information.
Qualification Support Kits for current safety standards such as DO-178C or ISO 26262 are available for a growing number of target processors.
To evaluate a³ for free on applications of your own, simply contact info@absint.com.