arrow
返回

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
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

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.
Keyword:
Computer bugs
Testing
Codes
Optimization
Behavioral sciences
Software
Debugging
Bugs
compilers
debug information
neural networks
software engineering

期刊

IEEE Access 封面图
IEEE Access
IF:
3.6
论文数:
9.8W
被引数:
29.4W

机构

S
sapienza university rome
学者数:
6.3W
论文数: 4.7W
被引数: 381
引用论文

引用论文

Exclusion of Women From Clinical Research: Myth or Reality?
err2008-05-01
err0
PREAI
errWendy A. Rogers; Angela J. Ballantyne
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Clinical quiz
err1991-01-01
err0
PREAI
errU. Alon; S. Hellerstein; B. A. Warady
err分享
err收藏
A Survey of Compiler Testing编译器测试综述
err2020-02-06
err114
PREAI
errChen, Junjie; Patra, Jibesh; Pradel, Michael; Xiong, Yingfei; Zhang, Hongyu; Hao, Dan; Zhang, Lu
err分享
err收藏
A Survey of Machine Learning for Big Code and Naturalness面向大代码和自然性的机器学习综述
err2018-07-31
err477
errOAAI
errAllamanis, Miltiadis; Barr, Earl T.; Devanbu, Premkumar; Sutton, Charles
err分享
err收藏
学者 查看更多内容