secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
930 stars 140 forks source link

Feature/docker.devenv #518

Closed janniclas closed 1 year ago

janniclas commented 1 year ago

This PR contains an update to the readme removing the outdated install instructions for MacOS. Instead I added a docker development environment to easily setup a dev environment on Mac (and theoretically Windows, however this was not tested.)

@bhermann you asked me about running PhASAR on a M1 MacBook a few months ago, this is your chance to get it running ;)

janniclas commented 1 year ago

closed, because the changes where introduced in combination with another feature