Automatic Coding Rule Conformance Checking Using Logic Programs

TL;DR

This paper proposes a method for automatically checking if code conforms to coding rules using logic programming, aiming to improve program reliability by enforcing disciplined coding practices.

Contribution

It introduces a logic programming-based approach to automatically verify code conformance to coding rules, enhancing reliability and safety.

Findings

Effective automatic conformance checking demonstrated

Reduces hazards from error-prone features

Supports disciplined programming practices

Abstract

Some approaches to increasing program reliability involve a disciplined use of programming languages so as to minimise the hazards introduced by error-prone features. This is realised by writing code that is constrained to a subset of the a priori admissible programs, and that, moreover, may use only a subset of the language. These subsets are determined by a collection of so-called coding rules.