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.

Concepções de médicos/as e enfermeiros/as sobre questões de gênero na saúde

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

O gênero nas ciências da saúde: produção e reprodução de concepções sobre a diferença entre homens e mulheres

The historical and social process has built models of masculinity and femininity that culminate in standards and norms to be followed by individuals in their social interactions. In recent decades studies based on the discussions that originated in the feminist movement have been investigating how social institutions, including medicine and other health sciences, have established standards of masculinity and femininity throughout the history, nurturing this sexist discourse on common sense and sciences. Social roles are assigned to the genera specifying rigid boundaries of behavior and social control. The notion of the female predisposition to physical and emotional disorders has prompted speculation within academic strands culminating in the creation of specialized medical illness that would prevent the female, the male permeated by notions of endurance and strength has become synonymous of a healthy body, confirming the male domination and the economic and political role of men. This research concerned to study and investigate through semi-structured interviews and content analysis, conceptions of gender and the differences between men and women in reports of 11 health professionals. The results indicate that in large part the conceptions of health professionals reproduce the hegemonic discourse about what being a man and woman. Further research could investigate the relationship between women and men with health care as well the care provided by health professionals

Microstructural Characterization of Ti-6Al-7Nb Alloy After Severe Plastic Deformation

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

Short-Term Effects of the Use of Non-Rigid Tools for Postural Control by Adults with Intellectual Disabilities

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

A family of stadium-like billiards with parabolic boundaries under scaling analysis

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

The rigid-flexible nonlinear robotic manipulator: Modeling and control

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

Rapidly varying boundaries in equations with nonlinear boundary conditions. The case of a Lipschitz deformation

We analyze the behavior of solutions of nonlinear elliptic equations with nonlinear boundary conditions of type partial derivative u/partial derivative n + g( x, u) = 0 when the boundary of the domain varies very rapidly. We show that the limit boundary condition is given by partial derivative u/partial derivative n+gamma(x) g(x, u) = 0, where gamma(x) is a factor related to the oscillations of the boundary at point x. For the case where we have a Lipschitz deformation of the boundary,. is a bounded function and we show the convergence of the solutions in H-1 and C-alpha norms and the convergence of the eigenvalues and eigenfunctions of the linearization around the solutions. If, moreover, a solution of the limit problem is hyperbolic, then we show that the perturbed equation has one and only one solution nearby.

VERY RAPIDLY VARYING BOUNDARIES IN EQUATIONS WITH NONLINEAR BOUNDARY CONDITIONS. THE CASE of A NON UNIFORMLY LIPSCHITZ DEFORMATION

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

Schottky-type grain boundaries in CCTO ceramics

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

Electron transfer by singlet excited state of porphyn and electron acceptor affinity in rigid medium: photoacoustic phase angle analysis

A espectroscopia fotoacústica obtém informações sobre amplitude e fase, da resposta de um sistema submetido a excitação por luz. Este artigo apresenta estudos do ângulo de fase no processo de transfereência de elétrons entre octaetilporfirina (OEP) e derivados de quinona ambos dispersos em uma matriz polimérica. Observou-se uma tendência no comportamento da fase para valores menores na região espectral próximo de 620 nm. Enquanto que para comprimentos de onda menores este efeito não foi apresentado. Estas medidas sugerem que a transferência de elétrons para o aceitador ocorreu com a participação do estado singleto excitado da octaetilporfirina.

Attitude stabilization of a rigid spacecraft in the geomagnetic field

An analytical method is proposed to study the attitude stability of a triaxial spacecraft moving in a circular Keplerian orbit in the geomagnetic field. The method is developed based on the electrodynamics effect of the influence of the Lorentz force acting on the charged spacecraft's surface. We assume that the rigid spacecraft is equipped with an electrostatic charged protective shield, having an intrinsic magnetic moment. The main elements of this shield are an electrostatic charged cylindrical screen surrounding the protected volume of the spacecraft. The rotational motion of the spacecraft about its centre of mass due to torques from gravitational force, as well Lorentz and magnetic forces is investigated. The equilibrium positions of the spacecraft in the orbital coordinate system are obtained. The necessary and sufficient conditions for the stability of the spacecraft's equilibrium positions are constructed using Lyapunov's direct method. The numerical results have shown that the Lorentz force has a significant influence on the stability of the equilibrium positions, which can affect the attitude stabilization of the spacecraft. (C) 2007 COSPAR. Published by Elsevier Ltd. All rights reserved.

A SIMPLE NUMERICAL-METHOD FOR HYDROSTATIC INCOMPRESSIBLE MODELS WITH RIGID LIDS

A simple and easily implemented method is developed to keep the vertical velocity equal to zero at the bottom and top of hydrostatic incompressible numerical models. The pressure is computed at the top by correcting its value given in the previous time step so that the vertical integral of the horizontal divergence is zero at each column. Numerical experiments that exhibit small time variations of pressure at the top are able to simplify the algorithm and save computer time. Numerical simulations illustrate the method effectiveness for a horizontal deformation-induced frontogenesis.