Orientador: Aleardo Manacero Junior / Banca: Sergio Azevedo de Oliveira / Banca: Francisco Villarreal Alvarado / Banca: Rodolfo Jardim Azevedo / Banca: André Luiz Moura dos Santos / Resumo: Ofusca c~ao de c odigo tem por nalidade di cultar a detec c~ao de propriedades intr nsecas de um algoritmo atrav es de altera c~oes em sua sintaxe, entretanto preservando sua sem^antica. Desenvolvedores de software usam ofusca c~ao de c odigo para defender seus programas contra ataques de propriedade intelectual e para aumentar a seguran ca do c odigo. Por outro lado, programadores maliciosos geralmente ofuscam seus c odigos para esconder comportamento malicioso e para evitar detec c~ao pelos anti-v rus. Nesta tese, e introduzido um m etodo para realizar an alise com sensitividade ao contexto em bin arios com ofuscamento de chamada e retorno de procedimento. Para obter sem^antica equivalente, estes bin arios utilizam opera c~oes diretamente na pilha ao inv es de instru c~oes convencionais de chamada e retorno de procedimento. No estado da arte atual, a de ni c~ao de sensitividade ao contexto est a associada com opera c~oes de chamada e retorno de procedimento, assim, an alises interprocedurais cl assicas n~ao s~ao con aveis para analisar bin arios cujas opera c~oes n~ao podem ser determinadas. Uma nova de ni c~ao de sensitividade ao contexto e introduzida, baseada no estado da pilha em qualquer instru c~ao. Enquanto mudan cas em contextos a chamada de procedimento s~ao intrinsicamente relacionadas com transfer^encia de controle, assim, podendo ser obtidas em termos de caminhos em um grafo de controle de uxo interprocedural, o mesmo n~ao e aplic avel para mudan cas em contextos a pilha. Um framework baseado em interpreta c~ao abstrata e desenvolvido para avaliar contexto baseado no estado da pilha e para derivar m etodos baseado em contextos a chamada de procedimento para uso com contextos baseado no estado da pilha. O metodo proposto n~ao requer o uso expl cito de instru c~oes de chamada e retorno de procedimento, por em depende do... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: A code obfuscation intends to confuse a program in order to make it more di cult to understand while preserving its functionality. Programs may be obfuscated to protect intellectual property and to increase security of code. Programs may also be obfuscated to hide malicious behavior and to evade detection by anti-virus scanners. We introduce a method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations. These binaries may use direct stack operators instead of the native call and ret instructions to achieve equivalent behavior. Since de nition of context-sensitivity and algorithms for context-sensitive analysis has thus far been based on the speci c 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 ow graph (ICFG), the same is not true for changes in stackcontext. An abstract interpretation based framework is developed to reason about stackcontext and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. This analysis requires the knowledge of how the stack, rather the stack pointer, is represented and on the knowledge of operators that manipulate the stack pointer. 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 contextsensitive version of the algorithm generates more precise results and is also computationally more e cient than its context-insensitive counterpart. / Doutor

Orientador: Osmar de Carvalho Bueno / Banca: Sergio Campos / Banca: Paulo Torres Fenner / Banca: Osmar Delmanto Junior / Banca: Alessandro Antonangelo / Resumo: A região de Botucatu tem tradição na indústria de exploração madeireira e possui grandes áreas de mata natural e de reflorestamento. Devido às atuais discussões sobre a Reserva Legal, este trabalho tem por objetivo conhecer a distribuição das áreas agrícolas da região em suas variadas explorações, com especial ênfase às áreas de mata natural, comparar os valores municipais com aqueles dispostos no Código Florestal Brasileiro, de forma a analisar o processo de implantação dos 20% de área de florestas em relação à área total agrícola, em nível macro municipal e regional, sem considerar as áreas de cada uma das propriedades agrícolas e nem a bacia hidrográfica às quais pertencem. Os resultados do trabalho, desenvolvido com dados secundários do projeto LUPA da Secretaria da Agricultura do Estado de São Paulo, relativos aos anos 1995/1996 e 2007/2008, mostram que todos os municípios pertencentes à região não possuem áreas de mata natural iguais ou superiores aos 20% da área total e que portanto terão que reflorestar sem finalidade exploratória, a não ser cumprir os preceitos da legislação; que o município de Pereiras apresentou no período de 1996 a 2008 leve involução na área de mata natural; que não levando em consideração possíveis incrementos futuros na área total agrícola, os municípios de Areiópolis e, em seguida, Pratânia, terão de aumentar a taxa de reflorestamento em relação à taxa de regeneração da mata natural efetiva entre 1996 e 2008, visando a atingir os 20% da área total com matas naturais ou com florestas que não venham a ser exploradas e que dentre estas, a maior velocidade deverá ser implementada pelo município de Areiópolis; que o município de Itatinga e, em menor magnitude o de Pardinho terão que empregar taxas de implantação... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The region of Botucatu, Brazil, is traditionally known for its logging industries and has large natural and reforested forests. Due to the considerations on the Legal Forest Reserve, the aim of this paper is to show the distribution of the farming areas in the region and their application - especially natural forests. Also, to compare the municipal values with those stated in the Brazilian Forestry Code in order to analyze the process of implementing 20% of forest area in relation to the total farming area, at municipal and regional levels, not considering the areas of each of the farms nor the watershed to which they belong. The work results - developed from secondary data from the LUPA Project of the State of São Paulo Department of Agriculture, years of 1995/1996 and 2007/2008 - show that all municipalities in the region of Botucatu do not have forest areas equal to or greater than 20% of total area. Therefore, a non-exploratory reforestation procedure will have to be implemented to follow legal requirements. The results also show that the municipality of Pereiras presented - from 1996 to 2008 - a slight regression in the area of natural forest; that the municipalities of Areiópolis and Pratânia will have to increase the reforestation rate over the regeneration rate of the effective natural forest area between 1996 and 2008 in order to achieve the 20% of total area with natural forests or forests which will not be explored - not taking into consideration, though, future farming increments. Still, Areiópolis will have to implement it the fastest. The results also show that the municipality of Itatinga - and, to a lesser extent, the municipality of Pardinho - will need to employ a lower implementation rate than the one verified in the effective regeneration of forests between... (Complete abstract click electronic access below) / Doutor