B blog.trailofbits.com Why fuzzing over formal verification? 65 points rrampage 2 years ago 64 comments