Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
A Coding Rule Conformance Checker Integrated into GCC
Year:2009
Research Areas
  • Programming language
Information
Abstract
Coding rules are often used in industry to foster best practices when coding software and to avoid the many hazardous constructions present in languages such as C or C++. Predictable, reliable tools are needed to automatically measure adherence to these practices, as manually checking for compliance is cumbersome. Moreover, due to the wide range of possible coding rule sets, easy of customization is a need in order for these tools to be of practical use. With this aim in mind, we present an extension of the GNU Compiler Collection (GCC) that ¿ags those code fragments that do not conform to coding rules belonging to a given set. These sets of coding rules can be de¿ned using a high-level declarative language based on logic programming, thereby making it possible to easily check code for conformance with respect to rules addressing the particular needs of a project, company, or application area.
International
Si
JCR
No
Title
Electronic Notes in Theoretical Computer Science
ISBN
1571-0661
Impact factor JCR
0
Impact info
Volume
248
Journal number
0
From page
149
To page
159
Month
AGOSTO
Ranking
Participants
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Juan Jose Moreno Navarro (UPM)
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Guillem Marpons Ucero (UPM)
  • Autor: Julio Mariño Carballo (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)