Reference : Debugging Inputs
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/45466
Debugging Inputs
English
Kirschner, Lukas mailto [CISPA – Helmholtz Center for Information Security Saarbrücken, Germany]
Soremekun, Ezekiel mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal >]
Zeller, Andreas mailto [CISPA – Helmholtz Center for Information Security Saarbrücken, Germany]
Jun-2020
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
75–86
Yes
International
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
6 - 11 July 2020
[en] debugging ; program inputs ; repair
[en] When a program fails to process an input, it need not be the program code that is at fault. It can also be that the input data is faulty, for instance as result of data corruption. To get the data processed, one then has to debug the input data—that is, (1) identify which parts of the input data prevent processing, and (2) recover as much of the (valuable) input data as possible. In this paper, we present a general-purpose algorithm called ddmax that addresses these problems automatically. Through experiments, ddmax maximizes the subset of the input that can still be processed by the program, thus recovering and repairing as much data as possible; the difference between the original failing input and the “maximized” passing input includes all input fragments that could not be processed. To the best of our knowledge, ddmax is the first approach that fixes faults in the input data without requiring program analysis. In our evaluation, ddmax repaired about 69% of input files and recovered about 78% of data within one minute per input.
http://hdl.handle.net/10993/45466

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
camera_ready_icse2020-ddmax.pdfAuthor postprint292.33 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.