Combining type-analysis with points-to analysis for analyzing Java library source-code

Nicholas Allen, Padmanabhan Krishnan, Bernhard Scholz. Combining type-analysis with points-to analysis for analyzing Java library source-code. In Anders Møller, Mayur Naik, editors, Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA, June 15 - 17, 2015. pages 13-18, ACM, 2015. [doi]

Abstract

Abstract is missing.