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

[harveyghq]

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 invalid unicode argument. ref

Some of the last analyzed functions:

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

Expected behavior No errors.

Additional context args_os.d.wasm.tar.gz