@inproceedings{a19e9950800c42dda6eb74c293b441a8,
title = "Autocorrelation-Based Detection of Infinite Loops at Runtime",
abstract = "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 lightweight 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.",
keywords = "Program analysis, dynamic binary instrumentation, infinite loops",
author = "Andreas Ibing and Julian Kirsch and Lorenz Panny",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 14th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2016, 14th IEEE International Conference on Pervasive Intelligence and Computing, PICom 2016, 2nd IEEE International Conference on Big Data Intelligence and Computing, DataCom 2016 and 2016 IEEE Cyber Science and Technology Congress, CyberSciTech 2016, DASC-PICom-DataCom-CyberSciTech 2016 ; Conference date: 08-08-2016 Through 10-08-2016",
year = "2016",
month = oct,
day = "11",
doi = "10.1109/DASC-PICom-DataCom-CyberSciTec.2016.78",
language = "English",
series = "Proceedings - 2016 IEEE 14th International Conference on Dependable, Autonomic and Secure Computing, DASC 2016, 2016 IEEE 14th International Conference on Pervasive Intelligence and Computing, PICom 2016, 2016 IEEE 2nd International Conference on Big Data Intelligence and Computing, DataCom 2016 and 2016 IEEE Cyber Science and Technology Congress, CyberSciTech 2016, DASC-PICom-DataCom-CyberSciTech 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "368--375",
editor = "Wang, {Kevin I-Kai} and Qun Jin and Bhuiyan, {Md Zakirul Alam} and Qingchen Zhang and Ching-Hsien Hsu",
booktitle = "Proceedings - 2016 IEEE 14th International Conference on Dependable, Autonomic and Secure Computing, DASC 2016, 2016 IEEE 14th International Conference on Pervasive Intelligence and Computing, PICom 2016, 2016 IEEE 2nd International Conference on Big Data Intelligence and Computing, DataCom 2016 and 2016 IEEE Cyber Science and Technology Congress, CyberSciTech 2016, DASC-PICom-DataCom-CyberSciTech 2016",
}