public void registerOptions(Plugin ownerPlugin, ToolOptions opt, Program program) {

		opt.registerOption(OP_KEY_TAINT_QUERY_OUTPUT_FORM, TaintFormat.ALL,
			new HelpLocation(HelpTopics.DECOMPILER, "Taint Output Type"),
			"The type of Source-Sink query output (e.g., sarif, summary, text)");

		opt.registerOption(OP_KEY_TAINT_QUERY_ENGINE, "",
			new HelpLocation(HelpTopics.DECOMPILER, "Taint Query Engine"),
			"The query engine (e.g., angr, ctadl)");

		opt.registerOption(OP_KEY_TAINT_ENGINE_PATH, DEFAULT_TAINT_ENGINE_PATH,
			new HelpLocation(HelpTopics.DECOMPILER, "Taint Engine Directory"),
			"Base path to external taint engine (Source-Sink executable).");

		opt.registerOption(OP_KEY_TAINT_FACTS_DIR, DEFAULT_TAINT_FACTS_DIR,
			new HelpLocation(HelpTopics.DECOMPILER, "Taint Facts Directory"),
			"Base Path to facts directory");

		opt.registerOption(OP_KEY_TAINT_OUTPUT_DIR, DEFAULT_TAINT_OUTPUT_DIR,
			new HelpLocation(HelpTopics.DECOMPILER, "Taint Output Directory"),
			"Base Path to output directory");

		opt.registerOption(OP_KEY_TAINT_QUERY, DEFAULT_TAINT_QUERY,
			new HelpLocation(HelpTopics.DECOMPILER, "TaintQuery"),
			"File where the query text that Ghidra produces is written.");

		opt.registerOption(OP_KEY_TAINT_DB, DEFAULT_TAINT_DB,
			new HelpLocation(HelpTopics.DECOMPILER, "Taint Database"),
			"File where the index is written for the binary.");

		opt.registerThemeColorBinding(TAINT_HIGHLIGHT, TAINT_HIGHLIGHT_COLOR.getId(),
			new HelpLocation(HelpTopics.DECOMPILER, "TaintTokenColor"),
			"Color used for highlighting tainted variables.");

		opt.registerOption(TAINT_ALL_ACCESS, TAINT_ALL_ACCESS_PATHS,
			new HelpLocation(HelpTopics.DECOMPILER, "TaintAllAccess"), "Use all access paths.");

		grabFromToolAndProgram(ownerPlugin, opt, program);
	}
This registers all the decompiler tool options with ghidra, and has the side
effect of pulling all the current values for the options if they exist

@param ownerPlugin the plugin to which the options should be registered
@param opt         the options object to register with
@param program     the program
Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/TaintOptions.java