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

Nicholas Allen Padmanabhan Krishnan Bernhard Scholz

Published in: SOAP@PLDI (2015)

Keyphrases

source code
static analysis
open source
software systems
open source software
programming language
free software
manual inspection