Un entorno de ejecución de C para detectar comportamientos indefinidos

• Autores: Alonso, Dionisio Enrique; Perona, Leandro Sebastián
• Año de publicación: 2015
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: Moisset, Daniel Fernando
• Materia: Compiladores; Compilers; ANSI C; ISO/IEC 9899:1999; Portabilidad; Software Portability; Debuggers; Run-time environments
• Institución: Universidad Nacional de Córdoba

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2015.
Con el creciente uso del lenguaje C, se vio la necesidad de crear un estándar que garantice que el mismo código fuente produce el mismo programa, al compilarse con distintos compiladores o en distintas plataformas. No obstante, dicho estándar deja una serie de situaciones para las que el comportamiento del programa es indefinido. La ignorancia de estos comportamientos llevan a dificultades para garantizar la portabilidad y consistencia ante errores, de los programas. El objetivo de este trabajo es presentar un entorno que ayude al desarrollador a detectar las situaciones en que una pieza de software escrita en el lenguaje C pueda tener un comportamiento indefinido.
With the growing use of the C language, became evident the need to create a standard which guaranties that the same source code produces the same program when compiled with different compilers or on different platforms. However, said standard leaves a series of situations for which the behaviour of the program is undefined. Ignoring these behaviours leads to difficulties in assuring the program’s portability and the consistency of errors. The goal of this work is to present an environment that aids the software developer in identifying those situations in which a program written in C could produce an undefined behavior.