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

Abstract

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.