Flexibility

• RainCode Checker for C verifies about 180 coding rules by default , including Misra 1998 and Misra 2004 . It allows you to select the rules you actually want the RainCode Checker to check, or to use them as examples to code your own rules in the tool.
• The tool is multi-platform (Windows, Unix, Solaris, and all Unix-like)
• RainCode Checker is adaptable : each company can have its specific RainCode Checker for C, with its own coding guidelines.

Eclipse integration

The user-interface is now available as a stand-alone tool, or as an Eclipse plugin. This replace the aging Swing-based user-interface while retaining its most valuable property, namely, its availability on every mainstream platform.

Testing and documentation

The Checker allows you to attach, for each rule, a set of positive and negative examples that show the expected errors. The regression testing facility checks that each rule is correctly implemented, and documents what each rule does in the generated report.

Report Generation

After you have checked the whole project against a set of rules, you can ask RainCode Checker to generate a report with different levels of detail. This report in PDF format can be used:

• as a deliverable for a third party, which lists all the sources which have been checked, with the matching list of offences; or
• as a complete documentation of the coding guidelines used within the organization or project.

Evaluation Version

The RainCode Checker comes in a user-friendly GUI version. To see what it looks like, and what it can do for you, you will require the software and the license file. Please contact us to get your demonstration license file. The software shall then be available at our download site under the "Downloads" left menu item.

The RainCode Checker is based on the C RainCode Engine, a scriptable source code analysis tool which natively recognizes the entire C language, including a number of proprietary extensions. More information is available here.