Lenguaje ensamblador tipado

En informática , un lenguaje ensamblador tipado ( TAL ) es un lenguaje ensamblador que se extiende para incluir un método de anotación del tipo de dato de cada valor manipulado por el código. Estas anotaciones pueden ser utilizadas por un programa (verificador de tipos) que procesa el código ensamblador para analizar su comportamiento durante la ejecución. Específicamente, dicho verificador de tipos puede utilizarse para demostrar la seguridad de tipos del código que cumple con los criterios de un sistema de tipos adecuado . ^{[ 1 ]}

Los lenguajes ensambladores tipados proporcionan mecanismos para describir y verificar los tipos de valores almacenados en registros y memoria . Estos mecanismos permiten que el sistema de tipos garantice el uso seguro de punteros , marcos de pila y estructuras de datos asignadas en el montón , independientemente de cualquier estrategia particular de gestión de memoria . ^{[ 1 ]}

Un lenguaje ensamblador tipado puede utilizarse para dar soporte a un entorno de ejecución confiable . Dado que las propiedades de seguridad pueden verificarse estáticamente comprobando los tipos del programa, los sistemas basados ​​en TAL ejecutan código nativo directamente sin depender de bytecode interpretado ni de una máquina virtual . ^{[ 1 ]}

• Código portador de prueba

• TALx86 , un proyecto de investigación de la Universidad de Cornell que ha implementado un ensamblador tipado para la arquitectura Intel IA-32 .