Add sound static analysis to your development process

Eclipse logo

Eclipse plugin

For release 25.04 and older, we offer an Eclipse plugin that allows Astrée and RuleChecker analyses to be performed on C and C++ projects in Eclipse CDT.

Starting Astrée analysis from Eclipse

Features

  • The runtime error analysis and rule checking are invoked directly from the Eclipse IDE.
  • The findings are reported back to and shown in Eclipse.
  • For each error, an Eclipse marker is generated and linked to the corresponding location in the source file.
  • For in-depth alarm investigations, you can open a dedicated Astrée/RuleChecker client from within Eclipse.

Latest improvements

  • Configuration of parser options, such as external declarations and patterns to ignore.
  • Improved configuration dialog for enabled rules.
  • Improved handling of relative config files.
  • Improved support for linked files and folders.

Free trial

The Eclipse plugin comes included with Astrée and RuleChecker. No addi­tional packages need to be installed. You can try the tool for free for a period of 30 days.

LSP-based integration

Starting with release 25.04, Astrée and RuleChecker support the Language Server Protocol (LSP) to allow integration into any IDE or code editor that provides an LSP client.

With that, the standalone Eclipse plugin has become deprecated, as it can be replaced by installing LSP4E in Eclipse and configuring it to use Astrée’s LSP server.