Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

A concepção de desenvolvimento sustentável nos parâmetros curriculares nacionais

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

Educação inclusiva: uma análise crítica da prática pedagógica de uma professora de sala de recursos

Pós-graduação em Psicologia do Desenvolvimento e Aprendizagem - FC

A evolução na prática da educação: o uso das mídias como ferramentas no ensino/aprendizagem da educação matemática

It is possible to note that the teaching done in the usual way goes against the language of youth today. It is essential that there be incentives and subsidies regarding the use of such media, whether the responsible government agencies and their members, be they principals and teachers, so there is a reform in the existing educational models and teaching. Currently, teaching is in a purely encyclopedic context of teaching models with pre-defined, ignoring the teaching based on the context in which the student lives (ethnomathematics). The objective of this work is to show how the use of audiovisual best known, such as newspapers, magazines, TV and computers can assist in teaching and learning of mathematics education, making teaching more enjoyable and inserted into the day-to-day student

A elaboração de um repertório semibilíngue de somatismos fraseológicos do português brasileiro para aprendizes argentinos

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

Pertencer e deslocar virtualmente: Teletandem como espaço antropofágico

Pós-graduação em Estudos Linguísticos - IBILCE

PROFESSOR E PROFESSOR DE MATEMÁTICA: DAS INFORMAÇÕES QUE SE TEM ACERCA da FORMAÇÃO QUE SE ESPERA

O presente artigo faz um levantamento da bibliografia disponível acerca da formação de professores em cursos de licenciatura, iniciando com um tratamento hermenêutico ao termo formação, passando pela atual situação dos docentes no estado de São Paulo. Caracteriza a constituição das instituições formadoras e levanta aspectos convergentes em relação ao tratamento do tema na literatura. Finalmente são feitas considerações específicas sobre a formação dos professores em cursos de Licenciatura em Matemática.

Absenteísmo por motivos odontológico e médico nos serviços público e privado

O absenteísmo é um assunto de interesse crescente devido ao atual contexto econômico de competitividade, que faz com que as empresas procurem meios para diminuir sua ocorrência, aumentando a rentabilidade e com isso crescendo de forma sustentada. Procurou-se estudar o absenteísmo por razões odontológicas e médicas, nos serviços público e privado, analisando se a idade, o sexo e a função do trabalhador, além do regime empregatício, interferem na sua ocorrência. Desenvolveu-se o estudo na prefeitura do município de Araçatuba, São Paulo, Brasil, e em uma indústria acrílica. Para a coleta dos dados, analisaram-se todos os atestados odontológicos e médicos, que deram entrada nas empresas no período de janeiro a junho de 2002 e as listagens dos trabalhadores. Verificou-se que a falta por motivos odontológicos tiveram pouco peso sobre o total de faltas por motivo de doença, além de provocarem o afastamento do trabalhador por um período menor. As variáveis idade, sexo, função e regime empregatício influenciaram na ocorrência do absenteísmo ao trabalho. A disponibilidade dessas informações deverá ser muito importante, pois, visto as inúmeras variáveis envolvidas, facilitarão a tomada de decisões das distintas estratégias para sua prevenção.

O emprego de linguagens acessíveis para alunos com deficiência visual em aulas de Óptica

O presente artigo encontra-se inserido dentro de um estudo que busca compreender as principais alternativas para a inclusão de alunos com deficiência visual no contexto do ensino de física. Focalizando aulas de óptica, analisa as viabilidades comunicacionais entre licenciandos e discentes com deficiência visual. Para tal, enfatiza as estruturas empírica e semântico-sensorial das linguagens utilizadas, indicando fatores geradores de acessibilidade às informações veiculadas. Recomenda, ainda, alternativas que visam dar condições à participação efetiva do discente com deficiência visual no processo comunicativo, das quais se destacam: a identificação da estrutura semântico-sensorial dos significados veiculados, o conhecimento da história visual do aluno, a utilização de linguagens de estrutura empírica tátil-auditiva interdependente em contextos interativos, bem como, a exploração das potencialidades comunicacionais das linguagens constituídas de estruturas empíricas fundamental auditiva, e auditiva e visual independentes.

Análise e implementação da nova proposta pedagógica estadual para o ensino de língua inglesa no ensino fundamental

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

Ensinar e aprender Matemática em contextos de aceleração da aprendizagem

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

O Testamento de Dona Balbina: um estudo de caso sobre escravidão e propriedade em Guarapuava (1851-1865)

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

Zoneamento geoambiental da bacia hidrográfica da Represa Laranja Doce - Martinópolis (SP)

Pós-graduação em Geografia - IGCE

A expressão da criatividade na dança

Pós-graduação em Ciências da Motricidade - IBRC

Teletandem: sessões de orientação e suas perspectivas para o curso de letras

Pós-graduação em Estudos Linguísticos - IBILCE