ał is the common framework in which AbsInt’s various analyzers are integrated. The most important advantages of the new and common interface are:
install.shwill guide you through the installation process. An important difference from the aiT installation script is that at the start, ał will offer to install its configuration file
a3.confeither globally in
/etc/xdg/AbsIntor locally in
When starting ał for the first time, the license dialog will
be opened automatically and ask you for a valid license file.
Click on “Change license” and select your
The license dialog can also be invoked anytime via the menu “Help” → “License…”.
Note: former aiT license files are not valid for the ał tool. You can request a new license file by contacting email@example.com.
Each ał comes with a user documentation in PDF format. The documentation is up-to-date and the version number corresponds to the release version number.
For updates of the documentation, please refer to its appendix “Document History”.
Refer to the included documentation on how to work with the new GUI. The documentation can be found under “Help” → “Manual”. If you have questions concerning the usage of the GUI, contact firstname.lastname@example.org.
The most important changes are as follows.
install path/AbsInt/Advanced Analyzer/target/build/examples/and under Linux
install path/AbsInt/Advanced Analyzer/common/bin/a3.exeUnder Linux, it’s
install path/bin/a3If several instances of ał have been installed (e.g. ał for different targets or different builds of ał for the same target), the ał launcher allows to select a specific ał tool (and build) or directly open recently opened project files in a specific ał tool (and build).
.apxfile name suffix). Old aiT analysis project files (
.apf) can be loaded into ał and then saved in the new
.apxformat. The new format allows to specify several analyses for the same project. An external
.ctlcontrol file is no longer necessary for batch mode (see below). To ensure backwards compatibility, old aiT
.ctlfiles can be imported into ał via “Analysis” → “Overview” → “Managing existing analyses” tab at the bottom → button “Import control file from aiT analyzer”.
a3 <target> project.apx -b
-graphicssystem nativeis now obsolete.
All variables, types, and structured types contained in the executable can be now explored under “Debug view” → “Variables”. Additionally, this view presents a list of all the functions contained in the executable along with information about their parameters.
<target>daan. Note: some warning and info messages might occur that are only relevant for the aiT analysis.
c_lgmul. The annotation
entry 0xe1:0x7dd2; # Start address of "c_lgop"is no longer necessary.
hcs12daan) has been improved. The internal representation has changed from CRL to the more efficient CRL2 format.
divinstruction (SPE instruction set).
memory area 0xXXXX .. 0xYYYY access data cached, locked, not guarded;The default semantics have changed so that the cache strategy “write-through” is implicitely assumed unless specified otherwise. Thus, if memory areas have been locked into a cache with the “write-back” strategy, you must add the keyword “
write-back” to the area annotation:
memory area 0xXXXX .. 0xYYYY access data cached, locked, not guarded, write-back;
instruction "_main" + 4 writes accesses 0xffff0000 .. 0xfffff000;will not result in a warning from v850daan.
.msf) or directly the target configuration in the V850 view, if necessary.