Hanqin Guan

**Describe the bug** Can't symbolically analyze rust program [branch_on_args_num.d.wasm](https://github.com/HNYuuu/SeeWasm/files/11131723/branch_on_args_num.d.wasm.tar.gz), raising invalid memory exception. However, when feeding concrete args, the program can successfully analyze. Here is the traceback (using original `interval`...

z3.z3types.Z3Exception: b'invalid extract application'

2

**Describe the bug** When using Rust `std::env::args_os` to accept command line arguments, z3 backend generates an error. I think z3 doesn't support some types, because `std::env::args_os` is designed to accept...

incompatible with rustc 1.67.1

2

**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...