}
ValueNumberDataflow vnaDataflow = getValueNumberDataflow(analysisCache, descriptor);
DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
CFG cfg = getCFG(analysisCache, descriptor);
LockAnalysis analysis = new LockAnalysis(methodGen, vnaDataflow, dfs);
LockDataflow dataflow = new LockDataflow(cfg, analysis);
dataflow.execute();
return dataflow;
}