Integrate sound static analysis into your development process

We offer a plugin for automatic integration of Astrée and RuleChecker in Jenkins, the leading open-source automation server.

Sample Astrée analysis results in Jenkins

Jenkins logo


  • 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