Static program analyses tailored to your needs

ał is a wrapper application that integrates any number of AbsInt’s tools for static program ana­ly­sis in a single intuitive user interface.

ał screenshot
ał screenshot

Modules

ał can include any combination of the following analysis tools:

Your benefits

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.

Supported targets

aiT Stack­Analyzer Value­Analyzer Timing­Profiler 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 infor­mation.

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.