Static program analyses tailored to your needs.
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
- TimingExplorer for ECU-level architecture exploration
- TimeWeaver for exploration of measurement-based time bounds
Your benefits
By providing a common graphical user interface to all these 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
Availability
| ał for… | aiT | StackAnalyzer | ValueAnalyzer | TimingExplorer | TimeWeaver |
|---|---|---|---|---|---|
| am486 | ✓ | ✓ | |||
| ARC | ✓ | ✓ | |||
| ARM7 | ✓ | ✓ | ✓ | ✓ | |
| C16x/ST10 | ✓ | ✓ | ✓ | ||
| C33/TMS320C3x | ✓ | ✓ | ✓ | ||
| HC11 | ✓ | ✓ | ✓ | ||
| HCS12/STAR12 | ✓ | ✓ | ✓ | ||
| i386 | ✓ | ✓ | |||
| LEON2 | ✓ | ✓ | ✓ | ||
| LEON3 | ✓ | ✓ | ✓ | ||
| M68020 | ✓ | ✓ | ✓ | ||
| MPC 5xx | ✓ | ✓ | ✓ | ||
| MPC 603e | ✓ | ✓ | ✓ | ✓ | |
| MPC 55xx | ✓ | ✓ | ✓ | ✓ | |
| MPC 755 | ✓ | ✓ | ✓ | ||
| MPC 755s | ✓ | ✓ | ✓ | ✓ | |
| PPC (other) | ✓ | ✓ | |||
| PCP2 | ✓ | ||||
| TriCore | ✓ | ✓ | ✓ | ✓ | |
| V850 | ✓ | ✓ | ✓ |
The following operating systems are supported:
- 32-bit and 64-bit Linux
- 32-bit Windows (2000 or higher)
- 64-bit Windows (Vista or higher)
Qualification Support Kits (QSKs) for DO-178B level A are available for:
- MPC5xx/Diab (WCET)
- MPC55xx/GCC (WCET, stack usage)
- MPC603e/Diab (WCET)
- MPC755/Diab (WCET, stack usage)
- PPC/Diab (stack usage)
- PPC/GCC (stack usage)
- C16x/Tasking (WCET, stack usage)
- HC11/Cosmic (WCET)
- i386/CAD-UL (WCET)
- M68020/GCC (WCET, stack usage)
- TriCore/HighTec GCC (WCET)
ał and QSKs for several other processors are currently under development. Contact us for more information.