Un entorno de ejecución de C para detectar comportamientos indefinidos
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.
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/3835 |
| _version_ | 1801211729758126080 |
|---|---|
| author | Alonso, Dionisio Enrique Perona, Leandro Sebastián |
| author2 | Moisset, Daniel Fernando |
| author_facet | Moisset, Daniel Fernando Alonso, Dionisio Enrique Perona, Leandro Sebastián |
| author_sort | Alonso, Dionisio Enrique |
| collection | Repositorio Digital Universitario |
| description | 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. |
| format | bachelorThesis |
| id | rdu-unc.3835 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2016 |
| record_format | dspace |
| spelling | rdu-unc.38352022-10-13T11:34:20Z Un entorno de ejecución de C para detectar comportamientos indefinidos Alonso, Dionisio Enrique Perona, Leandro Sebastián Moisset, Daniel Fernando Compiladores Compilers ANSI C ISO/IEC 9899:1999 Portabilidad Software Portability Debuggers Run-time environments 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. 2016-09-08T17:10:17Z 2016-09-08T17:10:17Z 2015 bachelorThesis http://hdl.handle.net/11086/3835 spa Creative Commons https://creativecommons.org/licenses/by/4.0/deed.es |
| spellingShingle | Compiladores Compilers ANSI C ISO/IEC 9899:1999 Portabilidad Software Portability Debuggers Run-time environments Alonso, Dionisio Enrique Perona, Leandro Sebastián Un entorno de ejecución de C para detectar comportamientos indefinidos |
| title | Un entorno de ejecución de C para detectar comportamientos indefinidos |
| title_full | Un entorno de ejecución de C para detectar comportamientos indefinidos |
| title_fullStr | Un entorno de ejecución de C para detectar comportamientos indefinidos |
| title_full_unstemmed | Un entorno de ejecución de C para detectar comportamientos indefinidos |
| title_short | Un entorno de ejecución de C para detectar comportamientos indefinidos |
| title_sort | un entorno de ejecucion de c para detectar comportamientos indefinidos |
| topic | Compiladores Compilers ANSI C ISO/IEC 9899:1999 Portabilidad Software Portability Debuggers Run-time environments |
| url | http://hdl.handle.net/11086/3835 |
| work_keys_str_mv | AT alonsodionisioenrique unentornodeejecuciondecparadetectarcomportamientosindefinidos AT peronaleandrosebastian unentornodeejecuciondecparadetectarcomportamientosindefinidos |