if (!loadedDatabase) { if (AnalysisContext.USE_INTERPROC_DATABASE) { unconditionalDerefDatabase.set(AnalysisContext.currentAnalysisContext().loadPropertyDatabase( new NonNullParamPropertyDatabase(), UNCONDITIONAL_DEREF_DB_FILENAME, "unconditional param deref database")); } loadedDatabase = true; }
	public void visitClassContext(ClassContext classContext) {		this.classContext = classContext;				try {			JavaClass jclass = classContext.getJavaClass();			Method[] methodList = jclass.getMethods();			for (int i = 0; i < methodList.length; ++i) {				Method method = methodList[i];				if (method.isAbstract() || method.isNative() || method.getCode() == null)					continue;								if (METHOD != null && !method.getName().equals(METHOD))					continue;				analyzeMethod(classContext, method);			}		} catch (DataflowAnalysisException e) {			bugReporter.logError("FindNullDeref caught exception", e);		} catch (CFGBuilderException e) {			bugReporter.logError("FindNullDeref caught exception", e);		}	}