How we use /goal to find bugs in Patch the Planet b blog.trailofbits.com 4 hardhat 3 months ago 1 comments