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 条
  • [21] Autocorrelation-Based Traffic Pattern Classification for Cognitive Radios
    Hoyhtya, Marko
    Sarvanko, Heli
    Matinmikko, Marja
    Mammela, Aarne
    2011 IEEE VEHICULAR TECHNOLOGY CONFERENCE (VTC FALL), 2011,
  • [22] Phase dependence mitigation for autocorrelation-based frequency estimation
    Altinkaya, Mustafa A.
    Anarim, Emin
    Sankur, Buelent
    DIGITAL SIGNAL PROCESSING, 2008, 18 (02) : 249 - 266
  • [23] Autocorrelation-Based Spectrum Sensing Algorithms for Cognitive Radios
    Ikuma, Takeshi
    Naraghi-Pour, Mort
    2008 PROCEEDINGS OF 17TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, VOLS 1 AND 2, 2008, : 503 - 508
  • [24] Autocorrelation-based algorithm for single-frequency estimation
    Xiao, Yang-Can
    Wei, Ping
    Tai, Heng-Ming
    SIGNAL PROCESSING, 2007, 87 (06) : 1224 - 1233
  • [25] An Estimation-Range Extended Autocorrelation-Based Frequency Estimator
    Cui Yang
    Gang Wei
    Fang-jiong Chen
    EURASIP Journal on Advances in Signal Processing, 2009
  • [26] THE AUTOCORRELATION-BASED ANALYSIS AS A TOOL OF SOUND PERCEPTION IN A REVERBERANT FIELD
    D'Orazio, Dario
    Garai, Massimo
    RIVISTA DI ESTETICA, 2017, (66) : 133 - 147
  • [27] Autocorrelation-based prefiltering approach to harmonic retrieval in ARMA noise
    Li, Hongwei
    Yuan, Baozong
    Beifang Jiaotong Daxue Xuebao/Journal of Northern Jiaotong University, 22 (03): : 6 - 10
  • [28] Improved Autocorrelation-based Sensing Using Correlation Distribution Information
    Sharma, Rajesh K.
    Wallace, Jon W.
    2010 INTERNATIONAL ITG WORKSHOP ON SMART ANTENNAS (WSA 2010), 2010, : 335 - 341
  • [29] Theory and practical recommendations for autocorrelation-based image correlation spectroscopy
    Robertson, Claire
    George, Steven C.
    JOURNAL OF BIOMEDICAL OPTICS, 2012, 17 (08)
  • [30] Autocorrelation-based reconstruction of two-dimensional binary objects
    Mejia-Barbosa, Y
    Castañeda-Sepulveda, R
    OPTIK, 2006, 117 (02): : 58 - 66
12345