OWI

Symbolic evaluator and fuzzing of WASM software
Is freely licensed? ✅
Website https://ocamlpro.github.io/owi
Source https://github.com/ocamlpro/owi
NLNet grant pages