Jie Zhou issues

Repositories
Issues
Comments

Results 1 issues of


                                            Jie Zhou

Flow-sensitive pointer analysis consumes prohibitive amount of memory

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....