protected UnconditionalDerefDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException { CFG cfg = getCFG(method);  UnconditionalDerefAnalysis analysis = new UnconditionalDerefAnalysis( getReverseDepthFirstSearch(method), cfg, getMethodGen(method), getValueNumberDataflow(method), getTypeDataflow(method)); UnconditionalDerefDataflow dataflow = new UnconditionalDerefDataflow(cfg, analysis);
protected LoadDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException { LoadAnalysis analysis = new LoadAnalysis( getDepthFirstSearch(method), getConstantPoolGen() ); LoadDataflow dataflow = new LoadDataflow(getCFG(method), analysis);
			protected UnconditionalDerefDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {				CFG cfg = getCFG(method); 								UnconditionalDerefAnalysis analysis = new UnconditionalDerefAnalysis(						getReverseDepthFirstSearch(method),						cfg,						getMethodGen(method),						getValueNumberDataflow(method),						getTypeDataflow(method));				UnconditionalDerefDataflow dataflow = new UnconditionalDerefDataflow(cfg, analysis);								dataflow.execute();								return dataflow;			}