Mining input grammars from dynamic control flow

Rahul Gopinath, Björn Mathis, Andreas Zeller

Abstract

One of the key properties of a program is its input specification. Having a formal input specification can be critical in fields such as vulnerability analysis, reverse engineering, software testing, clone detection, or refactoring. Unfortunately, accurate input specifications for typical programs are often unavailable or out of date.

BibTeX

@inproceedings{Gopinath-al:FSE20,
  author    = {Rahul Gopinath and
               Bj{\"{o}}rn Mathis and
               Andreas Zeller},
  title     = {Mining input grammars from dynamic control flow},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {172--183},
  publisher = {{ACM}},
  year      = {2020},
}

Mining input grammars from dynamic control flow

Abstract

Related papers