Análise esparsa de fluxo de informação
| dc.creator | Bruno Rodrigues Silva | |
| dc.date.accessioned | 2019-08-10T20:19:28Z | |
| dc.date.accessioned | 2025-09-08T23:35:34Z | |
| dc.date.available | 2019-08-10T20:19:28Z | |
| dc.date.issued | 2016-04-19 | |
| dc.identifier.uri | https://hdl.handle.net/1843/ESBF-ACXKX9 | |
| dc.language | Português | |
| dc.publisher | Universidade Federal de Minas Gerais | |
| dc.rights | Acesso Aberto | |
| dc.subject | Criptografia de dados (Computação) | |
| dc.subject | Compiladores (Computadores) | |
| dc.subject | Computação | |
| dc.subject.other | Compiladores | |
| dc.subject.other | Análise Estática | |
| dc.subject.other | Fluxo de Informação | |
| dc.subject.other | Segurança | |
| dc.subject.other | Canais Laterais | |
| dc.title | Análise esparsa de fluxo de informação | |
| dc.type | Tese de doutorado | |
| local.contributor.advisor1 | Fernando Magno Quintao Pereira | |
| local.contributor.referee1 | Alan Mitchell Durham | |
| local.contributor.referee1 | Diego de Freitas Aranha | |
| local.contributor.referee1 | Felipe Maia Galvão França | |
| local.contributor.referee1 | Leonardo Barbosa e Oliveira | |
| local.contributor.referee1 | Mario Sergio Ferreira Alvim Junior | |
| local.description.resumo | Análises de fluxo de informação usam o conceito de Grafo de Dependência do Programa (GDP) como uma estrutura de dados. Ele utiliza a noção de dependência de controle introduzida por Ferrante et al. p/ representar fluxos implícitos. A limitação dessa abordagem é que ela pode criar O(|I|x|E|) arestas de fluxo implícito no GDP, onde I são as instruções, e E são as arestas do seu respectivo grafo de fluxo de controle. Esta tese mostra que é possível construir análises de fluxo usando uma noção diferente de dependência implícita, que gera um número de arestas linear no número de definições + usos de variáveis. A teoria aqui desenvolvida foi usada p/ construir FlowTracker, uma ferramenta que detecta vulnerabilidades de software relacionadas ao fluxo de informação, tais como: vazamento de endereço, estouro de arranjo e canais laterais. FlowTracker é capaz de manipular mais de 1 milhão de instruções em menos que 200 seg., e cria 24% menos arestas de fluxo implícito que a técnica de Ferrante. | |
| local.publisher.initials | UFMG |
Arquivos
Pacote original
1 - 1 de 1