This can be done by using the packer tool provided by the Nyx framework to convert your target application into this specific format. Moreover, there is also a debugger available to run single ...
This repository is serving only to capture the state as described in the paper. If you want to actually use Nyx, check out the maintained code released for the Nyx framework or it's Homepage.