if (AnalysisContext.USE_INTERPROC_DATABASE) { UnconditionalDerefPropertyDatabase database = AnalysisContext.currentAnalysisContext().getUnconditionalDerefDatabase(); if (database != null) { examineCalledMethods(database); } }
	private void analyzeMethod(ClassContext classContext, Method method)	        throws CFGBuilderException, DataflowAnalysisException {				this.method = method;		if (DEBUG)			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();	}