Our partner Konzept-IS provides a plugin that allows you to run Astrée’s coding rule checker directly from within the Eclipse IDE.
Features
- Fully integrated reports of any violated rules
- Direct navigation to alarm locations
- Configuration via Eclipse workspace preferences or project properties
- Easy distribution of Astrée settings via a configuration file
- Batch mode for continuous-integration servers
- Straightforward deployment and updates via the Eclipse site
Further information
- PDF handout (861kB)
