mir-json
In order to run the examples in this tutorial, you will need to install the following prerequisite tools:
SAW itself, which can be installed by following the instructions here.
The Z3 and Yices SMT solvers. Z3 can be downloaded from here, and Yices can be downloaded from here.
The mir-json tool, which can be installed by following the instructions here.