IsNullValueDataflow invDataflow = classContext.getIsNullValueDataflow(method);
this.previouslyDeadBlocks = findPreviouslyDeadBlocks();   invDataflow = classContext.getIsNullValueDataflow(method);
	private void analyzeMethod(ClassContext classContext, Method method)	        throws CFGBuilderException, DataflowAnalysisException {		if (!checkedDatabases) {			checkDatabases();			checkedDatabases = true;		}				this.method = method;				if (checkReturnValueAnnotations) {			checkForNonNullAnnotation();		}		if (DEBUG || DEBUG_NULLARG)			System.out.println(SignatureConverter.convertMethodSignature(classContext.getMethodGen(method)));		// Get the IsNullValueAnalysis for the method from the ClassContext		IsNullValueDataflow invDataflow = classContext.getIsNullValueDataflow(method);				// Create a NullDerefAndRedundantComparisonFinder object to do the actual		// work.  It will call back to report null derefs and redundant null comparisons		// through the NullDerefAndRedundantComparisonCollector interface we implement.		NullDerefAndRedundantComparisonFinder worker = new NullDerefAndRedundantComparisonFinder(				classContext,				method,				invDataflow,				this);		worker.execute();		if (checkUnconditionalDeref || checkParamAnnotations || checkReturnValueAnnotations) {			checkCallSitesAndReturnInstructions();		}	}