A detection method of user defined irregular styles in programs

This paper proposes a new program analyzing method and its analyzer. A remarkable feature of this tool is that users can easily define program properties to be satisfied. When software is developed, usually the coding standard is a set depending on conditions and/or constraints of each project. The program analyzer regards the coding standard as a set of static properties of user programs. It detects parts of a given program which violate the standard and degrade program’s reliability or maintainability. The part which violates the standard is called Irregular Style. A user can define an irregular style as syntactic conditions of some parts of the program and control flow structures among these parts. The formers are represented by predicates and the latters by graphs. The paper makes clear that a considerable portion of irregular styles in practical softwares can be defined in these representations and can be detected by this analyzer. [In Japanese.]