I know that there's a Docker image one can use and they have steps to do it locally, but my experience is that it's very easy to end up doing something different, especially since I cannot see in any place which are the commands they give to launch the fuzzer, or extract the .zip