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.
Topics & Concepts
Code refactoringComputer scienceReverse engineeringRule-based machine translationProgramming languageFormal specificationControl flowSoftware engineeringFuzz testingFormal methodsKey (lock)SoftwareArtificial intelligenceOperating systemSoftware Engineering ResearchSoftware Testing and Debugging TechniquesAdvanced Malware Detection Techniques