PKU-ASAL / SeeWasm

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

Limit the depth of recursive call #21

Open HNYuuu opened 3 years ago

HNYuuu commented 3 years ago

Is your feature request related to a problem? Please describe. 我们新添加了一个 manticore 这个工具用来测试的 sample,路径为 /c2wasm_samples/collatz_manticore.c

其中的函数为递归调用,我们现在的引擎对于 call stack 的大小没有做任何限制,会造成资源耗尽。

Describe the solution you'd like 限制 call stack 的大小,类似于 loop 的处理,也可以手动调整这个数值

Additional context 复现指令:

python3.6 octopus_wasm -f './c2wasm_samples/if_check_manticore_g3.wasm' -s --onlyfunc main --need_mapper