1.2. Evaluation

This section describes the Axivion Suite in evaluation mode, available with limited functionality to users granted an evaluation license. This mode streamlines the configuration process and removes some features that are not directly related to the analysis itself—examples include the Dashboard and the IDE plugins.

To install the Axivion Suite, please refer to Basic Installation.

To configure the static analysis for your C/C++ project and run the analysis, proceed in these steps:

  • Run axivion_config located in the bin folder of your Axivion Suite installation directory. It will show a screen with title Axivion Project Wizard.

  • Click the button “Use Wizard” and follow the pages of the Project Wizard. When the wizard is complete, it will open the configuration in the standard user interface. Click “Quit”.

  • Once finished, the Project Wizard will have created a start script inside your project configuration directory (by default, this is a folder called axivion inside your project directory). This script is named:

    • start_analysis.bat under Windows

    • start_analysis.sh under macOS and Linux

    Open a development shell (if you do not have that in your development environment, use cmd under Windows / bash under macOS and Linux). Make sure that your compiler, build tools, and tools for version control are in the PATH environment variable.

    Then execute the start script. It will:

    • launch the Dashboard Server.

    • build your project with Axivion’s compiler cafeCC and run the analysis.

  • If any problem occurs during the build or analysis, make sure the relevant tools and build steps are executable (possibly extend the PATH variable). If you think Axivion Suite should be configured differently, run the command axivion_config . while in the configuration directory (please note the trailing dot). Please refer to Graphical Configuration Interface for more details.

  • After the analysis has completed successfully, open your preferred browser and point it to the URL http://localhost:9090/axivion to view the analysis results—see Dashboard Server for details.

One of the key features of the Axivion Suite is its ability to track analysis results throughout the whole lifetime of a project, rather than just for a single version. You can try this out by making changes to your source-code files and re-running the analysis. The Dashboard will then show the effects of your changes. If you have configured a version control system, please remember to commit your changes first before re-running the analysis.

  • To run the analysis again, simply call the start script start_analysis.bat / start_analysis.sh in the project’s configuration folder.

  • To view the current results, make sure the Dashboard Server is running and open the URL http://localhost:9090/axivion in your browser or use an IDE plugin.