ReverseDepthFirstSearch rdfs = rdfsMap.get(method); if (rdfs == null) { CFG cfg = getRawCFG(method); rdfs = new ReverseDepthFirstSearch(cfg); rdfs.search(); rdfsMap.put(method, rdfs); } return rdfs;
return rdfsFactory.getAnalysis(method);
	public ReverseDepthFirstSearch getReverseDepthFirstSearch(Method method)		throws CFGBuilderException {		ReverseDepthFirstSearch rdfs = rdfsMap.get(method);		if (rdfs == null) {			CFG cfg = getRawCFG(method);			rdfs = new ReverseDepthFirstSearch(cfg);			rdfs.search();			rdfsMap.put(method, rdfs);		}		return rdfs;	}