-
Notifications
You must be signed in to change notification settings - Fork 0
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
As a developer, I need to have fuzzing testing for gossip messages so I can be sure decoding is safe and correct #9
Comments
Fuzzing CI:
|
Regarding differential fuzzing. Currently we're using IPC to access OCaml-side decoder. That is because various troubles using Mina via FFI in Rust. Alternative way is to launch Rust fuzzer from OCaml instead. Some questions here:
|
@akoptelov I am thinking that for the linking issues, even if the fuzzer is launched from OCaml there may still be issues related to having various Rust components (our own, and o1labs proof-system) that don't know about each other (because they are compiled separately) but that depend on common code fail. So we probably need a proper solution and not just a workaround. Regarding 1), maybe, but my guess is that the communication overhead is probably little compared to the work being done. Also, I am thinking that with IPC we can use multiple processes to have parallelism that would not be possible otherwise? Regarding 2), I remember that for Tezedge @dkuehr did something, so he probably has something to say. Regarding 3), right now there will be issues, but once the linking issue has been solved and I have figured what a proper setup should look like I don't think it should be hard. One thing I am not entirely sure is what will happen with the WASM target and linking + FFI (I guess it is doable, I am just not very familiar with how the WASM-target building process works) |
Let me elaborate on question #2. You are asking about coverage feedback, so for the specific case of In a nutshell That said, some fuzzers have the ability to work with coverage at lower-level, for example if you use |
See #1
The text was updated successfully, but these errors were encountered: