@Override
	public Set<TaintQueryResult> getQuerySet(Address key) {
		Set<TaintQueryResult> set = new HashSet<>();
		switch (taskType) {
			case SET_TAINT -> set = taintVarnodeMap.get(key);
			case SET_DELTA -> set = deltaVarnodeMap.get(key);
			case APPLY_DELTA -> {
				Set<TaintQueryResult> A = taintVarnodeMap.get(key);
				if (A != null) {
					set.addAll(A);
				}
				Set<TaintQueryResult> B = deltaVarnodeMap.get(key);
				if (A != null) {
					set.removeAll(B);
				}
			}
		}
		return set;
	}
Read and parse a file that has Sarif JSON in it and set the addresses in the
listing that are tainted so they are highlighted.

@param sarifFile a file that contains SARIF JSON data.
Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/AbstractTaintState.java