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
LEON4
M68020
MCS 51
MCS 251
MSP430(x)
Nios II
MPC5xx
e200
e300
MPC7448
MPC7448s
MPC755
MPC755s
IBM PPC750
PPC (other)
RISC-V
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.