search

PKU-ASAL / SeeWasm

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

Concrete input decode CFG error #65

Closed HNYuuu closed 2 years ago

HNYuuu commented 2 years ago

Describe the bug If we give a concrete input, the output is not as expected.

To Reproduce Run python3 eunomia_entry -f /Users/ningyuhe/Downloads/wasm-lavam/base64-14.wasm -s --onlyfunc __original_main --concrete_globals --stdin "MTIzCg==" --args "base64 -d"

The output is:

DEC_B64BLOCKSIZE 4096

Expected behavior Expected output:

DEC_B64BLOCKSIZE 4096
DEC_BLOCKSIZE 3072
sum 0
k 0
outleft_save 3072
here 4
outleft_save 3068
here 2
outleft_save 3068
here 2
123
k 1
HNYuuu commented 2 years ago

The log diff is stored in link

HNYuuu commented 2 years ago

Resolved in #66.