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 for software erosion protection.
- Analyses for software erosion protection.Architecture check
- Clone detection
- 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