protected LockDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException { MethodGen methodGen = getMethodGen(method); ValueNumberDataflow vnaDataflow = getValueNumberDataflow(method); DepthFirstSearch dfs = getDepthFirstSearch(method); CFG cfg = getCFG(method);  LockAnalysis analysis = new LockAnalysis(methodGen, vnaDataflow, dfs); LockDataflow dataflow = new LockDataflow(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 LockDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {			        MethodGen methodGen = getMethodGen(method);			        ValueNumberDataflow vnaDataflow = getValueNumberDataflow(method);			        DepthFirstSearch dfs = getDepthFirstSearch(method);			        CFG cfg = getCFG(method);			        LockAnalysis analysis = new LockAnalysis(methodGen, vnaDataflow, dfs);			        LockDataflow dataflow = new LockDataflow(cfg, analysis);			        dataflow.execute();			        return dataflow;		        }