*/
@Override
public BlockTypeDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
CFG cfg = getCFG(analysisCache, descriptor);
DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
BlockTypeAnalysis analysis = new BlockTypeAnalysis(dfs);
BlockTypeDataflow dataflow = new BlockTypeDataflow(cfg, analysis);
dataflow.execute();
return dataflow;
}