PKU-ASAL / SeeWasm

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

Feat 45 lsp output #69

Closed HNYuuu closed 2 years ago

HNYuuu commented 2 years ago

Format the log output, and pack state results into json files