The check enables you to determine where your code is affected by errors undetected by your target compiler, thereby avoiding errors at the time of running the program.
Axivion, based in Stuttgart, Germany, is a provider for innovative software solutions for static code analysis and for protection from software erosion. The core product of Axivion is the Axivion Bauhaus Suite, a tool suite for the improvement of software quality and maintainability of software systems implemented in the programming languages Ada, C, C++, C#, and Java. 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 are supported.
The Professional Services Team of Axivion offers methods and training concepts as well as service and consulting to support customers to assure an effective and efficient rollout of the tools.
Axivion’s customers are companies that develop innovative technical software across different industries, e.g. industrial automation, automotive, railway, electronics, information and telecommunication, avionics, medical, mechanical engineering, as well as measurement, control and regulation technology.
Since its foundation in 2006, Axivion maintains close research links to the Universities of Stuttgart, Bremen and Freiburg, Germany to keep up with the newest trends in programming and code analysis research.