Framework for Java Pointer Analysis


Doop is a research project involving:

People participating in the project:

University of Athens


If you have questions, comments, or ideas for collaborations, please contact Martin Bravenboer or Yannis Smaragdakis. Currently, there is no mailing list.


The Doop project is funded by the European Union through a Marie Curie International Reintegration grant and through a European Research Council (ERC) Starting/Consolidator grant. Continuing support is provided by LogicBlox. Several LogicBlox developers regularly help with optimizing our specifications:

The Software Engineering Research Group (SERG) of the Delft University of Technology in The Netherlands is supporting Doop by hosting our Subversion repository.

Thanks everybody!

last update: 2016-9-21