Análise esparsa de fluxo de informação

Detalhes bibliográficos
Autor(a) principal: Bruno Rodrigues Silva
Data de Publicação: 2016
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFMG
Texto Completo: http://hdl.handle.net/1843/ESBF-ACXKX9
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.
id UFMG_2ce1958ab5bddad5682c5f450b166ed1
oai_identifier_str oai:repositorio.ufmg.br:1843/ESBF-ACXKX9
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Fernando Magno Quintao PereiraAlan Mitchell DurhamDiego de Freitas AranhaFelipe Maia Galvão FrançaLeonardo Barbosa e OliveiraMario Sergio Ferreira Alvim JuniorBruno Rodrigues Silva2019-08-10T20:19:28Z2019-08-10T20:19:28Z2016-04-19http://hdl.handle.net/1843/ESBF-ACXKX9Aná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.Universidade Federal de Minas GeraisUFMGCriptografia de dados (Computação)Compiladores (Computadores)ComputaçãoCompiladoresAnálise EstáticaFluxo de InformaçãoSegurançaCanais LateraisAnálise esparsa de fluxo de informaçãoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALbrunorodrigues.pdfapplication/pdf3091443https://repositorio.ufmg.br/bitstream/1843/ESBF-ACXKX9/1/brunorodrigues.pdf8bc7048f83dcd323cdea85e15059566bMD51TEXTbrunorodrigues.pdf.txtbrunorodrigues.pdf.txtExtracted texttext/plain198284https://repositorio.ufmg.br/bitstream/1843/ESBF-ACXKX9/2/brunorodrigues.pdf.txtd8397a031321a0a7d55620fd1245ae67MD521843/ESBF-ACXKX92019-11-14 11:06:59.581oai:repositorio.ufmg.br:1843/ESBF-ACXKX9Repositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-14T14:06:59Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.pt_BR.fl_str_mv Análise esparsa de fluxo de informação
title Análise esparsa de fluxo de informação
spellingShingle Análise esparsa de fluxo de informação
Bruno Rodrigues Silva
Compiladores
Análise Estática
Fluxo de Informação
Segurança
Canais Laterais
Criptografia de dados (Computação)
Compiladores (Computadores)
Computação
title_short Análise esparsa de fluxo de informação
title_full Análise esparsa de fluxo de informação
title_fullStr Análise esparsa de fluxo de informação
title_full_unstemmed Análise esparsa de fluxo de informação
title_sort Análise esparsa de fluxo de informação
author Bruno Rodrigues Silva
author_facet Bruno Rodrigues Silva
author_role author
dc.contributor.advisor1.fl_str_mv Fernando Magno Quintao Pereira
dc.contributor.referee1.fl_str_mv Alan Mitchell Durham
dc.contributor.referee2.fl_str_mv Diego de Freitas Aranha
dc.contributor.referee3.fl_str_mv Felipe Maia Galvão França
dc.contributor.referee4.fl_str_mv Leonardo Barbosa e Oliveira
dc.contributor.referee5.fl_str_mv Mario Sergio Ferreira Alvim Junior
dc.contributor.author.fl_str_mv Bruno Rodrigues Silva
contributor_str_mv Fernando Magno Quintao Pereira
Alan Mitchell Durham
Diego de Freitas Aranha
Felipe Maia Galvão França
Leonardo Barbosa e Oliveira
Mario Sergio Ferreira Alvim Junior
dc.subject.por.fl_str_mv Compiladores
Análise Estática
Fluxo de Informação
Segurança
Canais Laterais
topic Compiladores
Análise Estática
Fluxo de Informação
Segurança
Canais Laterais
Criptografia de dados (Computação)
Compiladores (Computadores)
Computação
dc.subject.other.pt_BR.fl_str_mv Criptografia de dados (Computação)
Compiladores (Computadores)
Computação
description 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.
publishDate 2016
dc.date.issued.fl_str_mv 2016-04-19
dc.date.accessioned.fl_str_mv 2019-08-10T20:19:28Z
dc.date.available.fl_str_mv 2019-08-10T20:19:28Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1843/ESBF-ACXKX9
url http://hdl.handle.net/1843/ESBF-ACXKX9
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.publisher.initials.fl_str_mv UFMG
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
bitstream.url.fl_str_mv https://repositorio.ufmg.br/bitstream/1843/ESBF-ACXKX9/1/brunorodrigues.pdf
https://repositorio.ufmg.br/bitstream/1843/ESBF-ACXKX9/2/brunorodrigues.pdf.txt
bitstream.checksum.fl_str_mv 8bc7048f83dcd323cdea85e15059566b
d8397a031321a0a7d55620fd1245ae67
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv
_version_ 1803589458654658560

Registros relacionados