Re:Go Fuzzing
by amw-zero on Monday January 03, 2022 @03:27AM
(#29778556)
If state space is your concern, I would try proofs. Here’s a live demo from Martin Kleppmann about proving something about a stateful distributed system: https://youtu.be/7w4KC6i9Yac.
The tools have come a very long way, Isabelle is quite usable after learning a few concepts.
I believe this is the order-of-magnitude better approach you’re thinking of. We can apply finite effort to a proof about an infinite state space, with no runtime cost.
And, Isabelle has great automation. As seen in the video I shared, proofs can often be found with a little nudging in the right direction. You don’t have to write the whole thing out.
The tools have come a very long way, Isabelle is quite usable after learning a few concepts.
I believe this is the order-of-magnitude better approach you’re thinking of. We can apply finite effort to a proof about an infinite state space, with no runtime cost.
And, Isabelle has great automation. As seen in the video I shared, proofs can often be found with a little nudging in the right direction. You don’t have to write the whole thing out.