STALlion: a simple typed assembly language for static analysis

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Nordio, Martín, Bavera, Francisco, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2004
Materias:
Ciencias Informáticas
Mobile Code
Proof-Carrying Code
Security Properties
Programming Languages
SOFTWARE ENGINEERING
base de datos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22342
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22342
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Mobile Code
Proof-Carrying Code
Security Properties
Programming Languages
SOFTWARE ENGINEERING
base de datos
spellingShingle Ciencias Informáticas
Mobile Code
Proof-Carrying Code
Security Properties
Programming Languages
SOFTWARE ENGINEERING
base de datos
Nordio, Martín
Bavera, Francisco
Medel, Ricardo
Aguirre, Jorge
Baum, Gabriel Alfredo
STALlion: a simple typed assembly language for static analysis
topic_facet Ciencias Informáticas
Mobile Code
Proof-Carrying Code
Security Properties
Programming Languages
SOFTWARE ENGINEERING
base de datos
description 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.
format Objeto de conferencia
Objeto de conferencia
author Nordio, Martín
Bavera, Francisco
Medel, Ricardo
Aguirre, Jorge
Baum, Gabriel Alfredo
author_facet Nordio, Martín
Bavera, Francisco
Medel, Ricardo
Aguirre, Jorge
Baum, Gabriel Alfredo
author_sort Nordio, Martín
title STALlion: a simple typed assembly language for static analysis
title_short STALlion: a simple typed assembly language for static analysis
title_full STALlion: a simple typed assembly language for static analysis
title_fullStr STALlion: a simple typed assembly language for static analysis
title_full_unstemmed STALlion: a simple typed assembly language for static analysis
title_sort stallion: a simple typed assembly language for static analysis
publishDate 2004
url http://sedici.unlp.edu.ar/handle/10915/22342
work_keys_str_mv AT nordiomartin stallionasimpletypedassemblylanguageforstaticanalysis
AT baverafrancisco stallionasimpletypedassemblylanguageforstaticanalysis
AT medelricardo stallionasimpletypedassemblylanguageforstaticanalysis
AT aguirrejorge stallionasimpletypedassemblylanguageforstaticanalysis
AT baumgabrielalfredo stallionasimpletypedassemblylanguageforstaticanalysis
bdutipo_str Repositorios
_version_ 1764820465608556544

Ejemplares similares