Banca de QUALIFICAÇÃO: TAYNÁ LARISSA FISCHER VIEIRA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : TAYNÁ LARISSA FISCHER VIEIRA
DATA : 10/10/2024
HORA: 09:00
LOCAL: Videoconferência Skype - Link: https://join.skype.com/fh4maJNiIYqt
TÍTULO:

Memoização e transformação variacional em  Análise Taint.


PALAVRAS-CHAVES:

Memoização;  Transformação Variacional;  Análise Taint; Experimento


PÁGINAS: 29
RESUMO:
No contexto da análise de linhas de produto de software, tanto a memoização
quanto o lift variacional demonstraram um grande potencial. Embora trabalhos
recentes tenham começado a explorar a combinação dessas técnicas em
análises estáticas, ainda há uma lacuna na aplicação delas a áreas críticas,
como em taint analysis, que rastreia o fluxo de dados potencialmente prejudiciais
em um programa. Propomos uma solução que integra memoização e
lift variacional, com taint analyis como foco principal. A solução será validada
por meio de implementação e avaliação empírica, investigando se taint
analysis pode ser adaptada para aproveitar os benefícios dessas técnicas.

MEMBROS DA BANCA:
Presidente - 1702036 - VANDER RAMOS ALVES
Interna - 1720223 - GENAINA NUNES RODRIGUES
Interno - 1848788 - RODRIGO BONIFACIO DE ALMEIDA
Externo à Instituição - PAULO HENRIQUE MONTEIRO BORBA - UFPE
Notícia cadastrada em: 03/10/2024 12:58
SIGAA | Secretaria de Tecnologia da Informação - STI - (61) 3107-0102 | Copyright © 2006-2025 - UFRN - app36.sigaa36