SENinja: A symbolic execution plugin for Binary Ninja

Symbolic execution is a program analysis technique that aims to automatically identify interesting inputs for an application, using them to generate program executions covering different parts of the code. It is widely used in the context of vulnerability discovery and reverse engineering. In this paper we present SENINJA, a symbolic execution plugin for the BINARYNINJA disassembler. The tool allows the user to perform symbolic execution analyses directly within the user interface of the disassembler, and can be used to support a variety of reverse engineering tasks

WEIZZ: Automatic grey-box fuzzing for structured binary formats

Fuzzing technologies have evolved at a fast pace in recent years, revealing bugs in programs with ever increasing depth and speed. Applications working with complex formats are however more difficult to take on, as inputs need to meet certain format-specific characteristics to get through the initial parsing stage and reach deeper behaviors of the program. Unlike prior proposals based on manually written format specifications, we propose a technique to automatically generate and mutate inputs for unknown chunk-based binary formats. We identify dependencies between input bytes and comparison instructions, and use them to assign tags that characterize the processing logic of the program. Tags become the building block for structure-aware mutations involving chunks and fields of the input. Our technique can perform comparably to structure-aware fuzzing proposals that require human assistance. Our prototype implementation WEIZZ revealed 16 unknown bugs in widely used programs

Seasonality of Marriages and Ecological Contexts in Rural Communities of Central-Southern Italy (Abruzzo), 1500–1871

The seasonality of 27,705 marriages celebrated in a four century span in the Province of Teramo (Abruzzo, Italy) was analyzed to identify the presence of a long-term pattern related to the prevailing subsistence activity and the main factors affecting it. The results show general agreement in all centuries with the agricultural patterns of other lowland or south-central Italian groups (Piedmont, Veneto, Liguria, Emilia Romagna, Tuscany, Latium, Campania, Apulia) and Mediterranean regions (Spain, France), although with some differences. Religious factors strongly affected the timing of marriage only during Lent. Of interest is the progressive increase through the centuries of marriages in the summer-autumn months, associated with a decrease in January and February. This suggests the passage from a summer migration system to a rural sedentary system with occasional seasonal work

Temperature increase during composites polymerisation using two LED curing lights

The aim of curing light technology has been the development of lights that would result in faster curing of resin composites and less heat generation (Aravamudhan et al., Dent Mater 2006). The purpose of this in vitro study was to evaluate thermal changes on the tooth structures during the exposure of two different light emitting diode curing units (LED)

Sorveglianza sismica a Stromboli: Settembre 1986

In the tex

Pathological and normal variability of foot bones in osteological collections from Catalonia (Spain) and Lazio (Italy)

A wide number of factors can affect the structure of the bones in the foot. In bioarchaeology, few studies about foot anomalies include population comparisons and changes across time. We aimed to identify normal and pathological variability that affected the foot in the recent history of West Mediterranean populations. Thus, we analyzed change in occurrence of rare variants, pathological lesions, entheseal morphology, and their probable causes. We studied 518 pairs of skeletonized feet dated from the 2nd–20th centuries CE, from Catalonia (Spain) and the region of Lazio (Italy). Moreover, a Neolithic series from Oman has been analyzed for contrast. We found that calcaneal spur, hypertrophic peroneal trochlea of calcaneus, periosteal reaction of talar neck, alteration of articular surface to lateral cuneiform, displaced talar neck to medial plane, osteophytes in cuneiform-navicular joint, fused phalanges, and forefoot eburnation showed significant differences among countries. Contrasting by countries and dates, we noticed an increase in the frequencies of these variables from Spain over the centuries. Conversely, there are no temporal differences among the Italian series. The period encompassing the 10th–19th centuries CE demonstrated the highest differences between countries. Lifestyle, occupations, footwear, and geography could be the origin of variability

Growth arrest-specific protein 6 protects against renal ischemia-reperfusion injury

BACKGROUND: Renal injury caused by ischemia-reperfusion (I/R) often occurs after shock or transplantation. Growth arrest-specific protein 6 (Gas6) is a secreted protein that binds to the TAM-Tyro3, Axl, Mer-family tyrosine kinase receptors, which modulate the inflammatory response and activate cell survival pathways. We hypothesized that Gas6 could have a protective role in attenuating the severity of renal injury after I/R. MATERIALS AND METHODS: Adult mice were subjected to 45 min of bilateral renal ischemia. Recombinant mouse Gas6 (rmGas6, 5 mug per mouse) or normal saline (vehicle) was administered intraperitoneally 1 h before ischemia and all subjects were sacrificed at 23 h after I/R for blood and tissue analysis. The expression of protein and messenger RNA (mRNA) was assessed by Western blotting and quantitative polymerase chain reaction, respectively. RESULTS: Treatment with rmGas6 significantly decreased serum levels of creatinine and blood urea nitrogen by 29% and 27%, respectively, improved the renal histologic injury index, and reduced the apoptosis in the kidneys, compared with the vehicle. Renal mRNA levels of interleukin 1beta, interleukin 6, tumor necrosis factor alpha, keratinocyte-derived chemokine and macrophage inflammatory protein 2 were decreased significantly by 99%, 60%, 53%, 58%, and 43%, with rmGas6 treatment, respectively. After I/R, renal I-kappa-B alpha levels were reduced by 40%, whereas they returned to sham levels with rmGas6 treatment. The mRNA levels of inducible nitric oxide synthase and cyclooxygenase 2 were reduced by 79% and 70%, respectively, whereas the expression of cyclin D1 was increased by 2.1-fold in the rmGas6-treated group, compared with the vehicle. CONCLUSIONS: Gas6 suppresses the nuclear factor kappaB pathway and promotes cell proliferation, leading to the reduction of inflammation and protection of renal injury induced by I/R