Strictly Declarative Specification of Sophisticated Points-to Analyses

We present the DOOP framework for points-to analysis of Java programs. DOOP builds on the idea of specifying pointer analysis algorithms declaratively, using Datalog: a logic-based language for defining (recursive) relations. We carry the declarative approach further than past work by describing the full end-to-end analysis in Datalog and optimizing aggressively using a novel technique specifically targeting highly recursive Datalog programs.

Martin Bravenboer, Yannis Smaragdakis. 2009.

In Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA ‘09).

Read the PDF: Strictly Declarative Specification of Sophisticated Points-to Analyses