Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/1843/ESBF-ACXKX9| Tipo: | Tese de Doutorado |
| Título: | Análise esparsa de fluxo de informação |
| Autor(es): | Bruno Rodrigues Silva |
| Primeiro Orientador: | Fernando Magno Quintao Pereira |
| Primeiro membro da banca : | Alan Mitchell Durham |
| Segundo membro da banca: | Diego de Freitas Aranha |
| Terceiro membro da banca: | Felipe Maia Galvão França |
| Quarto membro da banca: | Leonardo Barbosa e Oliveira |
| Quinto membro da banca: | Mario Sergio Ferreira Alvim Junior |
| 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. |
| Assunto: | Criptografia de dados (Computação) Compiladores (Computadores) Computação |
| Idioma: | Português |
| Editor: | Universidade Federal de Minas Gerais |
| Sigla da Instituição: | UFMG |
| Tipo de Acesso: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/ESBF-ACXKX9 |
| Data do documento: | 19-Abr-2016 |
| Aparece nas coleções: | Teses de Doutorado |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| brunorodrigues.pdf | 3.02 MB | 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.