MayReturnNullPropertyDatabase mayReturnNullDatabase = analysisContext.getMayReturnNullDatabase(); if (mayReturnNullDatabase != null) { invAnalysis.setMayReturnNullDatabase(mayReturnNullDatabase); }
		        protected IsNullValueDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {			        MethodGen methodGen = getMethodGen(method);			        CFG cfg = getCFG(method);			        ValueNumberDataflow vnaDataflow = getValueNumberDataflow(method);			        DepthFirstSearch dfs = getDepthFirstSearch(method);			        AssertionMethods assertionMethods = getAssertionMethods();			        IsNullValueAnalysis invAnalysis = new IsNullValueAnalysis(methodGen, cfg, vnaDataflow, dfs, assertionMethods);			        IsNullValueDataflow invDataflow = new IsNullValueDataflow(cfg, invAnalysis);			        invDataflow.execute();			        return invDataflow;		        }