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)

A institucionalização da Língua Brasileira de Sinais no currículo escolar: a experiência da Secretaria Municipal de Educação de Castanhal - PA

Esta pesquisa teve como objetivo investigar o processo de institucionalização da disciplina de Libras no currículo oficial da Secretaria Municipal de Educação de Castanhal-Pa.O município inseriu como disciplina obrigatória, da Educação Infantil, Ensino Fundamental Regular e Educação de Jovens e Adultos, a disciplina de Libras, para todos os alunos. A partir deste dado, buscamos fazer um estudo de caso, na referida secretaria, para estudarmos o processo de institucionalização da Libras no currículo. Iniciamos com o levantamento bibliográfico, acerca das seguintes temáticas: Educação Especial, Educação Inclusiva, Educação de Surdos e Currículo. Além disso, realizamos também, o levantamento documental das legislações nacionais e internacionais que norteiam a educação especial e a inclusiva, mais ainda as específicas da área da surdez. Buscamos também, em Castanhal os documentos referentes a inserção da disciplina. Para a coleta de dados, utilizamos a entrevista semi-estruturada com dois técnicos da secretaria e o Secretário de Educação, por estarem ligados diretamente com a inserção da disciplina. E, a partir dos dados, observamos que a Libras foi inserida, pela equipe técnica da secretaria, juntamente com o Secretário de Educação (não envolvendo a comunidade escolar), justificando tal inserção, tanto pela barreira comunicativa do surdo, quanto pela necessidade de uma política inclusiva. Legalmente, a disciplina foi fundamentada no direito à educação, proposto tanto pela Constituição de 1988, quanto pela LDB nº9394/96, além do direito outorgado ao surdo, de ter acesso à Libras, conforme afirma a Lei 10.098/00 e o Decreto nº5626/05 e, no município, a disciplina é inserida, na Parte Diversificada do currículo, por meio do Regimento Unificado da Rede Municipal de Ensino de Castanhal. Para viabilizar a oferta da disciplina, o município: oferece formação para os professores; intérprete de Libras, em algumas escolas; instrutor na equipe técnica, para dar suporte e formação; material didático, produzido pelos professores, com o apoio da equipe técnica e do Secretário, na busca de materiais específicos em Libras, para subsidiar a prática de sala de aula. O município, propõe-se a realizar uma educação bilíngüe, no entanto, permite a comunicação total, além disso, o currículo é permeado de contradições pois, de um lado incentiva a eliminação de barreiras atitudinais, mas, por outro, ainda reflete um modelo médico clínico de surdez, através de conteúdos que ressaltam a deficiência. Além dessa questão, a oferta da disciplina para surdos e ouvintes, exige o tratamento da mesma como primeira e como segunda língua, o que não é contemplado nos cursos de formação. Por fim, percebemos que apesar de ser louvável esta iniciativa, ainda há lacunas, que devem ser problematizadas nesse processo, a fim de construir uma disciplina que respeite o status linguístico e cultural da Libras.