doop Java framework to help you with your work
Download

doop Ranking & Summary

doop Tags

analyzer analysis Analyze Management application development content system content management system Java framework Page Editor Website Creation Content Creation program analysis CMS software

doop Description

DOOP was developed as a Java-based framework for pointer, or points-to, analysis of programs. DOOP implements a range of algorithms, including context insensitive, call-site sensitive, and object-sensitive analyses, all specified modularly as variations on a common code base. Compared to alternative context-sensitive pointer analysis implementations (such as Paddle) DOOP is much faster, and scales better. Also, with comparable context-sensitivity features, DOOP is more precise in handling some Java features (for example exceptions) than alternatives. DOOP builds on the idea of specifying pointer analysis algorithms declaratively, using Datalog: a logic-based language for defining (recursive) relations. DOOP carries the declarative approach further than past work (such as bddbddb) by describing the full end-to-end analysis in Datalog and optimizing aggressively through exposition of the representation of relations (for example indexing) to the Datalog language level. DOOP uses the Datalog dialect and engine of LogicBlox.

doop Related Software