Konzept Enhanced RuleChecker
Integration (KERCI) for Eclipse

KERCI is a plugin for the Eclipse CDT IDE, that integrates the AbsInt A3C RuleChecker coding rule check capabilities into the IDE. KERCI provides time-efficient and easy to use Interface to start a RuleChecker run and displays Alarms and Errors  directly in Eclipse as "Problem Markers".

Funcionality and Integrated RuleChecker Capabilities

KERCI integrates the start of an RuleChecker run into the context menu of the Eclipse Project Explorer. Once started it configures a temporary A3C project based on the supplied A3C configuration file, modified with Eclipse include paths and the users resource selection. RuleChecker alarm and error messages for violated coding rules are then translated into Eclipse Problem Markers.

Due to this approach any static RuleChecker configuration can be applied for any selection of source and header files.

KERCI is intended for use with checks performed during RuleChecker's "parse"and "source" phases and is not suitable as replacement of the A3C GUI for a complete runtime error analysis.


Eclipse Project Requirements

KERCI requires an Eclipse project to be properly configured. In particular following requirements have to be satisfied to allow KERCI usage:

  • Project in C/C++

  • Include Paths are set

Take Another Step Towards an Integrated Toolchain

  • Time-efficient and easy to use integration of Astrée coding rule checks and measurements into one of the world’s leading C/C++ IDEs

  • Easy integration of Astrée checks for Eclipse projects into continuous integration servers via KERCI batch mode

  • Display of violated rules for each alarm within Eclipse IDE

  • Direct navigation to alarm locations for efficient alarm handling

  • Configuration via Eclipse workspace preferences or project properties

  • Distribution of Astrée settings via separately controllable configuration file

  • Easy to deploy and update via Eclipse update site


System Rquirements

Software Version
OS Windows 7 (64 bit)
Java Runtime Environment (JRE) 1.7 or greater
AbsInt Astrée 16.04 or greater
Eclipse 4.3 (Kepler) or greater
Exlipse Plugin "CDT" Version 8.2


Just one moment..
Wird geladen.