We present a new algorithm for the detection of inﬁnite loop bugs in software. Source code is not needed. The algorithm is based on autocorrelation of a program executions 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 inﬁnite 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 inﬁnite loop bugs in cgit, Avahi and PHP.
Further information: PDF
Bayerische Patentallianz GmbH
Phone: +49 89 5480177-0
Dr. Robert Phelps
As Germany's association of technology- and patenttransfer agencies TechnologieAllianz e.V. is offering businesses access to the entire range of innovative research results of almost all German universities and numerous non-university research institutions. More than 2000 technology offers of 14 branches are beeing made accessable to businesses in order to assure your advance on the market. At www.technologieallianz.de a free, fast and non-bureaucratic access to all further offers of the German research landscape is offered to our members aiming to sucessfully transfer technologies.
firstname.lastname@example.org | TechnologieAllianz e.V.
New Lithium Salts of Pentafluorophenylamide Anions as Electrolytes in Lithium Ionic Batteries
18.04.2017 | TechnologieAllianz e.V.
Gratings on glass surfaces
28.03.2017 | TechnologieAllianz e.V.
A widely used diabetes medication combined with an antihypertensive drug specifically inhibits tumor growth – this was discovered by researchers from the University of Basel’s Biozentrum two years ago. In a follow-up study, recently published in “Cell Reports”, the scientists report that this drug cocktail induces cancer cell death by switching off their energy supply.
The widely used anti-diabetes drug metformin not only reduces blood sugar but also has an anti-cancer effect. However, the metformin dose commonly used in the...
A research team from the University of Zurich has developed a new drone that can retract its propeller arms in flight and make itself small to fit through narrow gaps and holes. This is particularly useful when searching for victims of natural disasters.
Inspecting a damaged building after an earthquake or during a fire is exactly the kind of job that human rescuers would like drones to do for them. A flying...
Over the last decade, there has been much excitement about the discovery, recognised by the Nobel Prize in Physics only two years ago, that there are two types...
What if a sensor sensing a thing could be part of the thing itself? Rice University engineers believe they have a two-dimensional solution to do just that.
Rice engineers led by materials scientists Pulickel Ajayan and Jun Lou have developed a method to make atom-flat sensors that seamlessly integrate with devices...
Scientists at the University of Stuttgart and the Karlsruhe Institute of Technology (KIT) succeed in important further development on the way to quantum Computers.
Quantum computers one day should be able to solve certain computing problems much faster than a classical computer. One of the most promising approaches is...
12.12.2018 | Event News
10.12.2018 | Event News
06.12.2018 | Event News
12.12.2018 | Health and Medicine
12.12.2018 | Physics and Astronomy
12.12.2018 | Health and Medicine