CallListDataflow dataflow = new CallListDataflow(getCFG(method), analysis);
IsNullValueDataflow inv = getIsNullValueDataflow(method);  analysis.clearDerefsOnNonNullBranches(inv);    analysis.setTypeDataflow(getTypeDataflow(method));  UnconditionalValueDerefDataflow dataflow = new UnconditionalValueDerefDataflow(getCFG(method), analysis);
                         protected CallListDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {				CallListAnalysis analysis = new CallListAnalysis(						getCFG(method),						getDepthFirstSearch(method),						getConstantPoolGen());								CallListDataflow dataflow = new CallListDataflow(getCFG(method), analysis);				dataflow.execute();								return dataflow;			}