It doesn&#x27;t seem to be available to the public yet. It&#x27;s not in his github[1] nor in his companies github[2].<p>[1] <a href="https:&#x2F;&#x2F;github.com&#x2F;withzombies" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;withzombies</a><p>[2] <a href="https:&#x2F;&#x2F;github.com&#x2F;trailofbits" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;trailofbits</a>