OWI-2

Cross-language symbolic execution via Wasm
Is freely licensed? ✅
Website https://ocamlpro.github.io/owi
Source https://github.com/OCamlPro/owi
NLNet grant pages