Preprint
Aug 2026
Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots (Extended Version)
Concolic execution is a variant of symbolic execution that runs a program simultaneously with concrete and symbolic inputs. It records the symbolic constraints encountered along a concrete execution path, then solves those constraints to generate inputs that explore new paths. Existing concolic engines generally follow...
Ding-Hong Zhong, Alexander Y. Bai, Mikail Khan et al.
· 0 citations