Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards Fully Declarative Program Analysis via Source Code
  Transformation   Advances in logic programming and increasing industrial uptake of
Datalog-inspired approaches demonstrate the emerging need to express powerful
code analyses more easily. Declarative program analysis frameworks (e.g., using
logic programming like Datalog) significantly ease defining analyses compared
to imperative implementations. However, the declarative benefits of these
frameworks only materialize after parsing and translating source code to
generate facts. Fact generation remains a non-declarative precursor to analysis
where imperative implementations first parse and interpret program structures
(e.g., abstract syntax trees and control-flow graphs). The procedure of fact
generation thus remains opaque and difficult for non-experts to understand or
modify. We present a new perspective on this analysis workflow by proposing
declarative fact generation to ease specification and exploration of
lightweight declarative analyses. Our approach demonstrates the first venture
towards fully declarative analysis specification across multiple languages. The
key idea is to translate source code directly to Datalog facts in the analysis
domain using declarative syntax transformation. We then reuse existing Datalog
analyses over generated facts, yielding an end-to-end declarative pipeline. As
a first approximation we pursue a syntax-driven approach and demonstrate the
feasibility of generating and using lightweight versions of liveness and call
graph reachability properties. We then discuss the workability of extending
declarative fact generation to also incorporate semantic information.

31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
2
The categories of this paper are: math
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th