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.

Analyses

  • Analyses for software erosion protection.
    • Analyses for software erosion protection.Architecture check
    • Clone detection
    • Metrics
    • Style checks, MISRA® tests, CERT® tests, AUTOSAR® tests
    • Race condition analysis
    • Dead code detection
    • Cycle detection
  • Include profiler (C/C++ language feature)
  • Search for potential runtime errors (C/C++ Language Feature)
  • Search for potential runtime errors

Download MISRA Fact Sheet

Download AUTOSAR Fact Sheet

Download CERT Fact Sheet