Closed harveyghq closed 1 year ago
Describe the bug
similar to #96, the engine ignores the unreachable instruction and continues to analyze.
unreachable
To Reproduce
python launcher.py -f a.wasm --entry "__original_main" -s -v debug --source_type rust
Expected behavior
stop and discard current path when trapped in an unreachable instruction.
Additional context
Sample wasm: a.tar.gz.
Note that this file differs slightly from #96 (add an unreachable instr at L8)
Describe the bug
similar to #96, the engine ignores the
unreachableinstruction and continues to analyze.To Reproduce
python launcher.py -f a.wasm --entry "__original_main" -s -v debug --source_type rustExpected behavior
stop and discard current path when trapped in an
unreachableinstruction.Additional context
Sample wasm: a.tar.gz.
Note that this file differs slightly from #96 (add an
unreachableinstr at L8)