String bugType; int priority; if (exitStatus == ResourceValueFrame.OPEN) { bugType = "OS_OPEN_STREAM"; priority = NORMAL_PRIORITY; } else { bugType = "OS_OPEN_STREAM_EXCEPTION_PATH";
String bugType = stream.getBugType(); int priority = NORMAL_PRIORITY; if (exitStatus == ResourceValueFrame.OPEN_ON_EXCEPTION_PATH) { bugType += "_EXCEPTION_PATH";
	public void inspectResult(JavaClass javaClass, MethodGen methodGen, CFG cfg,		Dataflow<ResourceValueFrame, ResourceValueAnalysis<Stream>> dataflow, Stream stream) {		ResourceValueFrame exitFrame = dataflow.getResultFact(cfg.getExit());		int exitStatus = exitFrame.getStatus();		if (exitStatus == ResourceValueFrame.OPEN			|| exitStatus == ResourceValueFrame.OPEN_ON_EXCEPTION_PATH) {			String bugType;			int priority;			if (exitStatus == ResourceValueFrame.OPEN) {				bugType = "OS_OPEN_STREAM";				priority = NORMAL_PRIORITY;			} else {				bugType = "OS_OPEN_STREAM_EXCEPTION_PATH";				priority = LOW_PRIORITY;			}			potentialOpenStreamList.add(new PotentialOpenStream(bugType, priority, stream));		}	}