search

PKU-ASAL / SeeWasm

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

the number of states is incorrect #93

Closed xxwlyl closed 1 year ago

xxwlyl commented 1 year ago

Describe the bug the number of states(or the results) isn't as expected when I try to run a program with branch.

To Reproduce Steps to reproduce the behavior:

  1. compile the C code and rerun with SeeWasm
  2. check the log

Expected behavior the number of the states is the exponent of the number of branch. Actually the number of the states is 2^{N}, where N is the length of the symbolic input string.

Additional context To upload the files about the issue, I add the suffix '.txt'.After downloading them, please remove the suffix. test.c.txt

test.wasm.txt

HNYuuu commented 1 year ago

The bug is fixed, and the corresponding pr is merged. Closed.