Our great sponsors
-
rutenspitz
А procedural macro to be used for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
There's also https://github.com/jakubadamw/rutenspitz that is already usable, but I'm not aware of it being widely deployed.
Specifically, I tried leading a fuzzing effort via https://github.com/rust-fuzz/auto-fuzz-test, but right now it's not quite production-ready. We have good progress in proc_macro branch, but that's geared towards crates, and it's not entirely clear how to apply that to the standard library.
For example BinaryHeap::sift_down_range requires pos to be a valid index in the backing vector and end to be less than or equal to the length of the backing vector.