SeeWasm
SeeWasm copied to clipboard
HNYuuu
A native symbolic execution engine for WebAssembly
**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`...
**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...
**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...
**Describe the bug** When I try to wasmtime the module, it reports the error 'ttributeError: 'int' object has no attribute 'from_raw'' **To Reproduce** compile the C code and rerun it...
**Is your feature request related to a problem? Please describe.** 我们新添加了一个 manticore 这个工具用来测试的 sample，路径为 `/c2wasm_samples/collatz_manticore.c` 其中的函数为递归调用，我们现在的引擎对于 call stack 的大小没有做任何限制，会造成资源耗尽。 **Describe the solution you'd like** 限制 call stack 的大小，类似于 loop 的处理，也可以手动调整这个数值...
**Is your feature request related to a problem? Please describe.** z3 has enabled (de)serialization. Thus, we can utilize this feature to enable multi proc in `graph.py`. **Describe the solution you'd...
**Describe the bug** In `Wasm-samples/c_samples.nosync/source/test_c_library.c`, we add a `strstr` function to illustrate the ability of our engine. However, after several tests, we find that: once the `needle` is longer than...
**Is your feature request related to a problem? Please describe.** There are no sample related to Fabric chaincode in Wasm-samples **Describe the solution you'd like** Could add defects in normal...
