log.info("Performing alias assertion analysis...");
AliasAssertionAnalysis aliasAssertions = new AliasAssertionAnalysis(app);
log.info("Performing alias analysis...");
AliasAnalysis alias = new AliasAnalysis(app, liveness, fieldUsage, aliasAssertions);
log.info("Performing reaching definitions analysis...");
ReachingDefinitions reachingDefinitions = new ReachingDefinitions(app, liveness, alias);
// if no hotspots were specified, make every expression a hotspot by default
if (hotspots == null) {
hotspots = m1.keySet(); // take everything by default
}