Asking for mechanisms to efficiently dump and restore intermediate PTA results

[jjppp]

Clear and concise description of the problem

A lot of advanced pointer analysis techniques (e.g., mahjong, zipper-e, and scaler) require a context-insensitive pre-analysis in prior to the actual pointer analysis. For efficiency concerns, It should be reasonable to store the intermediate PTA results of a context-insensitive analysis so that it can be reused for different advanced analyses.

Although we currently can dump PTA results to yaml or txt, as in the PTATests, it is far from satisfying, since:

1. currently there is no way to convert a dumped PTA result back into tai-e data structures
2. the current dumping mechanism is inefficient in terms of both time and space complexity, as it prioritize readability and is dedicated for regression testing and debugging

Impact Analysis

By enabling dumping and restoring intermediate results, we can reuse some analysis results

Suggested Solution

No response

Alternative

No response

Intention to submit PR

Yes

Additional Context

No response