protected void readQueryResultsIntoDataFrame(Program prog, InputStream is) {

		StringBuilder sb = new StringBuilder();
		String line = null;
		taintAddressSet.clear();
		taintVarnodeMap.clear();

		try {
			BufferedReader bufferedReader = new BufferedReader(new InputStreamReader(is));

			while ((line = bufferedReader.readLine()) != null) {
				sb.append(line);
			}
			bufferedReader.close();
		}
		catch (IOException e) {
			plugin.consoleMessage("IO Error Reading Query Results from Process: " + e.getMessage());
		}

		try {
			currentQueryData = plugin.getSarifService().readSarif(sb.toString());
		}
		catch (JsonSyntaxException e) {
			plugin.consoleMessage(
				"Error in JSON in Sarif Output from " + getName() + ": " + e.getMessage());
			e.printStackTrace();
		}
		catch (IOException e) {
			plugin.consoleMessage(
				"IO Exception Parsing JSON Sarif Output from " + getName() + ": " + e.getMessage());
			e.printStackTrace();
		}
	}
@param prog current program if needed
@param is the input stream (SARIF json) from the process builder that runs the engine
Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/AbstractTaintState.java