The SAFe Toolset is an Ubuntu Virtual Machine containing various open source tools that can be used to perform Software Verification and Validation for C, C++ and Java.


In particular the current version (October 2024) of the SAFe VM contains: 

  • A set of static analyzers for C,C++:
  • SonarQube – v. 10.7 – a code quality platform used to show and manage the issues found by the static analyzers.
    The Community Edition of SonarQube 10.7. includes the following plugins:
    • Csharp – version 9.32.0;
    • Flex – version 2.12.0;
    • Go – version 1.17.1.;
    • Html – version 3.16.0;
    • Jacoco – version 1.3.0;
    • Java – version 8.2.0;
    • Javascript – version 10.16.0;
    • Kotlin – version 2.20.0;
    • Php – version 3.38.0;
    • Python – version 4.22.0;
    • Ruby – version 1.17.1;
    • Scala – version 1.17.1;
    • Vbnet – version 9.32.0;
    • Xml – version 2.10.0.
  • Spazio IT has added to this list of plugins its modified version of the SonarQube C++ Community Plugin:
    • SpazioIT C++ Community Plugin – version 2.2.31

Apart from the static analyzers the SAFe VM contains also some (native and cross) build environments, that is: 

  • C,C++:
    • GNU GCC – v. 9.3.0 – Native;
    • Clang – v. 20.0.0git – Native and Cross (Multiplatforms – use the command “llc –version” to see the supported architectures);
    • BCC2: Bare-C Cross-Compiler System for LEON2/3/4 GCC 2.2.3 – Cross;
    • GNU Arm Embedded Toolchain – v.   8-2019-q3-update) – Cross;
  • Java:


Should a user need to work on a codebase not supported by the provided build environments, she would need to install the corresponding compilation tool-chain. Of course, Spazio IT can support her in performing this extra activity. 


Additionally, Spazio IT has complemented the SAFe Toolset with:

  • a specially modified version of SonarQube;
  • a specially modified version of the SonarQube C++ Community Plugin ;
  • the SAFacilitator – an application largely simplifying the usage of static analyzers as well as the integration of their results into SonarQube.


The development of the SAFe Toolset was funded by the European Space Agency Contract # RFP/3-15558/18/NL/FE/as.