![]() ![]() Features automatic fixing of violations.Ī collection of build and release tools. The development of the SAFe Toolset was funded by the European Space Agency Contract # RFP/3-15558/18/NL/FE/as.This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis).Ī tool to control occurrences of various entities or programming patterns in Ada code, used for checking coding standards, enforcement of safety related rules, and support for various manual inspections. the SAFacilitator – an application largely simplifying the usage of static analyzers as well as the integration of their results into SonarQube.a specially modified version of the SonarQube C++ Community Plugin.a specially modified version of SonarQube. ![]() ![]() ![]() Of course, Spazio IT can support her in performing this extra activity.Īdditionally, Spazio IT has complemented the SAFe Toolset with: 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. RCC : RTEMS LEON/ERC32 Cross-Compiler System RCC 1.3.1 – Cross.BCC2 : Bare-C Cross-Compiler System for LEON2/3/4 GCC 2.2.3 – Cross.18.0.0 – Native and Cross (Multiplatforms – use the command “llc –version” to see the supported architectures) SpazioIT C++ Community Plugin – version 2.2.30Īpart from the static analyzers the SAFe VM contains also some (native and cross) build environments, that is:.Spazio IT has added to this list of plugins its modified version of the SonarQube C++ Community Plugin :.The Community Edition of SonarQube 10.2.1. 10.2.1 – a code quality platform used to show and manage the issues found by the static analyzers. 9.0.0L) – its license needs to be acquired from Gimpel. the static analyzer PC-Lint Plus – v.2.0 (or PC-Lint – v.the static analyzers Clang-Static-Analyzer and Clang-Tidy – v.In particular the current version (October 2023) of the SAFe VM contains: 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. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |