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

Nicholas Allen, Padmanabhan Krishnan, Bernhard Scholz

Browse the full PLDI paper archive.