If( ('path to executable' -version).trim().toLowerCase(). check the directory of the current file.This is the complete SAFacilitator User Manual / Online Help. This is an actual example where the SAFacilitator is used to analyze the Crazyflie version 2.1 codebase. …but it is also a console utility that can be called by scripts to automatically run the static analyzers (and SonarQube).įor Java, the SAFacilitator only provides some information (two cheat sheets) on how to establish the connection/integration between the build tool ( Gradle/ Maven) and SonarQube. Not only the SAFacilitator is a GUI Application that it is used to produce the configurations files and scripts… In fact the SAFe Toolset VM (in November 2023) also contains the SonarQube Server version 10.3. 9.0.0L) – – but its license needs to be acquired from Vector.Īpart from driving the static analyzers, SAFacilitator can also drive, that is configure and run, SonarQube.

18.0.0 – – the “new” compiler toolset from LLVM Foundation, with its Clang-SA and Clang-Tidy static analyzers. Once the information contained in the project file is correct, it is used to automatically generate all the configuration files and execution scripts required by the static analyzers (and SonarQube). This information may initially derive from an externally provided compilation database file (“compile_commands.json”). The SAFacilitator, for a given codebase, allows the creation and editing of a single project file containing all the information required to properly drive and control the execution of the selected static analyzers on that codebase. While Cppcheck is highly configurable, you. Its internal preprocessor can handle includes, macros, and several preprocessor commands.

It is versatile, and can check non-standard code including various compiler extensions, inline assembly code, etc.

Its major functionality is the simplification of the production of the static analyzers configuration files. Cppcheck is a command-line tool that tries to detect bugs that your C/C++ compiler doesnt see. The application is based on the Compilation Database Format Specification developed by the Clang/LLVM foundation. If any errors are detected you can filter the shown results using various criteria such as portability, warnings, errors. Any file you load into the program will be scanned. The SAFacilitator (Static Analysis Facilitator) is an application specially developed by Spazio IT for the SAFe Toolset. Cppcheck is a powerful tool that can help you create C/C++ applications since it can analyze your code to detect errors, memory leaks, buffer overrun and other issues. (all images are marked as: free to modify, share, and use commercially) SAFacilitator Iconic Representation: Marvin the depressed robot

Download Cppcheck 2.12