Question about garbage collection support in PersistentPointsToCache

[Yang-CUHK]

Hello SVF team,

While reading through the code in SVF/svf/include/MemoryModel/PersistentPointsToCache.h, I noticed the following TODO comment:

// TODO: ref count API for garbage collection.

In my experiments with analyzing large projects, I observed that memory usage of PersistentPointsToCache tends to increase significantly over time. This makes me wonder whether a garbage collection mechanism (e.g., via reference counting) could help mitigate the memory growth.

Could you please confirm whether this garbage collection functionality has already been implemented in the current version of SVF? If not, I might be able to implement it or provide some help.

Thank you for your guidance!

[yuleisui]

Thanks, not yet implemented. We would be happy if you could contribute this part to the mainstream.