Use este identificador para citar ou linkar para este item:
http://riu.ufam.edu.br/handle/prefix/6647
Registro completo de metadados
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.advisor1 | Cordeiro, Lucas Carvalho | - |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/5005832876603012 | pt_BR |
dc.contributor.referee1 | Rodrigues, Rosiane de Freitas | - |
dc.contributor.referee2 | Januário, Francisco de Assis Pereira | - |
dc.creator | Moura, Daniel Yuri da Rocha | - |
dc.date.accessioned | 2023-05-29T19:58:10Z | - |
dc.date.available | 2023-05-29T19:58:10Z | - |
dc.identifier.uri | http://riu.ufam.edu.br/handle/prefix/6647 | - |
dc.description.abstract | The present work empirically investigates the relationship between memory safety issues and performance in Kotlin programs. For this, a research and description of the main weaknesses related to memory safety in software systems was carried out. Then, a survey and selection of static and dynamic analysis tools were carried out, which were analyzed according to their capabilities for detecting memory safety problems and performance analysis. Finally, two experiments are presented where these tools are used to identify memory safety problems in Kotlin programs and to observe possible relationships between these problems and the performance of these programs. The results show that the ESBMC-Jimple tool was able to identify stack overflows, arithmetic overflows and division by zero in Kotlin programs, but in none of these cases was it possible to observe implications for the performance of these programs, since the JVM interrupts the execution of the programs when detecting these problems. In another experiment, it was possible to observe performance problems in a Kotlin program caused by a memory safety problem, but it was only possible to identify such problem through manual code review, as the ESBMC-Jimple tool does not have support for identifying the relative problem. | pt_BR |
dc.description.resumo | O presente trabalho investiga de forma empírica as relações entre problemas de segurança de memória e desempenho em programas Kotlin. Para isso, foi feita uma pesquisa e descrição das principais fraquezas relacionadas à segurança de memória em sistemas de software. Em seguida, foi feito um levantamento e seleção de ferramentas de análise estática e dinâmica, que foram analisadas de acordo com suas capacidades para detecção de problemas de segurança de memória e análise de desempenho. Por último, são apresentados dois experimentos onde essas ferramentas são utilizadas para identificar problemas de segurança de memória em programas Kotlin e observar possíveis relações desses problemas com o desempenho desses programas. Os resultados mostram que a ferramenta ESBMC-Jimple pôde identificar estouros de pilha, estouros aritméticos e divisões por zero em programas Kotlin, mas em nenhum desses casos foi possível observar implicações no desempenho desses programas, pois a JVM interrompe a execução dos programas ao detectar esses problemas. Em outro experimento, foi possível observar problemas de desempenho em um programa Kotlin ocasionados por um problema de segurança de memória, mas só foi possível identificar tal problema através de revisão manual de código, pois a ferramenta ESBMC-Jimple não possui suporte para a identificação do relativo problema. | pt_BR |
dc.language | por | pt_BR |
dc.publisher.country | Brasil | pt_BR |
dc.publisher.department | FT - Faculdade de Tecnologia | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.subject | Kotlin | pt_BR |
dc.subject | Segurança de memória | pt_BR |
dc.subject | Desempenho de software | pt_BR |
dc.subject | Análise estática | pt_BR |
dc.subject | Análise dinâmica | pt_BR |
dc.subject.cnpq | ENGENHARIAS: ENGENHARIA ELETRICA: TELECOMUNICACOES: SISTEMAS DE TELECOMUNICACOES | pt_BR |
dc.title | Investigando as relações entre problemas de segurança de memória e desempenho em programas Kotlin | pt_BR |
dc.type | Trabalho de Conclusão de Curso | pt_BR |
dc.creator.affiliation | Universidade Federal do Amazonas | pt_BR |
dc.date.event | 2023-02-23 | - |
dc.publisher.localpub | Manaus (AM) | pt_BR |
dc.subject.controlado | Kotlin (Linguagem de programação de computador) | pt_BR |
dc.subject.controlado | Software - Desenvolvimento | pt_BR |
dc.subject.controlado | Medição de software | pt_BR |
dc.subject.controlado | Software - Avaliação | pt_BR |
dc.creator.affiliation-init | UFAM | pt_BR |
dc.publisher.course | Engenharia Elétrica – Telecomunicações - Bacharelado - Manaus | pt_BR |
Aparece nas coleções: | Trabalho de Conclusão de Curso - Graduação - Engenharias |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
TCC_DanielMoura.pdf | 677,47 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.