DARTS.2.1.9.pdf
- Filesize: 339 kB
- 2 pages
Document
Higher-Order Demand-Driven Program Analysis (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Volume: DARTS, Volume 2 (ECOOP 2016)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2016-07-14
Cite AsGet BibTex
Leandro Facchinetti, Zachary Palmer, and Scott F. Smith. Higher-Order Demand-Driven Program Analysis (Artifact). In Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Dagstuhl Artifacts Series (DARTS), Volume 2, Issue 1, pp. 9:1-9:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/DARTS.2.1.9
https://doi.org/10.4230/DARTS.2.1.9
Artifact
DARTS-2-1-9-artifact-88e98fe9019cb2bb1e758be0ca6325f9.tgz
(Filesize: 3.48 MB)
Abstract
This artifact is a proof-of-concept implementation of DDPA, an on-demand program analysis for higher-order functional programs. The implementation, written in OCaml, includes a parser, evaluator, and DDPA analysis for the language defined in the companion paper (including the proper record semantics extension). The analysis may be performed using different levels of precision as specified by the user and is capable of rendering the control flow graphs and pushdown systems using the GraphViz language DOT. This artifact was used to verify the conclusions of the companion paper and produces visualizations matching those figures in the companion paper's overview.
Keywords
- program analysis
- polynomial
- demand-driven
- flow-sensitive
- context-sensitive
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads