Mining input grammars from dynamic control flow
Rahul Gopinath, Björn Mathis, Andreas Zeller · 2020
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.