search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
941 stars 142 forks source link

Add save/load for LLVMPointsToSet #412

Closed ga0 closed 2 years ago

ga0 commented 3 years ago

As mentioned in #411 , save/load methods for LLVMPointsToSet will be very useful, especially when processing large programs. We can load the saved data and no need to generate LLVMPointsToSet again.

pdschubert commented 2 years ago

Thanks for your contribution. This feature is now fully implemented in #441 and will soon be merged.