Generating run-time progress reports for a points-to analysis in Eclipse