Enable symbolic input for stdin and args - Githubissues

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly

40 stars 3 forks source link

Enable symbolic input for stdin and args #61

Closed HNYuuu closed 2 years ago

HNYuuu commented 2 years ago

Please check the Enable Symbolic Input part in readme