This repository contains "Tragdor", a tool which performs dynamic dependency-based purity checking on compilers and static analyzers build using attribute grammars.
Build tragdor.jar
using the script build.sh
, like this:
sh build.sh
Tragdor will print usage information if started without extra arguments, like so:
java -jar tragdor.jar
See example-compiler for an example compiler to run Tragdor on, and more concrete instructions on what commands to use.