License: Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.2.1.9
URN: urn:nbn:de:0030-drops-61304
Go back to Dagstuhl Artifacts Series

Facchinetti, Leandro ; Palmer, Zachary ; Smith, Scott F.

Higher-Order Demand-Driven Program Analysis (Artifact)

DARTS-2-1-9.pdf (0.3 MB)


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.

BibTeX - Entry

  author =	{Leandro Facchinetti and Zachary Palmer and Scott F. Smith},
  title =	{{Higher-Order Demand-Driven Program Analysis (Artifact)}},
  pages =	{9:1--9:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2016},
  volume =	{2},
  number =	{1},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-61304},
  doi =		{10.4230/DARTS.2.1.9},
  annote =	{Keywords: program analysis, polynomial, demand-driven, flow-sensitive, context-sensitive}

Keywords: program analysis, polynomial, demand-driven, flow-sensitive, context-sensitive
Collection: DARTS, Volume 2, Issue 1
Related Scholarly Article:
Issue Date: 2016
Date of publication: 14.07.2016

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI