search

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly
37 stars 4 forks source link

Feat 77 file sys #78

Closed HNYuuu closed 2 years ago

HNYuuu commented 2 years ago

reconstruct file system, and can output buffers into result files