bugReporter.reportBug(new BugInstance(this, "RR_NOT_CHECKED", NORMAL_PRIORITY)
bugReporter.reportBug(new BugInstance(this, "RR_NOT_CHECKED", recentCallToAvailable ? LOW_PRIORITY : NORMAL_PRIORITY)
	public void sawOpcode(int seen) {		boolean isInputStream = false;		boolean isBufferedInputStream = false;		if (seen == INVOKEVIRTUAL || seen == INVOKEINTERFACE) {			lastCallClass = getDottedClassConstantOperand();			lastCallMethod = getNameConstantOperand();			lastCallSig = getDottedSigConstantOperand();	        if (!lastCallClass.startsWith("[")) 		try {		   isInputStream 			= (Repository.instanceOf(lastCallClass,				"java.io.InputStream")			 || Repository.implementationOf(lastCallClass,				"java.io.DataInput")			 || Repository.instanceOf(lastCallClass,				"java.io.Reader"))			&& !Repository.instanceOf(lastCallClass, 				"java.io.ByteArrayInputStream");		    isBufferedInputStream = Repository.instanceOf(getDottedClassConstantOperand(), "java.io.BufferedInputStream");		} catch (ClassNotFoundException e) {		}		}		if (seen == INVOKEVIRTUAL || seen == INVOKEINTERFACE) 		  if (getNameConstantOperand().equals("available")		        && getSigConstantOperand().equals("()I")		      || getNameConstantOperand().startsWith("get")		        && getNameConstantOperand().endsWith("Length")		        && getSigConstantOperand().equals("()I")		      ||  getClassConstantOperand().equals("java/io/File")		        && getNameConstantOperand().equals("length")		        && getSigConstantOperand().equals("()J")) {			sawAvailable = 70;			return;		}		sawAvailable--;		if ((seen == INVOKEVIRTUAL || seen == INVOKEINTERFACE)		        && isInputStream		        && getNameConstantOperand().equals("read")		        && (				getSigConstantOperand().equals("([B)I")				|| getSigConstantOperand().equals("([BII)I")		            || getSigConstantOperand().equals("([C)I")		            || getSigConstantOperand().equals("([CII)I")				)		        && sawAvailable <= 0) {			sawRead = true;			readPC = getPC();			return;			}		if ((seen == INVOKEVIRTUAL || seen == INVOKEINTERFACE)		        && isInputStream		        && getNameConstantOperand().equals("skip")		        && getSigConstantOperand().equals("(J)J")) {			// if not ByteArrayInput Stream			//  and either no recent calls to length			//        or it is a BufferedInputStream			if (sawAvailable <= 0 || isBufferedInputStream) {				wasBufferedInputStream = isBufferedInputStream;				sawSkip = true;				skipPC = getPC();				return;			}		}		if ((seen == POP) || (seen == POP2)) {			if (sawRead) {				bugReporter.reportBug(new BugInstance(this, "RR_NOT_CHECKED", NORMAL_PRIORITY)				        .addClassAndMethod(this)				        .addCalledMethod(lastCallClass, lastCallMethod, lastCallSig, false)				        .addSourceLine(this, readPC));			} else if (sawSkip) {				bugReporter.reportBug(new BugInstance(this, "SR_NOT_CHECKED",				        (wasBufferedInputStream ? HIGH_PRIORITY : NORMAL_PRIORITY))				        .addClassAndMethod(this)				        .addCalledMethod(lastCallClass, lastCallMethod, lastCallSig, false)				        .addSourceLine(this, skipPC));			}		}		sawRead = false;		sawSkip = false;	}