Readme
Issues
Stargazers
Watchers

benchmark with Wasm-R3 produced benchmarks

zapashcanon opened this issue 2 months ago · 0 comments

zapashcanon commented 2 months ago

https://arxiv.org/pdf/2409.00708

Topics

ocaml wasm webassembly interpreter c concolic-execution constraints formatter nlnet optimizer owi parallel rust smt solver symbolic-execution wasm2wat wat2wasm afl fuzzer

Share to

Contact site admin: Geeks.