Comment by 1over137

How do you conclude that? The instructions here:

https://github.com/naivesystems/analyze/wiki/How-to-run-on-m...

say docker is required.