search

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly
40 stars 3 forks source link

Emulate `fd_read` and `fd_write` WASI functions #60

Closed HNYuuu closed 2 years ago