SCHOLZ BERNHARD FRIEDRICH

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