private static String hvarName(HighVariable hv) {
		Varnode rep = hv.getRepresentative();
		if (rep.getAddress().isUniqueAddress()) {
			HighFunction hf = hv.getHighFunction();
			DynamicHash dynamicHash = new DynamicHash(rep, hf);
			return "hv"+Long.toString(dynamicHash.getHash());
		}
		if (hv.getName() == null || hv.getName().equals("UNNAMED")) {
			if (hv instanceof HighConstant || hv instanceof HighOther) {
				Address addr = rep.getAddress();
				return addr.toString();
			}
			if (hv instanceof HighLocal) {
				Address addr = rep.getAddress();
				return addr.toString();
			}
			if (hv instanceof HighGlobal) {
				Function fn = hv.getHighFunction().getFunction();
				SymbolTable symbolTable = fn.getProgram().getSymbolTable();
				Address addr = rep.getAddress();
				Symbol symbol = symbolTable.getPrimarySymbol(addr);
				if (symbol != null) {
					return symbol.getName();
				}
				return addr.toString();
			}
			return null;
		}
		return hv.getName();
	}
Perform a Source-Sink query on the index database.

@param program the program whose pcode is being queried.
@param tool - 
@param queryType true -> perform the default query (i.e., do not build the query from the selected source) 
@return success
Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/TaintState.java