The Strengths and Behavioral Quirks of Java Bytecode Decompilers

During compilation from Java source code to bytecode, some information is irreversibly lost. In other words, compilation and decompilation of Java code is not symmetric. Consequently, the decompilation process, which aims at producing source code from bytecode, must establish some strategies to reconstruct the information that has been lost. Modern Java decompilers tend to use distinct strategies to achieve proper decompilation. In this work, we hypothesize that the diverse ways in which bytecode can be decompiled has a direct impact on the quality of the source code produced by decompilers. We study the effectiveness of eight Java decompilers with respect to three quality indicators: syntactic correctness, syntactic distortion and semantic equivalence modulo inputs. This study relies on a benchmark set of 14 real-world open-source software projects to be decompiled (2041 classes in total). Our results show that no single modern decompiler is able to correctly handle the variety of bytecode structures coming from real-world programs. Even the highest ranking decompiler in this study produces syntactically correct output for 84% of classes of our dataset and semantically equivalent code output for 78% of classes.Comment: 11 pages, 6 figures, 9 listings, 3 table

Coverage-Based Debloating for Java Bytecode

Software bloat is code that is packaged in an application but is actually not necessary to run the application. The presence of software bloat is an issue for security, for performance, and for maintenance. In this paper, we introduce a novel technique for debloating Java bytecode, which we call coverage-based debloating. We leverage a combination of state-of-the-art Java bytecode coverage tools to precisely capture what parts of a project and its dependencies are used at runtime. Then, we automatically remove the parts that are not covered to generate a debloated version of the compiled project. We successfully generate debloated versions of 220 open-source Java libraries, which are syntactically correct and preserve their original behavior according to the workload. Our results indicate that 68.3% of the libraries' bytecode and 20.5% of their total dependencies can be removed through coverage-based debloating. Meanwhile, we present the first experiment that assesses the utility of debloated libraries with respect to client applications that reuse them. We show that 80.9% of the clients with at least one test that uses the library successfully compile and pass their test suite when the original library is replaced by its debloated version

Sistema de Vigilancia de Niños por Medio de Alertas Usando Beacons para Prevenir Accidentes

El problema que afecta mayormente a las familias son los accidentes que sufren los niños. Accidentes como: caídas por subir a un estante, cortes por manipular objetos cortantes, inhalar productos tóxicos, quemaduras por tocar objetos calientes, entre otros. Como solución a este problema se propone un sistema que hace uso de alertas en el dispositivo móvil del tutor (persona encargada del cuidado del menor), para informar que un niño puede sufrir un accidente. Esta alerta es activada bajo dos condiciones la primera condición es que el niño camine en dirección a un objeto considerado como peligroso y la segunda condición es que a partir de una distancia determinada por el tutor entre el niño y el objeto, esta se acorte. El sistema además de utilizar dispositivos móviles, utiliza un beacon (dispositivo tecnológico) el cual se ubicara al frente de un objeto considerado como peligroso, el beacon emitirá señales que serán recibidas por el dispositivo móvil del niño para convertirlas en una distancia que luego se enviara a un motor de base de datos. El dispositivo móvil del tutor consultará el motor de base de datos para obtener la información y saber si el niño está cerca de un objeto peligroso; en caso el menor este cerca se activará una alerta informando que un posible accidente puede suceder. Una alerta, es el sonido que emite el dispositivo móvil del tutor para informar de un posible accidente. Entre otras características el sistema mostrara la ubicación (lugar) y la distancia entre el niño y el objeto considerado como peligroso. De esta forma se busca generar un ambiente donde la seguridad del menor sea lo más importante en la familia.Tesi

Las orgías de la imaginación: Reflexiones sobre educación, la crítica, las revistas académicas y el conocimiento científico

El presente trabajo tiene por finalidad analizar, desde una reflexión filosófica sobre la educación y la crítica a las revistas académicas e instancias eruditas de discusión, acerca de su cometido hoy. Para dicho objeto se ha dispuesto separar la investigación en tres secciones. Primero, una contextualización acerca de la educación como un proceso de liberación del hombre a la luz del pensamiento de autores como Spinoza, Lévinas, Heidegger y Weil. Segundo, se abordará a la crítica como una función operativa de esta emancipación del sujeto con miras a la re-producción de conocimiento en las sociedades. Tercero, con los insumos de secciones precedentes en el marco de las revistas académicas se intentará responder a la pregunta de: ¿qué pretenden, en definitiva, estas instancias

SOFC long term operation in pure methane by gradual internal reforming

