PA-datalog is a modified LogicBlox v3 engine, intended for use in program analysis projects. The maintainers of the project are the PLaST group at the University of Athens.

To download and use the engine binary (Linux/x86_64) you must accept the LogicBlox Software License Agreement (Academic/Research/Non-Commercial Use) .



Installation


Setup

To make the binaries of PA-datalog available for use in the shell:

  1. Set JAVA_HOME to an appropriate location for Java:

    export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/
  2. Source the lb-env-bin.sh script in your shell to set required paths:

    source /opt/lb/pa-datalog/lb-env-bin.sh