protected ReturnPathDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException { CFG cfg = getCFG(method); DepthFirstSearch dfs = getDepthFirstSearch(method); ReturnPathAnalysis analysis = new ReturnPathAnalysis(dfs); ReturnPathDataflow dataflow = new ReturnPathDataflow(cfg, analysis); dataflow.execute(); return dataflow; }
protected LockChecker analyze(Method method) throws CFGBuilderException, DataflowAnalysisException { LockChecker lockChecker = new LockChecker(ClassContext.this, method); lockChecker.execute(); return lockChecker; }
		        protected ReturnPathDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {			        CFG cfg = getCFG(method);			        DepthFirstSearch dfs = getDepthFirstSearch(method);			        ReturnPathAnalysis analysis = new ReturnPathAnalysis(dfs);			        ReturnPathDataflow dataflow = new ReturnPathDataflow(cfg, analysis);			        dataflow.execute();			        return dataflow;		        }