STALlion: a simple typed assembly language for static analysis

Autores
Nordio, Martín; Bavera, Francisco; Medel, Ricardo; Aguirre, Jorge; Baum, Gabriel Alfredo
Año de publicación
2004
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
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
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Mobile Code
Proof-Carrying Code
Security Properties
Programming Languages
SOFTWARE ENGINEERING
base de datos
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/22342

id SEDICI_1ab254391e55f306180c154c870b0742
oai_identifier_str oai:sedici.unlp.edu.ar:10915/22342
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling STALlion: a simple typed assembly language for static analysisNordio, MartínBavera, FranciscoMedel, RicardoAguirre, JorgeBaum, Gabriel AlfredoCiencias InformáticasMobile CodeProof-Carrying CodeSecurity PropertiesProgramming LanguagesSOFTWARE ENGINEERINGbase de datosTyped 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 DatosRed de Universidades con Carreras en Informática (RedUNCI)2004info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/22342spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:55:01Zoai:sedici.unlp.edu.ar:10915/22342Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:02.098SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv STALlion: a simple typed assembly language for static analysis
title STALlion: a simple typed assembly language for static analysis
spellingShingle STALlion: a simple typed assembly language for static analysis
Nordio, Martín
Ciencias Informáticas
Mobile Code
Proof-Carrying Code
Security Properties
Programming Languages
SOFTWARE ENGINEERING
base de datos
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
dc.creator.none.fl_str_mv Nordio, Martín
Bavera, Francisco
Medel, Ricardo
Aguirre, Jorge
Baum, Gabriel Alfredo
author Nordio, Martín
author_facet Nordio, Martín
Bavera, Francisco
Medel, Ricardo
Aguirre, Jorge
Baum, Gabriel Alfredo
author_role author
author2 Bavera, Francisco
Medel, Ricardo
Aguirre, Jorge
Baum, Gabriel Alfredo
author2_role author
author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Mobile Code
Proof-Carrying Code
Security Properties
Programming Languages
SOFTWARE ENGINEERING
base de datos
topic Ciencias Informáticas
Mobile Code
Proof-Carrying Code
Security Properties
Programming Languages
SOFTWARE ENGINEERING
base de datos
dc.description.none.fl_txt_mv 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
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2004
dc.date.none.fl_str_mv 2004
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/22342
url http://sedici.unlp.edu.ar/handle/10915/22342
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615808360120320
score 13.070432