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.shTragdor will print usage information if started without extra arguments, like so:
java -jar tragdor.jarSee example-compiler for an example compiler to run Tragdor on, and more concrete instructions on what commands to use.