protected ConstantDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException { ConstantAnalysis analysis = new ConstantAnalysis( getMethodGen(method), getDepthFirstSearch(method) ); ConstantDataflow dataflow = new ConstantDataflow(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);
			protected ConstantDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {				ConstantAnalysis analysis = new ConstantAnalysis(					getMethodGen(method),					getDepthFirstSearch(method)				);				ConstantDataflow dataflow = new ConstantDataflow(getCFG(method), analysis);				dataflow.execute();								return dataflow;			}