Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

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.
Fichier principal
Vignette du fichier
programming25-92-paper73.pdf (248.35 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04627413 , version 1 (27-06-2024)

Identifiants

  • HAL Id : hal-04627413 , version 1

Citer

Léo Andrès, Filipe Marques, Pierre Chambart, Arthur Carcano, José Fragoso Femenin dos Santos. Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly. 2024. ⟨hal-04627413⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More