Results 1 issues of Jie Zhou

I tried to run SVF's flow sensitive analysis on `curl` ([link to curl 7.70.0](https://github.com/curl/curl/tree/curl-7_70_0)). The memory consumption is prohibitively high and the process was killed by the OS during analysis....