International audienceA solid oxide fuel cell was designed to be operated in pure methane, without reforming or carrier gas. The fuel cell was built up from conventional NiO-YSZ anode supported cell with a specific Pt screen-printed anodic collecting system and a Ir-CGO catalytic layer. The operation principle is based on Gradual Internal Reforming. After an initiation in H2 for 30 minutes, the cell was operated for almost 2000 hours in pure and dry CH4 with a fuel utilization rate of 30 %. Intrinsic gradual degradation of 15 %/1000 h was observed, but no coking occurred at the anodic side

Humaria setimarginata (Pyronemataceae, Ascomycota), una nueva especie de México

Background and Aims: Humaria (Pyronemataceae, Ascomycota) is an ectomycorrhizal genus of fungi, mainly distributed in temperate forest. It is characterized by cupuliform to discoid apothecia that are covered with abundant hairs throughout the exterior of the brown ascomata, and by ellipsoid, hyaline, warty ascospores. There are 66 accepted species of which only one has been recorded in Mexico. The present study aims to describe a new species of Humaria with morphological, ecological and molecular data, found in Quercus forests from Tamaulipas, Mexico. Methods: The specimens were collected in 2019 in the Victoria municipality, Tamaulipas, Mexico. Description and morphological studies were performed according to traditional mycological techniques. Studied material was deposited in the José Castillo Tovar Mycological Herbarium of the Instituto Tecnológico de Ciudad Victoria (ITCV) and the Escuela Nacional de Ciencias Biológicas Herbarium (ENCB) of the Instituto Politécnico Nacional. Phylogenetic analyses were performed using ITS and LSU sequences of the nuclear rDNA. Key results: Humaria setimarginata sp. nov. is described and illustrated. This species is well differentiated by its morphological, molecular and ecological characteristics. It forms typically cupuliform apothecia with straight margin, abundant dark brown colored short hairs at the margin, and a greyish-white hymenium. It presents a dextrinoid reaction in the ectal excipulum in contact with Melzer´s reagent. It grows around Quercus rysophylla and Q. polymorpha in oak forests. Conclusions: Humaria setimarginata is the second species of this genus reported in Mexico, after Humaria hemisphaerica. There are several collections under the name Humaria sp. that need a revision, to expand the diversity knowledge of this genus in this country. It is possible that several species exist, considering that this genus is ectomycorrhizal and the diversity of its potential hosts is high.Antecedentes y Objetivos: Humaria (Pyronemataceae, Ascomycota) es un género de hongos ectomicorrízicos, distribuidos generalmente en bosques templados. Se caracteriza por apotecios cupuliformes a discoides que están cubiertos con abundantes pelos en todo el exterior de los ascomas marrones, y por ascosporas elipsoides, hialinas y verrucosas. Son 66 especies aceptadas de las cuales solo una ha sido registrada en México. El presente estudio tiene como objetivo describir una nueva especie de Humaria, con datos morfológicos, ecológicos y moleculares, encontrada en el bosque de Quercus de Tamaulipas, México. Métodos: Los ejemplares fueron recolectados en 2019 en el municipio Victoria, Tamaulipas, México. La descripción y los estudios morfológicos se realizaron según las técnicas micológicas tradicionales. El material estudiado fue depositado en el Herbario Micológico José Castillo Tovar del Instituto Tecnológico de Ciudad Victoria (ITCV) y en el Herbario de la Escuela Nacional de Ciencias Biológicas (ENCB) del Instituto Politécnico Nacional. Los análisis filogenéticos se realizaron utilizando secuencias ITS y LSU del ADNr nuclear. Resultados clave: Humaria setimarginata sp. nov. se describe e ilustra. Esta especie se diferencia bien por características morfológicas, moleculares y ecológicas. Forma un apotecio típicamente cupuliforme, con margen recto, abundantes pelos cortos color marrón oscuro en el margen y un himenio blanco grisáceo. Presenta una reacción dextrinoide en el excípulo ectal en contacto con el reactivo Melzer. Crece alrededor de Quercus rysophylla y Q. polymorpha en bosques de encino. Conclusiones: Humaria setimarginata es la segunda especie de este género que se reporta para México, después de Humaria hemisphaerica. Hay varias colecciones bajo el nombre de Humaria sp. que necesitan una revisión, para ampliar el conocimiento de la diversidad de este género en el país. Es posible que existan varias especies, considerando que este género es ectomicorrícico y la diversidad de sus hospedantes potenciales es alta