search

PKU-ASAL / SeeWasm

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

Resolve issue 46 and 49 #50

Closed HNYuuu closed 2 years ago

HNYuuu commented 2 years ago

Mainly focus on function's name issue, please review the code