Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Static Analysis of File-Processing Programs using File Format
  Specifications   Programs that process data that reside in files are widely used in varied
domains, such as banking, healthcare, and web-traffic analysis. Precise static
analysis of these programs in the context of software verification and
transformation tasks is a challenging problem. Our key insight is that static
analysis of file-processing programs can be made more useful if knowledge of
the input file formats of these programs is made available to the analysis. We
propose a generic framework that is able to perform any given underlying
abstract interpretation on the program, while restricting the attention of the
analysis to program paths that are potentially feasible when the program's
input conforms to the given file format specification. We describe an
implementation of our approach, and present empirical results using real and
realistic programs that show how our approach enables novel verification and
transformation tasks, and also improves the precision of standard analysis
problems.

27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph