We offer an Eclipse plugin that allows Astrée and
RuleChecker analyses to be performed on C and C++ projects in Eclipse CDT.
- 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.
Astrée offers Eclipse integration straight out of the box.
No additional packages need to be installed.
You can evaluate the tool for free
for a period of 30 days.