PKU-ASAL / SeeWasm

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

Model panic functions from tinygo. Merge WASI related functions and more commits #30

Closed am009 closed 2 years ago

am009 commented 2 years ago

Merge WASI related functions into WASIFunction. Add a command line argument for stdin input. [Golang] Print current time when bug is detected. Print current time in laser when bug is detected. Fix bug in Memory instruction [Golang] Model panic functions from tinygo. Add assert if cannot find function name.