Efficient Pointer Analysis via Def-Use Graph Pruning

Precise pointer information is essential for dataflow analysis. While flow-sensitive pointer analysis yields highly precise results, it introduces more computations. To provide a better trade-off between precision and performance, prior work has developed LEVPA, a pointer analysis that processes poi... View More