Technical information

The RainCode Checker for C provides you with a convenient infrastructure to check automatically for compliance with company-specific or standard coding conventions in your C code. The Checker analyzes the C source files, detects where the coding rules have been violated, and generates a detailed report listing the encountered offences.

Based on the RainCode Engine’s static analysis capabilities, the RainCode Checker enables you to verify simple as well a complex coding rules:

Syntactical rules: “Anonymous structures are forbidden”
Semantic rules: “Floating point expressions should not be tested for exact equality or inequality ”
Global rules: “Side effects and aliasing should be avoided”

Flexibility

RainCode Checker for C verifies about 97 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.

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 for C comes in a user-friendly GUI version. To see what it looks like, and what it can do for you, just register here and log in. On the download page, you will have access to the evaluation version, which is build on a sample set of C sources.

March 2008: RainCode proudly releases a complete Datacom migration solution named DataKom which covers all aspects of Datacom migration: CA-IDEAL, COBOL programs and data migration.

September 2007: The RainCode Checker for COBOL computes the size and offsets of data elements according to the ANSI standard, and can be used to find and analyze data elements based on how and where they are represented physically in memory.

January 2007: The RainCode Checker for COBOL is released, with over 70 coding guidelines built-in. The RainCode Checker can be used to check large portfolios against project-wide or company-wide coding guidelines.

June 2006: The various versions of the RainCode engine now provides access to native lexical information from within scripts, so that coding guidelines related to the position of keywords, alignements, etc. can be coded much more efficiently than before.

February 2005: RainCode decides to distribute the RainCode Engine for Ada, C, and COBOL for FREE. Get your own license on RainCode Online.