public ReturnPathDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
CFG cfg = getCFG(analysisCache, descriptor);
DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
ReturnPathAnalysis analysis = new ReturnPathAnalysis(dfs);
ReturnPathDataflow dataflow = new ReturnPathDataflow(cfg, analysis);
dataflow.execute();
return dataflow;
}
}