Closed harveyghq closed 1 year ago
Describe the bug Currently the engine ignores the return instruction and continues to analyze.
return
To Reproduce
python launcher.py -f a.wasm --entry "__original_main" -s -v debug --source_type rust
Expected behavior same effect of return: stop analyzing any instructions after return and go back to caller
Additional context I manually craft a simple wasm to reproduce: a.tar.gz
Describe the bug Currently the engine ignores the
returninstruction and continues to analyze.To Reproduce
python launcher.py -f a.wasm --entry "__original_main" -s -v debug --source_type rustExpected behavior same effect of
return: stop analyzing any instructions afterreturnand go back to callerAdditional context I manually craft a simple wasm to reproduce: a.tar.gz