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.

Ensaio sobre o fluxo de Ricci e os buracos negros: fundamentação e estudo computacional

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

Aplicação da computação simbólica na resolução de problemas de condução de calor em cilindros vazados com condições de contorno convectivas

Pós-graduação em Engenharia Mecânica - FEG

Exotic dark spinor fields

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

Direito autoral e tecnologias de informação e comunicação no contexto da produção, uso e disseminação de informação: um olhar para as Licenças Creative Commons

The development of information and communication technologies, in particular, Internet, and its Web 2.0 information environment has led to significant changes in contemporary society as to the ways of producing informational content. Collaboration and remix, favored by the new services and applications resulting from the development of the Web, are practices which contribute for the exponential growth of information producers. An important part of humanity ceases to be a mere consumer of symbolic goods and becomes a member in a society that sees in the collaboration and remix a new form of creation, use and dissemination of intellectual content. However, as such practices involve the production and use of information intelectual content, and are ruled by a legisltion which determine determines under what conditions the author and the user must produce and use the intellectual work. This legislation established for a context prior to the develompment of the Web has created an imbalance in the context of Web 2.0 which needs to be solved in some way so as to provide the required rebalance for the flow of information. This study explores the collaborative Web environment, the scope of copyright law in Web enviroment and the Creative Commons licenses as an alternative for producers and users of information to create, recreate, share, use, reuse and disseminate legally the intellectual production for the benefit of the construction of knowledge.

Entre o êxito e a frustração com a sistematização da assistência de enfermagem

Pesquisa qualitativa orientada pelos referenciais teórico-metodológicos: Interacionismo Simbólico e Grounded Theory para compreender o processo planejamento-implementação da Sistematização da Assistência de Enfermagem (SAE), segundo dois grupos amostrais: enfermeiros e auxiliares/técnicos de enfermagem de um hospital universitário, e desenvolver uma síntese dos modelos teóricos representativos dessas experiências. A saturação teórica configurou-se mediante a análise da 24ª entrevista não diretiva de 12 enfermeiros e de 12 técnicos de enfermagem, lotados em unidades de internação. da análise emergiram dois modelos teóricos, cuja síntese originou o terceiro, intitulado Entre o êxito e a frustração com a operacionalização da SAE: recursos humanos como componente determinante para a visibilidade do enfermeiro no processo de trabalho. Este modelo desvela o déficit de recursos humanos, impulsionando o enfermeiro a realizar uma SAE ilusória, e perpetuando um processo cíclico de sofrimento, por vivenciar a invisibilidade de sua práxis no processo de trabalho.

A sinalização do enfermeiro entre os papéis de familiares visitantes e acompanhante de adulto e idoso

Trata-se de um estudo qualitativo, utilizando-se, como referencial teórico, o Interacionismo Simbólico e, como referencial metodológico, a Grounded Theory, visando: compreender a experiência interacional de familiares visitantes e acompanhantes de adultos e idosos hospitalizados, há mais de sete dias, em um Hospital Universitário de grande porte do Estado de São Paulo, e desenvolver um modelo teórico representativo dessa experiência. As estratégias para obtenção dos dados foram a observação e a entrevista. Dos resultados, emergiram dois fenômenos: vivendo a expectativa pela internação no Hospital Universitário e assumindo o papel de familiar visitante ou de familiar acompanhante. A compreensão da experiência nos permitiu ampliar o conhecimento, referente ao movimento que eles empreenderam na vivência denominada como movendo-se perante a sinalização do enfermeiro entre os papéis de familiar visitante e familiar acompanhante: compartilhando uma experiência de poucos prazeres em solidariedade ao adulto e ao idoso hospitalizados.

Violência simbólica no campo da saúde: relato de um caso de cura espiritual em um espaço terapêutico híbrido

À luz da teoria social de Pierre Bourdieu, saliento a violência simbólica concebida das relações de forças entre agentes e práticas médicas e religiosas no interior de uma instituição filantrópica voltada à assistência à saúde de portadores de deficiências múltiplas. do trabalho etnográfico, descrevo detalhes do acordo entre administradores religiosos espíritas e profissionais de saúde durante a implementação de um projeto que incluía especificamente assistência espiritual. Um caso de cura aparece como bem simbólico e sobre ele concorreram duas versões explicativas sobre a abrupta recuperação do paciente assistido durante meses na UTI por caquexia: a versão religiosa, que entendeu a reabilitação como cura espiritual, e a versão médica, que compreendeu o restabelecimento do paciente como resultado das atividades e gerência médica.

One-loop superstring amplitude from integrals on pure spinors space

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

A new proposal for the picture changing operators in the minimal pure spinor formalism

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

Matemática como discurso

Initial steps are taken towards an interpretation of the discourse of mathematics, by showing that a mathematical model does not represent, but re-present; that it is not objective, but that it invents its objects; and that it is not descriptive, but performative. Mathematics-based discursive acts become identified, as crucial elements in an interpretation of mathematics as discourse. The discursive acts are: (1) technological imagination, (2) hypothetical reasoning, (3) legitimation or justification, (4) realisation, and (5) dissolution of responsibility. Through such acts, mathematics exercises symbolic power and makes possible new forms of symbolic violence.

O 'Grupo Tapir'e a pintura de casarios (1960-1980)

Pós-graduação em Artes - IA

História e arte sacra do Conjunto Carmelita de Santos

Pós-graduação em Artes - IA

A tradição legitimada: um estudo sobre o suplemento literário sabático, do jornal O Estado de S. Paulo

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

Teorema de Thales: uma conexão entre os aspectos geométrico e algébrico em alguns livros didáticos de matemática

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