We present a new algorithm for the detection of infinite loop bugs in software. Source code is not needed. The algorithm is based on autocorrelation of a program execution’s branch target address sequence. We describe the implementation of the algorithm in a dynamic binary instrumentation tool; the result is light-weight enough to be applied continuously at runtime. Functionality of the tool is
evaluated with infinite loop bug test cases from the Juliet test suite for program analyzers. Applicability of the algorithm to production software is demonstrated by using the tool to detect previously known infinite loop bugs in cgit, Avahi and PHP.

Academic and industry partners from nine different countries join forces to achieve the ambitious goals of the project which has started at the beginning of…

Organ models, which are cultivated in the laboratory from human stem cells and grow into living tissue, are one of the most important scientific breakthroughs…

Functional disorders in organs that manifest in conjunction with tumors are called paraneoplastic syndromes. These syndromes are not caused by the primary…

The team of scientists led by Rita Schüler and Andreas F. H. Pfeiffer of DIfE has now published its results in the journal JAHA: Journal of the American Heart…

As product diversity increases, the complexity of production processes is also rising. The consequence: employees, too, must be re-qualified. With the help of…

Chemists at Johannes Gutenberg University Mainz (JGU) have developed a method that reliably hinders hazardous seawater fouling and is effective, affordable,…

The first global overview of the effects of roads on carnivores offers new insights for the protection of well-known species such as the puma (Puma concolor),…

The chemical analysis of biological tissues with three-dimensional shapes has been a major problem so far. Researchers at the Max Planck Institute for Chemical…

A team of astronomers led by Fatemeh Tabatabaei from the Instituto de Astrofisica de Canarias (IAC), including scientists from two Max Planck institutes…

A tiny snail may offer an alternative to opioids for pain relief. Scientists at the University of Utah have found a compound that blocks pain by targeting a…

An international team of researchers has identified a core set of genes involved in the responses of honey bees to multiple diseases caused by viruses and…

According to a nutrition study led by the German Institute of Human Nutrition (DIfE), a partner of the German Center for Diabetes Research, the so-called…

A dynamic safety concept has been implemented in the Industrie 4.0 demo production plant of the SmartFactoryKL consortium on the basis of an industrial,…

It is well established that aging promotes the development of obesity. The aging process is not only accompanied by larger fat depots but also by excessive…

Light is absorbed differently, depending on the material it shines on. An international research team including material scientists from Kiel University has…

Nanotechnology constantly allows for new records in miniaturization. Reduction of the dimension of electronic components, however, has physical limits that…

Astrophysicists get their insights of the universe and its objects from analyzing huge amounts of data from observations and simulations of stars, galaxies and…

When temperatures rise, the complex relationships between species are changing. Prey species not only become stronger competitors for scarce resources, but…

An interdisciplinary team of scientists at the Max Planck Institute for Chemical Ecology in Jena, Germany, has described a gene in Nicotiana attenuata which…