Utilize este link para identificar ou citar este item:
https://bdm.unb.br/handle/10483/33487
| Título: | Integrando a representação Static Single Assignment no Rascal Jimple Framework |
| Autor(es): | Barros, Mateus Luiz Freitas |
| Orientador(es): | Almeida, Rodrigo Bonifácio de |
| Assunto: | Algoritmos
Static Single Assingment (SSA)
Jimple |
| Data de apresentação: | 19-Dez-2021 |
| Data de publicação: | 14-Fev-2023 |
| Referência: | 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. |
| Resumo: | 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. |
| Abstract: | 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. |
| Informações adicionais: | 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. |
| Licença: | 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. |
| Aparece na Coleção: | Ciência da Computação
|
Todos os itens na BDM estão protegidos por copyright. Todos os direitos reservados.
