Precise static happens-before analysis for detecting UAF order violations in android

© 2019 IEEE. Unlike Java, Android provides a rich set of APIs to support a hybrid concurrency system, which consists of both Java threads and an event queue mechanism for dispatching asynchronous events. In this model, concurrency errors often manifest themselves in the form of order violations. An order violation occurs when two events access the same shared object in an incorrect order, causing unexpected program behaviors (e.g., null pointer dereferences). This paper presents SARD, a static analysis tool for detecting both intra-and inter-thread use-after-free (UAF) order violations, when a pointer is dereferenced (used) after it no longer points to any valid object, through systematic modeling of Android's concurrency mechanism. We propose a new flow-and context-sensitive static happens-before (HB) analysis to reason about the interleavings between two events to effectively identify precise HB relations and eliminate spurious event interleavings. We have evaluated SARD by comparing with NADROID, a state-of-the-art static order violation detection tool for Android. SARD outperforms NADROID in terms of both precision (by reporting three times fewer false alarms than NADROID given the same set of apps used by NADROID) and efficiency (by running two orders of magnitude faster than NADROID)

Electron Acceleration by Multi-Island Coalescence

Energetic electrons of up to tens of MeV are created during explosive phenomena in the solar corona. While many theoretical models consider magnetic reconnection as a possible way of generating energetic electrons, the precise roles of magnetic reconnection during acceleration and heating of electrons still remain unclear. Here we show from 2D particle-in-cell simulations that coalescence of magnetic islands that naturally form as a consequence of tearing mode instability and associated magnetic reconnection leads to efficient energization of electrons. The key process is the secondary magnetic reconnection at the merging points, or the `anti-reconnection', which is, in a sense, driven by the converging outflows from the initial magnetic reconnection regions. By following the trajectories of the most energetic electrons, we found a variety of different acceleration mechanisms but the energization at the anti-reconnection is found to be the most important process. We discuss possible applications to the energetic electrons observed in the solar flares. We anticipate our results to be a starting point for more sophisticated models of particle acceleration during the explosive energy release phenomena.Comment: 14 pages, 12 figures (degraded figure quality), 1 table. Accepted for publication in ApJ

The Additional Line Component within the Iron K\alpha Profile in MCG-6-30-15: Evidence for Blob Ejection?

The EPIC data of MCG -6-30-15 observed by XMM-Newton were analyzed for the complexities of the iron K-alpha line. Here we report that the additional line component (ALC) at 6.9 keV undoubtedly appears within the broad iron Kalpha; line profile at the high state, whereas it disappears at the low state. These state-dependent behaviors exclude several possible origins and suggest an origin of the ALC in matter being ejected from the vicinity of the black hole. At the low state, the newborn blob ejected from the accretion disk is so Thomson-thick that hard X-rays are blocked from ionizing the old blobs, leading to the disappearance of the ALC. When the blob becomes Thomson-thin as a result of expansion, the hard X-ray will penetrate it and ionize the old ones, emitting the ALC at the high state. The blob ejection is the key to switching the ALC on or off.Comment: 6 pages, 4 Figure

Estrogen Deficiency and Diet Differentially Regulate Goblet Cell Count and Inflammation in Gut

Click the PDF icon to download the abstrac

Bacteria-Resistant, Transparent, Free-standing Films Prepared from Complex Coacervates

We report the fabrication, properties, and bacteria-resistance of polyelectrolyte complex (PEC) coatings and free-standing films. Poly(4-styrenesulfonic acid), poly(diallyldimethylammonium chloride), and salt were spin-coated into PEC films. After thermal annealing in a humid environment, highly transparent, mechanically strong, and chemically robust films were formed. Notably, we demonstrate that PEC coatings significantly reduce the attachment of Escherichia coli K12 without killing the microorganisms. We suggest that forming bacteria-resistant surface coatings from commercially available polymers holds the potential for use across a wide range of applications, including high-touch surfaces in medical settings

Light-Front Quantization and AdS/QCD: An Overview

We give an overview of the light-front holographic approach to strongly coupled QCD, whereby a confining gauge theory, quantized on the light front, is mapped to a higher-dimensional anti de Sitter (AdS) space. The framework is guided by the AdS/CFT correspondence incorporating a gravitational background asymptotic to AdS space which encodes the salient properties of QCD, such as the ultraviolet conformal limit at the AdS boundary at $z \to 0$, as well as modifications of the geometry in the large $z$ infrared region to describe confinement and linear Regge behavior. There are two equivalent procedures for deriving the AdS/QCD equations of motion: one can start from the Hamiltonian equation of motion in physical space time by studying the off-shell dynamics of the bound state wavefunctions as a function of the invariant mass of the constituents. To a first semiclassical approximation, where quantum loops and quark masses are not included, this leads to a light-front Hamiltonian equation which describes the bound state dynamics of light hadrons in terms of an invariant impact variable $\zeta$ which measures the separation of the partons within the hadron at equal light-front time. Alternatively, one can start from the gravity side by studying the propagation of hadronic modes in a fixed effective gravitational background. Both approaches are equivalent in the semiclassical approximation. This allows us to identify the holographic variable $z$ in AdS space with the impact variable $\zeta$. Light-front holography thus allows a precise mapping of transition amplitudes from AdS to physical space-time. The internal structure of hadrons is explicitly introduced and the angular momentum of the constituents plays a key role.Comment: Invited talk presented by GdT at the XIV School of Particles and Fields, Morelia, Mexico, November 8-12, 201

Anatomical changes in the East Asian midface skeleton with aging

Background: Understanding the aging process of the midface skeleton is considered crucial for correct facial rejuvenation. However, the canine fossa, an important morphological feature of the midface skeleton, has not yet been observed in connection with aging, despite the fact that it is the most main part of the maxillary bone. Here, the authors focus on the depression of the canine fossa to evaluate the Asian midface skeleton. Materials and methods: Computed tomography (CT) scans of the facial skeleton of 114 Koreans (59 males and 55 females) were reconstructed to three-dimensional (3D) images using a 3D analysis software programme. The study subjects included 27 young males, 32 old males, 28 young females and 27 old females. The angular measurements of three bony regions were measured for each 3D model: the canine fossa angle (assessing depth of the canine fossa), the maxillary angle (assessing orientation of the lateral maxilla) and the piriform angle (assessing orientation of the medial maxilla). Results: The canine fossa angle showed a statistically significant decrease with aging in both sexes, indicating the canine fossa actually becomes more concave with age. In contrast, the maxillary and piriform angle showed statistically insignificant changes with aging in female subjects. Conclusions: These results suggest that the canine fossa may be one of the effective markers to evaluate the anatomical changes to the facial skeleton with midface aging. (

Geospatial information infrastructures

Manual of Digital Earth / Editors: Huadong Guo, Michael F. Goodchild, Alessandro Annoni .- Springer, 2020 .- ISBN: 978-981-32-9915-3Geospatial information infrastructures (GIIs) provide the technological, semantic,organizationalandlegalstructurethatallowforthediscovery,sharing,and use of geospatial information (GI). In this chapter, we introduce the overall concept and surrounding notions such as geographic information systems (GIS) and spatial datainfrastructures(SDI).WeoutlinethehistoryofGIIsintermsoftheorganizational andtechnologicaldevelopmentsaswellasthecurrentstate-of-art,andreflectonsome of the central challenges and possible future trajectories. We focus on the tension betweenincreasedneedsforstandardizationandtheever-acceleratingtechnological changes. We conclude that GIIs evolved as a strong underpinning contribution to implementation of the Digital Earth vision. In the future, these infrastructures are challengedtobecomeflexibleandrobustenoughtoabsorbandembracetechnological transformationsandtheaccompanyingsocietalandorganizationalimplications.With this contribution, we present the reader a comprehensive overview of the field and a solid basis for reflections about future developments