examineLocation(location, cpg, typeDataflow);
if (ins instanceof InvokeInstruction) { examineCallSite(location, cpg, typeDataflow); } else if (nonNullReturn && ins instanceof ReturnInstruction) { examineReturnInstruction(location); }
	private void examineCalledMethods()			throws CFGBuilderException, DataflowAnalysisException {		ConstantPoolGen cpg = classContext.getConstantPoolGen();		TypeDataflow typeDataflow = classContext.getTypeDataflow(method);				for (Iterator<Location> i = classContext.getCFG(method).locationIterator(); i.hasNext();) {			Location location = i.next();			try {				examineLocation(location, cpg, typeDataflow);			} catch (ClassNotFoundException e) {				bugReporter.reportMissingClass(e);			}		}	}