This release features several subtle yet useful improvements to the graphical user interface.
This feature allows to view all sections of the binary and inspect their content like in a hex editor. It also allows to show the memory content for a given address area.
This experimental feature allows to graphically compare two WCET analysis graphs starting at the same entry point. This is especially helpful for comparing different analysis setups (different annotations, hardware settings, etc.).
The value analysis for PowerPC now allows to visualize the quality of its results. This is done by coloring instructions in the control-flow graph according to the precision of the obtained results.
This feature can be enabled under “Configuration” → “Analyses” → “Advanced” → “Visualize quality of results” (see screenshot).
The results view has been merged into the analyses overview. Progress and results for all analyses are now shown on the same page. Sorting and deletion of analyses have been improved as well as the general performance of the ał GUI for projects with a multitude of analyses. ał also no longer forgets existing analyses results after a new analysis is added.
Result graphs are no longer opened automatically after running an analysis. To open the result graph for a particular analysis, double-click on the corresponding row in the analyses overview.
ał now also ensures that only up-to-date result graphs are shown. If a graph has changed, its latest version will be loaded automatically.
ał for MPC55xx, MPC5xx, and TriCore now supports importing a target/memory configuration from system register contents.
This feature is accessible via “Configuration” → “Processor name” → “Machine Settings” → magic wand button “Specify settings via register values” (see screenshot).
The percentage of infeasible code and code that lies on the WCET path is now calculated in the source-files view.
For both stack-usage and WCET analysis, code sections that lie on the worst-case path are now marked red in the source-code and disassembly view. Infeasible parts of the analyzed program are now grayed out in the resulting graphs and the disassembly view.
In the source-code view, infeasible code and code that lies on the worst-case path is marked by a colored margin rather than by a colored background. Thus, if a line contains both infeasible code and code that contributes to the WCET, it will have two margins of different colors.
The disassembly view now also features syntax highlighting.
For messages that have address information, one can jump to the corresponding address in the disassembly by selecting “Go to disassembly” from the context menu. The executable must have been disassembled via “Analysis” → “Disassembly” in order for this feature to work.
Improved validation whether all input files needed for the analysis are available. The user is notified about missing files via red input field background and symbols in the navigation bar.