We offer a plugin for automatic integration of Astrée
in Jenkins, the leading open-source automation server.
- Automatically check every Jenkins build for runtime errors, data races, and MISRA rule violations
- Archive analysis reports directly in your Jenkins workspace
- Access analysis results via the Jenkins web interface
- Automatically mark a build as erroneous depending on analysis results according to your own criteria
- Launch analyses for different builds as separate analysis revisions for easy debugging and documentation of your progress