PhASAR is currently available and tested for Linux and Mac. We are currently also working on Windows support. PhASAR requires some dependencies to be installed. It is recommended to compile Phasar oneself. As PhASAR uses CMake as its build system it should not be too complicated. For the installation details please see Phasar’s corresponding Github page.