PhASAR can now be shipped using Docker.
To build your own Docker container use $ docker build -t phasar:latest in PhASAR’s root directory. You can also pull a pre-built image. We are currently implementing an automated pipeline that updates the pre-built container with each new commit made to the code base. Test your container using $ docker run phasar --help. For more information please refer to our Wiki on Github https://github.com/secure-software-engineering/phasar/wiki/Using-PhASAR-with-Docker.