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 条

[31] Autocorrelation-Based Method for Characterization of the Self-Hexagonal Lattice
Pourfard, Mohammadreza
Faez, Karim
Tabaian, S. Hadi
JOURNAL OF PHYSICAL CHEMISTRY C, 2013, 117 (33): : 17225 - 17236
[32] An Estimation-Range Extended Autocorrelation-Based Frequency Estimator
Yang, Cui
Wei, Gang
Chen, Fang-jiong
EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, 2009,
[33] Autocorrelation-based Thickness Measurement for Enhancing Online Monitoring of Pipeline Health
Park, Choon-Su
JOURNAL OF THE KOREAN SOCIETY FOR NONDESTRUCTIVE TESTING, 2024, 44 (03) : 198 - 204
[34] Channel autocorrelation-based dynamic slot scheduling for body area networks
Hongyun Zhang
Farzad Safaei
Le Chung Tran
EURASIP Journal on Wireless Communications and Networking, 2018
[35] Error analysis of autocorrelation-based velocity vector estimation in the aperture domain
Jeng, Geng-Shi
Li, Pai-Chi
2007 IEEE ULTRASONICS SYMPOSIUM PROCEEDINGS, VOLS 1-6, 2007, : 2421 - +
[36] Collaborative autocorrelation-based spectrum sensing of OFDM signals in cognitive radios
Chaudhari, Sachin
Lunden, Jarmo
Koivunen, Visa
2008 42ND ANNUAL CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1-3, 2008, : 191 - 196
[37] Double autocorrelation-based cyclicity evaluation for repetitive transients feature extraction
Liang, Lin
Wang, Junjing
Liu, Dan
Hu, Wenhao
Qiao, Miaomiao
MEASUREMENT SCIENCE AND TECHNOLOGY, 2024, 35 (11)
[38] Autocorrelation-based algorythm to detect alternans in calcium buffered ventricular myocytes
Warren, Mark
Poelzing, Steven
BIOPHYSICAL JOURNAL, 2023, 122 (03) : 380A - 380A
[39] Adaptive Spatial Processing for Autocorrelation-based Ultrasound Color Flow Imaging
Wang, Qiang
Liu, Dong C.
APCMBE 2008: 7TH ASIAN-PACIFIC CONFERENCE ON MEDICAL AND BIOLOGICAL ENGINEERING, 2008, 19 : 278 - 281
[40] ON AUTOCORRELATION-BASED MULTIANTENNA SPECTRUM SENSING FOR COGNITIVE RADIOS IN UNKNOWN NOISE
Tugnait, Jitendra K.
2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, 2011, : 2944 - 2947

← 1 2 3 4 5 →