Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in C, C++ and C#.
In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations of programming rules.
Axivion’s MISRA checker covers 100% of all automatically testable MISRA rules for the standards MISRA C:2004, MISRA C:2012, and MISRA C++:2008. Furthermore, the AUTOSAR C++14 styleguide as well as the CERT® programming rules for secure software development and rules for C Secure Coding (ISO/IEC TS 17961) are supported.
Latest Release 7.1.5
The new release of Axivion Suite comes beside other features and bugfixes with improved import of AUTOSAR models by an increased robustness of the arxml importer for partial arxml files; Generic Entity Marker Rules to mark analysed rules; reduced memory consumption for large projects, improved MISRA C:2012 checks; improved parallelization support in AxivionLinker rule; support for linking with large archives containing a 64 bit symbol table, an added VSCode plugin command to open the Axivion logging channel and better assistance for setting correct file system permission for the dashboard.