arrow
Return

Debugging Debug Information With Neural Networks

delete2022-01-01
delete2
delete
OA
AI
F
Fiorella Artuso *
G
Giuseppe Antonio Di Luna
L
Leonardo Querzoni
DOI:10.1109/ACCESS.2022.3176617delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
The correctness of debug information included in optimized binaries has been the subject of recent attention by the research community. Indeed, it represents a practically important problem, as most of the software running in production is produced by an optimizing compiler. Current solutions rely on invariants, human-defined rules that embed the desired behavior, whose violation may indicate the presence of a bug. Although this approach proved to be effective in discovering several bugs, it is unable to identify bugs that do not trigger invariants. In this paper, we investigate the feasibility of using Deep Neural Networks (DNNs) to discover incorrect debug information. We trained a set of different models borrowed from the NLP community in an unsupervised way on a large dataset of debug traces and tested their performance on two novel datasets that we propose. Our results are positive and show that DNNs are capable of discovering bugs in both synthetic and real datasets. More interestingly, we performed a live analysis of our models by using them as bug detectors in a fuzzing system. We show that they were able to report 12 unknown bugs in the latest version of the widely used LLVM toolchain, 2 of which have been confirmed.
Keywords:
Computer bugs
Testing
Codes
Optimization
Behavioral sciences
Software
Debugging
Bugs
compilers
debug information
neural networks
software engineering

Journal

IEEE Access cover
IEEE Access
IF:
3.6
Papers:
9.8W
Citations:
29.4W

Organization

S
sapienza university rome
Scholars:
6.3W
Papers: 4.7W
Citations: 381
Cited Papers

Cited Papers

Exclusion of Women From Clinical Research: Myth or Reality?
err2008-05-01
err0
PREAI
errWendy A. Rogers; Angela J. Ballantyne
errShare
errSave
Therapeutic potential of C1632 by inhibition of SARS-CoV-2 replication and viral-induced inflammation through upregulating let-7
err2021-02-22
err0
errOAAI
errChen Xie; Yanlian Chen; Dongling Luo; Zhen Zhuang; Heping Jin; Haoxian Zhou; Xiaocui Li; Haijun Lin; Xiaohui Zheng; Jing Zhang; Peihui Wang; Jincun Zhao; Yong Zhao; Hui Huang
errShare
errSave
Multi‐Functional Controllable Memory Devices Applied for 3D Integration Based on a Single Niobium Oxide Layer
err2019-11-14
err0
PREAI
errAo Chen; Guokun Ma; Ziqi Zhang; Chih‐Yang Lin; Chun‐Chu Lin; Ting‐Chang Chang; Li Tao; Hao Wang
errShare
errSave
Clinical quiz
err1991-01-01
err0
PREAI
errU. Alon; S. Hellerstein; B. A. Warady
errShare
errSave
N-confused porphyrin tautomers: lessons from density functional theory
err2015-01-01
err0
PREAI
errGabriel Marchand; Hélène Roy; David Mendive-Tapia; Denis Jacquemin
errShare
errSave
Is hypoxia vulnerability in fishes a by-product of maximum metabolic rate?
err2021-06-29
err0
errOAAI
errAndrew J. Esbaugh; Kerri L. Ackerly; Angelina M. Dichiera; Benjamin Negrete
errShare
errSave
Modelling by Lévy Processess for Financial Econometrics
err2001-01-01
err0
PREAI
errOle E. Barndorff-Nielsen; Neil Shephard
errShare
errSave
A Survey of Compiler Testing
err2020-02-06
err114
PREAI
errChen, Junjie; Patra, Jibesh; Pradel, Michael; Xiong, Yingfei; Zhang, Hongyu; Hao, Dan; Zhang, Lu
errShare
errSave
A Survey of Machine Learning for Big Code and Naturalness
err2018-07-31
err477
errOAAI
errAllamanis, Miltiadis; Barr, Earl T.; Devanbu, Premkumar; Sutton, Charles
errShare
errSave
researcher View more