Open Robbepop opened 1 week ago
Hi, sounds interesting! I'll be sure to add those APIs to my todo list for the next release, the public API has been a bit neglected.
Hi, sounds interesting! I'll be sure to add those APIs to my todo list for the next release, the public API has been a bit neglected.
Great! Sounds good. I'd be happy to be updated here once the new update lands. :)
The Tinywasm Webassembly interpreter is interesting as a differential fuzzing oracle for Wasmi since it is a lightweight interpreter, supporting a similar Wasm feature set as Wasmi and is written in safe Rust entirely.
cc @explodingcamera Please feel free to share your thoughts if you support this. :)
Unfortunately it seems to be missing some important API, such as
As an example here is the oracle implementation for a legacy Wasmi version: https://github.com/wasmi-labs/wasmi/blob/main/crates/fuzz/src/oracle/wasmi_stack.rs
In detail it is required to fully implement these traits:
DifferentialOracle
DifferentialOracleMeta
In a PR attempt I was already able to implement the
FuzzValue
andFuzzError
conversions: