A bug occurs when a symbolic pointer is encountered.

[abc767234318]

Describe the bug A bug occurs when a symbolic pointer is encountered.

To Reproduce Here is the source code and the generated wasm program. printinitials.zip

Enter the following command:

python eunomia_entry.py -f printinitials.wasm  -s --sym_args 1 

And it produces the following output:

Start to analyze: 2022-11-17 23:12:40
Running...
        encounter a symbolic pointer (Concat(sym_arg_1, 0) >> 24) in printf, with pattern %c

[HNYuuu]

fixed in 526f092