El buffer overflow

Estos analizadores toman la cadena de entrada de símbolos terminales del lenguaje a analizar y mediante el proceso de shift_reducción transforman esta cadena en símbolos no terminales hasta llegar al símbolo de inicio.

Describa que es un buffer overflow.

El buffer overflow o desbordamiento de buffer es un error de sistema causado por un defecto de programación, de tal forma que el programa que lo sufre pretende escribir más información en el buffer (unidad de memoria) de la que este puede alojar.

Este desbordamiento es posible porque el programador no incluyó el código necesario para comprobar el tamaño y capacidad del buffer en relación con el volumen de datos que tiene que alojar.

Describa brevemente que es CUP y la estructura de un programa escrito en ese formato.

Es un generador de analizadores de sintaxis

Explique brevemente que datos se almacenan y cómo funciona la memoria stack en un

Programa.

La memoria tipo stack es la que se maneja mediante una pila de datos se crean (push) o destruyen (pop) datos.

En el stack el BP apunta a la estructura anterior.

Los datos que se almacenan son:

Valor regreso (PC) program counter

Valores parámetros

Variables locales

Variables temporales

Apuntador de control (BP)

Generación de código intermedio o ensamblador

El código intermedio se genera para facilitar la optimización de código, además de hacer más transportable el código entre plataformas.

Existen 3 estructuras para generar código intermedio:

 Triples, cuadruples, código stack

 Triple: es la representación de una máquina de dos direcciones formada por: operador, operando fuente y operando destino.

 Cuadruple: formado por operador, operando fuente, operando destino y resultado.

El stack convierte las instrucciones en push y pop

• estructura If-then-else

* diagrama de estructura

Utilizando lenguaje de bajo nivel tenemos las instrucciones de salto y etiquetas que definen puntos en el programa

Condición

Si falso salta a E2

Acción

Salta a E3

E2:

Acción

E3:

 estructura Do

* diagrama de estructura

Se traduce en etiquetas y saltos:

Etiqueta 1:

------

------ Declaraciones

------

Resultado de condición

Si salto a Etiqueta 1, no sigue

...