Dinghong Zhong

Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots

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. Ex...