*/
private ControlFlowAnalyzer computeCompleteCfa() {
dependencyRecorder.startDependencyGraph("total", null);
ControlFlowAnalyzer completeCfa = new ControlFlowAnalyzer(jprogram);
completeCfa.setDependencyRecorder(dependencyRecorder);
completeCfa.traverseEverything();
dependencyRecorder.endDependencyGraph();
return completeCfa;
}
/**