Flow-sensitive pointer analysis consumes prohibitive amount of memory

[jiezhoucs]

I tried to run SVF's flow sensitive analysis on curl (link to curl 7.70.0). The memory consumption is prohibitively high and the process was killed by the OS during analysis. I ran the compiler on a machine with 32 GB of DRAM and the OS is Ubuntu. According to htop, the memory consumption of the whole systems is around 600 MB before clang started to compile curl; I observed that the memory consumption reached to around 30.5 GB and stayed at that level for about 10 - 15 minutes, and then the consumption kept increasing and the whole clang process got killed by OS.

It'd be really helpful if you can improve the implementation of the flow sensitive pointer analysis. Thanks!