Autocorrelation-Based Detection of Infinite Loops at Runtime

被引：1
|
作者：
Ibing, Andreas [1 ]
Kirsch, Julian [1 ]
Panny, Lorenz [1 ]
机构：
[1] Tech Univ Munich, Chair IT Secur, Boltzmannstr 3, D-85748 Garching, Germany
来源：
2016 IEEE 14TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 14TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 2ND INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/DATACOM/CYBERSC | 2016年
关键词：
Program analysis; infinite loops; dynamic binary instrumentation;
D O I：
10.1109/DASC-PICom-DataCom-CyberSciTec.2016.78
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：368 / 375
页数：8
相关论文
共 50 条
12345