Provided material The complete material can be downloaded here. This brief tutorial is intended to give you an overview on the Phasar program analysis tool. In this tutorial you can familiarize yourself with the LLVM IR, that is the intermediate representation that Phasar actually analyzes. Furthermore, you get an idea of how to execute Phasar, … Continue reading Tutorial