Análise esparsa de fluxo de informação
Autor(a) principal: | |
---|---|
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 |