The binary distribution of Doop
consists of the source distribution plus binaries of
dependencies (soot,
soot-fact-generation, logicblox-unit,
jsglr).
Please check the README for instructions on how to
proceed after unpacking the distribution.
Doop analyses Java bytecode. We extract facts from Soot's Jimple representation of bytecode. Soot Fact Generation is a tool that reads Java bytecode and writes tab-separated files with information about the bytecode and its dependencies.
LogicBlox Unit is a tool for testing Datalog specifications. The testsuite of Doop uses this tool. LogicBlox Unit is not deployed as part of LogicBlox. LogicBlox Unit uses jsglr, the Java implementation of SGLR. This package is included as a binary in the distribution of Doop. To comply with the requirements of the LGPL license, we provide the source code of jsglr.
The Doop pointer analysis specifications run on the commercial LogicBlox Datalog engine. You can already download the full source of the Doop specifications, but to run the actual analysis you need to have the LogicBlox engine installed. We are currently working with LogicBlox to streamline the process of obtaining an academic license.
If you want to be notified when this is done, then please send us an email.