Porting classes and coding rules for C programs on CTRON

Abstract

For porting of a C language program, compilers at the porting source and destinations must interpret the program identically. This can lead that a portability scope is defined by the set of compilers that will interpret a program identically. Similarly, a group of programs can be delineated whose interpretation will be the same within a set of compilers. The authors propose a porting class which is a portability scope for the programs written in C language, and indicates the coding rules which must be observed to belong to each porting class. Methods are also indicated for checking whether a program adheres to those coding rules.