incompatible with rustc 1.67.1

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly

37 stars 4 forks source link

Closed harveyghq closed 2 months ago

harveyghq commented 1 year ago

Describe the bug Can not analyze wasm using newer version of rustc (1.67.1).

To Reproduce python launcher.py -f hello_world_rust_new.wasm -s -v debug --source_type rust

Expected behavior no errors.

Additional context hello_world_rust_new.wasm.tar.gz

harveyghq commented 1 year ago

Additional debug shows opcode 0xfc is currently not supported, maybe it's time to update our disassembler.

harveyghq commented 1 year ago

same as #92

harveyghq commented 2 months ago

Fixed in dca0b51fad7eba439da4b4b2b2792d39bf2a9c72

The compiler toolchain has been updated.