An efficient tunable selective points-to analysis for large codebases
Behnaz Hassanshahi, Raghavendra Ramesh, Padmanabhan Krishnan, Bernhard J. Scholz, Yi Lu · 2017
Points-to analysis is a fundamental static program analysis technique for tools including compilers and bug-checkers. Although object-based context sensitivity is known to improve precision of points-to analysis, scaling it for large Java codebases remains a challenge.