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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/22342
Ver los metadatos del registro completo
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 |