Context-sensitive analysis of obfuscated x86 executables

A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.

Organização prosódica e interpretação de canções: a frase entonacional em quatro diferentes interpretações de Na batucada da vida

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Segmentações alternativas e constituintes prosódicos em Português brasileiro: uma análise através de canções da MPB

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Abordagens de análise aplicadas ao 1º movimento da sinfonia nº 3, de Gustav Malher

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Construção de signos ecológicos no projeto Meio ambiente e o processo educacional: os ecossistemas e a cultura de Ilha Comprida

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Diagoguê e suas implicações na educação do cidadão em Aristóteles

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

As paixões humanas em Thomas Hobbes: entre a ciência e a moral, o medo e a esperança

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A presença de Malinche nas crônicas de indias do século XVI

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O álbum na indústria fonográfica: contracultura e o Clube da Esquina em 1972

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Opção ou desconhecimento?: panorama da prática interpretativa ligada ao repertório vocal existente no Brasil de 1730 a 1850, sob o ponto de vista do registro fonográfico brasileiro realizado entre 1957 e 2005

Pós-graduação em Música - IA

Hibridismos musicais: Leo Brouwer e a Sonata del Caminante

Pós-graduação em Música - IA

Daniil Borisovich Elkonin: um estudo das idéias de um ilustre (des)conhecido no Brasil

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Convergência digital para apoio ao ensino de libras, com ênfase na web e no sistema brasileiro de tv digital

Pós-graduação em Ciência da Computação - IBILCE

Software em língua portuguesa/Libras com tecnologia de realidade aumentada: ensinando palavras para alunos com surdez

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O processo civilizador e o estudo do humanismo como objetivos contemporâneos

Pós-graduação em Educação - FFC