bugReporter.logError("Error analyzing " + method + " for unconditional deref training", e);
reportError(e);
	private void analyzeMethod(ClassContext classContext, Method method) {		try {			CFG cfg = classContext.getCFG(method);			UnconditionalDerefDataflow dataflow = classContext.getUnconditionalDerefDataflow(method);			UnconditionalDerefSet unconditionalDerefSet = dataflow.getResultFact(cfg.getEntry());			if (unconditionalDerefSet.isValid() && !unconditionalDerefSet.isEmpty()) {				UnconditionalDerefProperty property = new UnconditionalDerefProperty();				property.setUnconditionalDerefParamSet(unconditionalDerefSet);								XMethod xmethod = XMethodFactory.createXMethod(classContext.getJavaClass(), method);				database.setProperty(xmethod, property);			}		} catch (CFGBuilderException e) {			bugReporter.logError("Error analyzing " + method + " for unconditional deref training", e);		} catch (DataflowAnalysisException e) {			bugReporter.logError("Error analyzing " + method + " for unconditional deref training", e);		}	}