Análise esparsa de fluxo de informação

Bruno Rodrigues Silva

Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/ESBF-ACXKX9

Type:	Tese de Doutorado
Title:	Análise esparsa de fluxo de informação
Authors:	Bruno Rodrigues Silva
First Advisor:	Fernando Magno Quintao Pereira
First Referee:	Alan Mitchell Durham
Second Referee:	Diego de Freitas Aranha
Third Referee:	Felipe Maia Galvão França
metadata.dc.contributor.referee4:	Leonardo Barbosa e Oliveira
metadata.dc.contributor.referee5:	Mario Sergio Ferreira Alvim Junior
Abstract:	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.
Subject:	Criptografia de dados (Computação) Compiladores (Computadores) Computação
language:	Português
Publisher:	Universidade Federal de Minas Gerais
Publisher Initials:	UFMG
Rights:	Acesso Aberto
URI:	http://hdl.handle.net/1843/ESBF-ACXKX9
Issue Date:	19-Apr-2016
Appears in Collections:	Teses de Doutorado

Files in This Item:

File	Description	Size	Format
brunorodrigues.pdf		3.02 MB	Adobe PDF	View/Open

Show full item record