PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis

Peiming Liu, Yanze Li, Bradley Swain, Jeff Huang 0001. PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis. In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. pages 1781-1792, IEEE, 2022. [doi]

Abstract

Abstract is missing.