Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
A Coding Rule Conformance Checker Integrated into GCC.
Year:2008
Research Areas
  • Programming language
Information
Abstract
Coding rules are often used in industry for codifying software best practices and avoiding the many hazardous constructions present in languages such as C or C++. Predictable and customisable tools are needed to automatically measure adherence to these practices. Many of the properties about software needed for rule conformance analysis are calculated by modern compilers. We present an extension of the GNU Compiler Collection (GCC) that flags those code fragments that do not conform to a given set of rules. The user can define coding rules using a high-level declarative language based on logic programming.
International
No
Congress
VIII Jornadas sobre Programación y Lenguajes, PROLE 2008
960
Place
Gijón, España
Reviewers
Si
ISBN/ISSN
978-84-612-5819-2
Start Date
07/10/2008
End Date
10/10/2008
From page
245
To page
249
VIII Jornadas sobre Programación y Lenguajes, PROLE 2008
Participants
  • Autor: Álvaro Polo (Telefónica I+D)
  • Autor: Guillem Marpons Ucero (UPM)
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Juan Jose Moreno Navarro (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Lars-Ake Fredlund (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
  • Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
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)