Add sound static analysis to your development process

ARM Keil logo

The installation package for RuleChecker includes a plugin for the ARM Keil µVision IDE/Debugger.

A free video tutorial on installing and using the plugin is available on our YouTube channel.

Recent improvements

  • 23.04 — The toolbox no longer generates deprecated <coverage-ignore> DAX elements.
  • 22.10 — Updated the keil_intrinsics.h file to filter/rewrite more keywords.
  • 21.10 — Improved the passing of defines to the preprocessor configuration.
  • 21.04 — Improved preprocessor configuration extraction and header-file handling.