"NP_LOAD_OF_KNOWN_NULL_VALUE", v.isChecked() ? NORMAL_PRIORITY : LOW_PRIORITY)
"NP_LOAD_OF_KNOWN_NULL_VALUE", priority)
	private void analyzeMethod(ClassContext classContext, Method method)			throws CFGBuilderException, DataflowAnalysisException {		CFG cfg = classContext.getCFG(method);		IsNullValueDataflow nullValueDataflow = classContext				.getIsNullValueDataflow(method);		ConstantPoolGen cpg = classContext.getConstantPoolGen();		MethodGen methodGen = classContext.getMethodGen(method);		String sourceFile = classContext.getJavaClass().getSourceFileName();		for (Iterator<Location> i = cfg.locationIterator(); i.hasNext();) {			Location location = i.next();			Instruction ins = location.getHandle().getInstruction();			if (!(ins instanceof ALOAD))				continue;			ALOAD load = (ALOAD) ins;			IsNullValueFrame frame = nullValueDataflow					.getFactAtLocation(location);			if (!frame.isValid()) {				// This basic block is probably dead				continue;			}			int index = load.getIndex();			IsNullValue v = frame.getValue(index);			if (v.isDefinitelyNull())				bugReporter.reportBug(new BugInstance(this,						"NP_LOAD_OF_KNOWN_NULL_VALUE", v.isChecked() ? NORMAL_PRIORITY : LOW_PRIORITY)						.addClassAndMethod(methodGen, sourceFile)						.addSourceLine(								SourceLineAnnotation.fromVisitedInstruction(										methodGen, sourceFile, location												.getHandle())));		}	}