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 条
  • [11] Microseismic events enhancement and detection in sensor arrays using autocorrelation-based filtering
    Liu, Entao
    Zhu, Lijun
    Raj, Anupama Govinda
    McClellan, James H.
    Al-Shuhail, Abdullatif
    Kaka, SanLinn I.
    Iqbal, Naveed
    GEOPHYSICAL PROSPECTING, 2017, 65 (06) : 1496 - 1509
  • [12] Autocorrelation-based interlaced to progressive format conversion
    Kim, Joohyeok
    Jeon, Gwanggil
    Jeong, Jechang
    DIGITAL SIGNAL PROCESSING, 2014, 29 : 67 - 77
  • [13] Autocorrelation-Based Spectrum Sensing of FBMC Signal
    Keesara, Upender
    Chaudhari, Sachin
    2018 10TH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS (COMSNETS), 2018, : 151 - 158
  • [14] Autocorrelation-based fuzzy clustering of time series
    D'Urso, Pierpaolo
    Maharaj, Elizabeth Ann
    FUZZY SETS AND SYSTEMS, 2009, 160 (24) : 3565 - 3589
  • [15] Discrete Autocorrelation-Based Multiplicative MRAs and Sampling on ℝ
    John J. Benedetto
    Somantika Datta
    Sampling Theory in Signal and Image Processing, 2011, 10 (1-2): : 111 - 133
  • [16] A hybrid autocorrelation-based single frequency estimator
    Tang, Xu
    Wei, Ping
    Xiao, Yang-Can
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2008, 37 (03): : 378 - 381
  • [17] Autocorrelation-Based Spectrum Sensing for Cognitive Radios
    Naraghi-Pour, Mort
    Ikuma, Takeshi
    IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 2010, 59 (02) : 718 - 733
  • [18] Temporal Autocorrelation-Based Beamforming With MEG Neuroimaging Data
    Zhang, Jian
    Su, Li
    JOURNAL OF THE AMERICAN STATISTICAL ASSOCIATION, 2015, 110 (512) : 1375 - 1388
  • [19] Autocorrelation-Based Multiantenna Spectrum Sensing in Colored Noise
    Tugnait, Jitendra K.
    2011 CONFERENCE RECORD OF THE FORTY-FIFTH ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS (ASILOMAR), 2011, : 1737 - 1741
  • [20] An Autocorrelation-based LSTM-Autoencoder for Anomaly Detection on Time-Series Data
    Homayouni, Hajar
    Ghosh, Sudipto
    Ray, Indrakshi
    Gondalia, Shlok
    Duggan, Jerry
    Kahn, Michael G.
    2020 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2020, : 5068 - 5077
12345