Integrating Astrée into your development process

Eclipse logo

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 run-time 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 client from within Eclipse.

Free trial

Astrée offers Eclipse integration straight out of the box. No addi­tional packages need to be installed. You can evaluate the tool for free for a period of 30 days.