a³ is a wrapper application that integrates any number of AbsInt’s tools for static program analysis in a single intuitive user interface.
Modules
a³ can include any combination of the following analysis tools:
- aiT for worst-case execution time analysis
- StackAnalyzer for stack usage analysis
- ValueAnalyzer for value analysis
- TimingProfiler for early-stage timing estimation
- TimeWeaver for hybrid timing analysis
- Various custom-built products
Your benefits
By providing a common graphical user interface to all analyzers, a³ allows you to:
- interactively explore analysis results
- save and restore analysis scenarios
- benefit from fully integrated graphical and textual viewers for control flow, analysis results, source code, assembly code, and configuration files
- handle all tools with the same look and feel and benefit from the same powerful visualization features, thus enabling a highly efficient, time-saving analysis process
a³ can also run in batch mode, enabling automatization and seamless integration into existing toolchains. A free Jenkins plugin is available as well.
Supported targets
| 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
Qualification Support Kits for current safety standards such as DO-178C or ISO 26262 are available for a growing number of target processors.
Free trial
To evaluate a³ for free on applications of your own, simply contact info@absint.com.