Autocorrelation-Based Detection of Infinite Loops at Runtime
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.
Further information: PDF
Bayerische Patentallianz GmbH
Phone: +49 89 5480177-0
Contact
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.
Media Contact
All latest news from the category: Technology Offerings
Newest articles
A ‘language’ for ML models to predict nanopore properties
A large number of 2D materials like graphene can have nanopores – small holes formed by missing atoms through which foreign substances can pass. The properties of these nanopores dictate many…
Clinically validated, wearable ultrasound patch
… for continuous blood pressure monitoring. A team of researchers at the University of California San Diego has developed a new and improved wearable ultrasound patch for continuous and noninvasive…
A new puzzle piece for string theory research
Dr. Ksenia Fedosova from the Cluster of Excellence Mathematics Münster, along with an international research team, has proven a conjecture in string theory that physicists had proposed regarding certain equations….