CISPA
Browse
B1-19.pdf (49.5 kB)

Isolating Faults in Failure-Inducing Inputs.

Download (49.5 kB)
conference contribution
posted on 2024-05-03, 12:44 authored by Lukas Kirschner, Ezekiel O Soremekun, Andreas ZellerAndreas Zeller
Program failures are often caused by faulty inputs (e.g. due to data corruption). When an input induces failure, one needs to debug the input data, i.e. isolate faults to obtain valid input data. Typically, debuggers focus on diagnosing faults in the program, rather than the input. This talk instead presents an approach that automatically repairs faults in the input data, without requiring program analysis. In addition, we present empirical data on the causes and prevalence of invalid inputs in practice, we found that four percent of inputs in the wild are invalid. We present a general-purpose algorithm called ddmax that automatically isolates faults in invalid inputs and recovers the maximal valid input data. The aim of ddmax is to (1) identify which parts of the input data prevent processing by the program, and (2) recover as much of the (valuable) input data as possible. Given a program and an invalid input, through experiments, ddmax recovers and repairs 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, i.e. the fault. This approach is useful for automatically debugging and repairing invalid inputs.

History

Editor

Koziolek A ; Schaefer I ; Seidl C

Primary Research Area

  • Threat Detection and Defenses

Name of Conference

Software Engineering (SE)

Journal

Software Engineering

Volume

P-310

Page Range

63-64

Publisher

Gesellschaft für Informatik e.V.

BibTeX

@conference{Kirschner:Soremekun:Zeller:2021, title = "Isolating Faults in Failure-Inducing Inputs.", author = "Kirschner, Lukas" AND "Soremekun, Ezekiel O" AND "Zeller, Andreas", editor = "Koziolek, Anne" AND "Schaefer, Ina" AND "Seidl, Christoph", year = 2021, month = 2, journal = "Software Engineering", pages = "63--64", publisher = "Gesellschaft für Informatik e.V." }

Usage metrics

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC