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
- Custom-built products (e.g. TimeWeaver)
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
Supported targets
| ał for… | aiT | StackAnalyzer | ValueAnalyzer | TimingExplorer |
|---|---|---|---|---|
| Am486 | + | + | + | − |
| ARC | − | + | + | − |
| ARM | − | + | + | − |
| C16x/ST10 | + | + | + | − |
| C33 | + | + | + | − |
| ERC32 | + | + | + | − |
| H8 | − | + | + | − |
| HC11 | + | + | + | − |
| HCS12 | + | + | + | − |
| i386DX | + | + | + | − |
| LEON2 | + | + | + | − |
| LEON3 | + | + | + | − |
| M68020 | + | + | + | − |
| MPC5xx | + | + | + | − |
| MPC55xx | + | + | + | + |
| MPC56xx | + | + | + | − |
| MPC603e | + | + | + | + |
| MPC7448 | + | + | + | − |
| MPC7448s | + | + | + | − |
| MPC755 | + | + | + | − |
| MPC755s | + | + | + | + |
| IBM PPC750 | + | + | + | − |
| PPC (other) | − | + | + | − |
| TriCore | + | + | + | − |
| V850 | + | + | + | − |
| x86 (flat) | − | + | + | − |
| x86 (rm) | − | + | + | − |
The following operating systems are supported:
- 32-bit and 64-bit Linux
- 32-bit Windows (XP SP2 or higher)
- 64-bit Windows (Vista or higher)
Versions for several other processors are currently under development. Contact us for more information.
Qualification support
Qualification Support Kits for DO-178B level A and ISO 26262 are available for a growing number of target processors.