Rastreamento de Fluxo de Informação em Estruturas de Dados


O objetivo deste projeto é desenvolver uma técnica de análise de fluxo de informação capaz de rastrear a propagação de informação em estruturas de dados. Como prova de conceito, esperamos usar nosso algoritmo para encontrar vazamentos de endereços em dois interpretadores JavaScript de código aberto: SpiderMonkey, usado pelo navegador Mozilla Firefox, e V8, usado pelo navegador Google Chrome. O valor de um algoritmo de análise de fluxo de informação é medido pela sua capacidade de encontrar falhas de segurança em programas. É nosso intuito reportar vazamentos de informações nesses dois navegadores que não possam ser identificados via outras ferramentas de análise de programas de propósito similar ao nosso. As ferramentas desenvolvidas estarão disponíveis para o público geral como software livre.