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.

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 additional 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.