| Campo Dublin Core | Valor | Língua |
|---|
| dc.contributor.advisor | Almeida, Rodrigo Bonifácio de | - |
| dc.contributor.author | Barros, Mateus Luiz Freitas | - |
| dc.identifier.citation | BARROS, Mateus Luiz Freitas. Integrando a representação Static Single Assignment no Rascal Jimple Framework. 2021. 26 f., il. Trabalho de conclusão de curso (Bacharelado em Ciência da Computação) — Universidade de Brasília, Brasília, 2021. | pt_BR |
| dc.description | Trabalho de conclusão de curso (graduação) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021. | pt_BR |
| dc.description.abstract | Este trabalho apresenta a implementação de um algoritmo de transformação de programas em Jimple para a representação Static Single Assingment (SSA). A representação SSA objetiva a simplificação de análises e transformações de programas em códigos de instruções de 3 endereços. Exemplos de análises e transformações que se beneficiam da representação SSA incluem os algoritmos de data-flow analysis para otimização de código e algoritmos de taint-analysis usados na área de segurança de software. A implementação proposta abrange as principais etapas descritas na literatura para a geração de SSA, como
inserção de phi-functions e renomeação de variáveis. | pt_BR |
| dc.rights | Acesso Aberto | pt_BR |
| dc.subject.keyword | Algoritmos | pt_BR |
| dc.subject.keyword | Static Single Assingment (SSA) | pt_BR |
| dc.subject.keyword | Jimple | pt_BR |
| dc.title | Integrando a representação Static Single Assignment no Rascal Jimple Framework | pt_BR |
| dc.type | Trabalho de Conclusão de Curso - Graduação - Bacharelado | pt_BR |
| dc.date.accessioned | 2023-02-14T18:37:28Z | - |
| dc.date.available | 2023-02-14T18:37:28Z | - |
| dc.date.submitted | 2021-12-19 | - |
| dc.identifier.uri | https://bdm.unb.br/handle/10483/33487 | - |
| dc.language.iso | Português | pt_BR |
| dc.rights.license | A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor que autoriza a Biblioteca Digital da Produção Intelectual Discente da Universidade de Brasília (BDM) a disponibilizar o trabalho de conclusão de curso por meio do sítio bdm.unb.br, com as seguintes condições: disponível sob Licença Creative Commons 4.0 International, que permite copiar, distribuir e transmitir o trabalho, desde que seja citado o autor e licenciante. Não permite o uso para fins comerciais nem a adaptação desta. | pt_BR |
| dc.description.abstract1 | This work presents an implementation of the Static Single Assignment transformation algorithm for Jimple programs. The SSA representation aims to simplify the analysis and transformations for 3 address instruction codes. Examples of analysis and transformation algorithms that takes benefits from it are data-flow algorithms for code optimization and taint-analysis algorithms used in software security. The implementation covers the main steps described by the literature for the SSA transformation, such as phi-function insertion
and variable renaming. | pt_BR |
| Aparece na Coleção: | Ciência da Computação
|
