Cover Image

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Andrès, Léo, Marques, Filipe, Carcano, Arthur, Chambart, Pierre, Santos, José Fragoso, Filliâtre, Jean-Christophe
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

Potential of WebAssembly for Embedded Systems
by: Wallentowitz, Stefan, et al.
Published: (2024)

Cage: Hardware-Accelerated Safe WebAssembly
by: Fink, Martin, et al.
Published: (2024)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
by: Titzer, Ben L., et al.
Published: (2024)

Multi-modal Learning for WebAssembly Reverse Engineering
by: Huang, Hanxian, et al.
Published: (2024)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
by: Kang, Byeongjee, et al.
Published: (2025)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
by: He, Ningyu, et al.
Published: (2024)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
by: Baek, Doehyun, et al.
Published: (2024)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
by: Paraskevopoulou, Zoe, et al.
Published: (2024)

The WASM Cloak: Evaluating Browser Fingerprinting Defenses Under WebAssembly based Obfuscation
by: Sakib, A H M Nazmus, et al.
Published: (2025)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
by: Shirzad, Mohammad Robati, et al.
Published: (2024)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
by: Correnson, Arthur, et al.
Published: (2025)

Issues and Their Causes in WebAssembly Applications: An Empirical Study
by: Waseem, Muhammad, et al.
Published: (2023)

Securing Stack Smashing Protection in WebAssembly Applications
by: Michaud, Quentin, et al.
Published: (2024)

An Analysis of Modern Web Security Vulnerabilities Inside WebAssembly Applications
by: Corrias, Lorenzo, et al.
Published: (2026)

Browser Fingerprinting Using WebAssembly
by: Guri, Mordechai, et al.
Published: (2025)

WebAssembly and Security: a review
by: Perrone, Gaetano, et al.
Published: (2024)

Concurrent Data Structures Made Easy (Extended Version)
by: Le, Callista, et al.
Published: (2024)

Mewz: Lightweight Execution Environment for WebAssembly with High Isolation and Portability using Unikernels
by: Ueda, Soichiro, et al.
Published: (2024)

WebAssembly on Resource-Constrained IoT Devices: Performance, Efficiency, and Portability
by: Has, Mislav, et al.
Published: (2025)

SoK: Analysis techniques for WebAssembly
by: Harnes, Håkon, et al.
Published: (2024)

Debugging WebAssembly? Put some Whamm on it!
by: Gilbert, Elizabeth, et al.
Published: (2025)

Wanilla: Sound Noninterference Analysis for WebAssembly
by: Scherer, Markus, et al.
Published: (2025)

Empowering WebAssembly with Thin Kernel Interfaces
by: Ramesh, Arjun, et al.
Published: (2023)

Research on WebAssembly Runtimes: A Survey
by: Zhang, Yixuan, et al.
Published: (2024)

Is This the Same Code? A Comprehensive Study of Decompilation Techniques for WebAssembly Binaries
by: Wu, Wei-Cheng, et al.
Published: (2024)

Debugging Performance Issues in WebAssembly Runtimes via Mutation-based Inference
by: Zeng, Ruiying, et al.
Published: (2026)

Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing
by: Jiang, Shuyao, et al.
Published: (2024)

POWERPOLY: Multilingual Program Analysis with the Aid of WebAssembly
by: Anonymous
Published: (2025)

Walma: Learning to See Memory Corruption in WebAssembly
by: Draissi, Oussama, et al.
Published: (2026)

The Promise and Pitfalls of WebAssembly: Perspectives from the Industry
by: He, Ningyu, et al.
Published: (2025)

Revealing the nature of the highly obscured galactic Source igr j16318-4848
by: P. Filliatre
Published: (2004)

Large Language Model Powered Symbolic Execution
by: Li, Yihe, et al.
Published: (2025)

SequenceLayers: Sequence Processing and Streaming Neural Networks Made Easy
by: Skerry-Ryan, RJ, et al.
Published: (2025)

Lumos: Performance Characterization of WebAssembly as a Serverless Runtime in the Edge-Cloud Continuum
by: Marcelino, Cynthia, et al.
Published: (2025)

Soteria: Efficient Symbolic Execution as a Functional Library
by: Ayoun, Sacha-Élie, et al.
Published: (2025)

Derivative-Guided Symbolic Execution
by: Yuan, Yongwei, et al.
Published: (2024)

WebAssembly and Unikernels: A Comparative Study for Serverless at the Edge
by: Besozzi, Valerio, et al.
Published: (2025)

Defending Buffer Overflows in WebAssembly: A Transpiler Approach
by: Feng, Weiqi
Published: (2026)

Wasure: A Modular Toolkit for Comprehensive WebAssembly Benchmarking
by: Carissimi, Riccardo, et al.
Published: (2026)