1. Inicio
  2. Atrás
Título: STALlion: a simple typed assembly language for static analysis
Autores: Nordio, Martín
Bavera, Francisco
Medel, Ricardo
Aguirre, Jorge
Baum, Gabriel Alfredo
Fecha: 2012-10-12
2004
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: Mobile Code
Proof-Carrying Code
Security Properties
Programming Languages
SOFTWARE ENGINEERING
PROGRAMMING LANGUAGES
Ciencias Informáticas
base de datos
Descripción: Typed assembly languages have the goal of providing security guarantees, for example, for the limited use of resources in a host machine or the detection of autoupdate code. This work presents a simple typed assembly language which allows us to perform various kinds of static analysis tasks with the purpose of detecting flaws in the code security. The security policy we use guarantees type and memory safety. Moreover, wa can ensure that non-initialized variables are not read, and that there is no out-of-bound array accesses. The language we present, called STALlion, was designed in order to interpret a particular kind of imperative programs, more specifically abstract syntax tree.
Eje: I - Workshop de Ingeniería de Software y Base de Datos
Idioma: Español