Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
Résumé
We presents Owi, an interpreter for WebAssembly written in OCaml. It can perform parallel symbolic execution thanks to its monadic interpreter and a multi-core choice monad. We show how we are getting good results comparing to the state of the art tools with only minimal efforts in terms of symbolic execution techniques. Our approach allows us to perform symbolic execution of C and Rust code and even of code mixing both languages.
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|