DSDSR: A tool that uses dynamic symbolic execution for data structure repair

Ishtiaque Hussain, Christoph Csallner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

We present DSDSR, a generic repair tool for complex data structures. Generic, automatic data structure repair algorithms have applications in many areas. Reducing repair time can may therefore have a significant impact on software robustness. Current state of the art tools try to address the problem exhaustively and their performance depend primarily on the style of the correctness condition. We propose a new approach and implement a prototype that suffers less from style limitations and utilizes recent improvements in automatic theorem proving to reduce the time required in repairing a corrupt data structure. We also present experimental results to demonstrate the promise of our approach for generic repair and discuss our prototype implementation.

Original languageEnglish (US)
Title of host publicationProceedings of the 2010 Workshop on Dynamic Analysis, WODA 2010
Pages20-25
Number of pages6
DOIs
Publication statusPublished - Dec 10 2010
Event2010 Workshop on Dynamic Analysis, WODA 2010 - Trento, Italy
Duration: Jul 12 2010Jul 16 2010

Publication series

NameProceedings of the 2010 Workshop on Dynamic Analysis, WODA 2010

Conference

Conference2010 Workshop on Dynamic Analysis, WODA 2010
CountryItaly
CityTrento
Period7/12/107/16/10

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Computational Theory and Mathematics
  • Theoretical Computer Science

Cite this

Hussain, I., & Csallner, C. (2010). DSDSR: A tool that uses dynamic symbolic execution for data structure repair. In Proceedings of the 2010 Workshop on Dynamic Analysis, WODA 2010 (pp. 20-25). (Proceedings of the 2010 Workshop on Dynamic Analysis, WODA 2010). https://doi.org/10.1145/1868321.1868325