This is the release corresponding to the final version of our article for TACAS 21. It contains the current snapshot of the code, a static ELF binary, a docker image, and the examples from the experimental evaluation of the corresponding article. For details on how to use the static binary or the docker image, please check this website. For details on how to compile the included code, please see this page or check the included README.

The release corresponding to our submission at TACAS 21 can be found here.