Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Inferring Input Grammars from Dynamic Control Flow   A program is characterized by its input model, and a formal input model can
be of use in diverse areas including vulnerability analysis, reverse
engineering, fuzzing and software testing, clone detection and refactoring.
Unfortunately, input models for typical programs are often unavailable or out
of date. While there exist algorithms that can mine the syntactical structure
of program inputs, they either produce unwieldy and incomprehensible grammars,
or require heuristics that target specific parsing patterns.
  In this paper, we present a general algorithm that takes a program and a
small set of sample inputs and automatically infers a readable context-free
grammar capturing the input language of the program. We infer the syntactic
input structure only by observing access of input characters at different
locations of the input parser. This works on all program stack based recursive
descent input parsers, including PEG and parser combinators, and can do
entirely without program specific heuristics. Our Mimid prototype produced
accurate and readable grammars for a variety of evaluation subjects, including
expr, URLparse, and microJSON.

20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
18
The categories of this paper are: econ
19
The categories of this paper are: eess
2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
13
The categories of this paper are: quant-ph