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 条

[1] Autocorrelation-Based Quickest Change Detection
Afser, Huseyin
Yabaci, Seyhun Barbaros
IEEE COMMUNICATIONS LETTERS, 2020, 24 (12) : 2913 - 2916
[2] Looper: Lightweight Detection of Infinite Loops at Runtime
Burnim, Jacob
Jalbert, Nicholas
Stergiou, Christos
Sen, Koushik
2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 161 - 169
[3] An autocorrelation-based interference rejection signal detection scheme
Huang, Chengti
Liu, Rueywen
Wang, Huojun
Yang, Chenglin
ADVANCED MATERIALS AND INFORMATION TECHNOLOGY PROCESSING, PTS 1-3, 2011, 271-273 : 833 - +
[4] Autocorrelation-based blind spreading-factor detection for CDMA
Juntti, M
Rabbachin, A
Pajukoski, K
IEEE TRANSACTIONS ON COMMUNICATIONS, 2004, 52 (09) : 1453 - 1458
[5] Distributed autocorrelation-based sequential detection of OFDM signals in cognitive radios
Chaudhari, Sachin
Koivunen, Visa
Poor, H. Vincent
2008 3RD INTERNATIONAL CONFERENCE ON COGNITIVE RADIO ORIENTED WIRELESS NETWORKS AND COMMUNICATIONS, 2008, : 390 - +
[6] Autocorrelation-based intrusion detection system for controller area network (CAN)
Jeong W.
Choi E.
Choi J.-W.
Journal of Institute of Control, Robotics and Systems, 2021, 27 (02) : 92 - 97
[7] Autocorrelation-Based Decentralized Sequential Detection of OFDM Signals in Cognitive Radios
Chaudhari, Sachin
Koivunen, Visa
Poor, H. Vincent
IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2009, 57 (07) : 2690 - 2700
[8] Autocorrelation-Based Immune Genetic Algorithm
Lan, Guiwen
Xu, Benyi
Qu, Lina
2011 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND MULTIMEDIA COMMUNICATION, 2011, : 302 - 305
[9] Autocorrelation-Based Features for Speech Representation
Ando, Yoichi
ACTA ACUSTICA UNITED WITH ACUSTICA, 2015, 101 (01) : 145 - 154
[10] A simplified autocorrelation-based single frequency estimator
You, Young-Hwan
Hong, Dae-Ki
Kang, Sung-Jin
Lee, Jang-Yeon
Cho, Jin-Woong
IEICE TRANSACTIONS ON COMMUNICATIONS, 2006, E89B (07) : 2096 - 2098

← 1 2 3 4 5 →