Ningyu He

Can not analyze smart contract due to Souffle

5

I have configured successfully for all the prerequisite, when I entered ``` python securify ``` I can get: ``` usage: securify contract.sol [opts] securify: error: the following arguments are required:...

**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 的处理，也可以手动调整这个数值...

**Is your feature request related to a problem? Please describe.** z3 has enabled (de)serialization. Thus, we can utilize this feature to enable multi proc in `graph.py`. **Describe the solution you'd...

`strstr` function does not perform well

2

**Describe the bug** In `Wasm-samples/c_samples.nosync/source/test_c_library.c`, we add a `strstr` function to illustrate the ability of our engine. However, after several tests, we find that: once the `needle` is longer than...