—Fuzzing is a technique that's… —stupid? —If you had let me finish, I was going to say “limited by the rate at which one can execute tests”
-
-
Replying to @volatile_void
@spun_off as opposed to formal verification-- limited only by the rate at which one can dispatch false positives...
3 replies 4 retweets 5 likes -
Replying to @johnregehr
@johnregehr @spun_off Isn't it more limited by the fact that nobody knows how to do it and the fothermuckers that do are too expensive?1 reply 0 retweets 0 likes -
Replying to @BRIAN_____
@BRIAN_____ I would take this as a request to beta-test tis-interpreter but the number of known bugs since the last snapshot has balloned.1 reply 0 retweets 0 likes
Replying to @volatile_void
@spun_off I would love to test it out on the remaining C parts of BoringSSL I am still using in *ring*. I am a big believer in this stuff.
9:22 AM - 18 Jan 2016
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.