@Override
	public void registerOptions(Options options, Program program) {
		options.registerOption(OPTION_NAME, checkParamRefsOption, null, OPTION_DESCRIPTION);
		options.registerOption(STORED_OPTION_NAME, checkStoredRefsOption, null,
			STORED_OPTION_DESCRIPTION);
		options.registerOption(TRUST_WRITEMEM_OPTION_NAME, trustWriteMemOption, null,
			TRUST_WRITEMEM_OPTION_DESCRIPTION);

		options.registerOption(CREATE_COMPLEX_DATA_FROM_POINTERS_OPTION_NAME, createComplexDataFromPointers, null,
			CREATE_COMPLEX_DATA_FROM_POINTERS_OPTION_DESCRIPTION);
		
		options.registerOption(POINTER_PARAM_OPTION_NAME, checkPointerParamRefsOption, null,
			POINTER_PARAM_OPTION_DESCRIPTION);

		options.registerOption(MAX_THREAD_COUNT_OPTION_NAME, maxThreadCount, null,
			MAX_THREAD_COUNT_OPTION_DESCRIPTION);

		options.registerOption(MIN_KNOWN_REFADDRESS_OPTION_NAME, minStoreLoadRefAddress, null,
			MIN_KNOWN_REFADDRESS_OPTION_DESCRIPTION);

		options.registerOption(MIN_SPECULATIVE_REFADDRESS_OPTION_NAME, minSpeculativeRefAddress, null,
			MIN_SPECULATIVE_REFADDRESS_OPTION_DESCRIPTION);

		options.registerOption(MAX_SPECULATIVE_REFADDRESS_OPTION_NAME, maxSpeculativeRefAddress, null,
			MAX_SPECULATIVE_REFADDRESS_OPTION_DESCRIPTION);
	}
Actually use the setup evaluator to flow the constants

@param flowStart - address to start flowing at
@param flowSet - address set to restrict constant flowing to
@param symEval - symbolic propagator to be used
@param monitor - monitor to check canceled
@return the address set of instructions which were followed
@throws CancelledException
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/ConstantPropagationAnalyzer.java