Encoding Pointer Information for Querying and Reusing

We study the encoding scheme to enable efficient querying and reusing of pointer information (points-to, aliasing, ModRef, etc.). We empirically figure out the equivalence and hub properties and develop a scheme, PesTrie, to encode pointer information. The experiment shows that, PesTrie yields 10X and 14.8X smaller storage files than traditional bitmap and BDD encoding. With compactness at time, PesTrie encoding is orders of magnitude faster than traditional on-demand way to serve queries.