@Override
	protected void programClosed(Program program) {
		for (TaintSliceTreeProvider provider : taintTreeProviders.values()) {
			provider.programClosed(program);
		}
	}
Plugin for tracking taint through the decompiler.
Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/TaintPlugin.java