public synchronized static DexAnalysisState getState(Program program) throws IOException {
		return TransientProgramProperties.getProperty(program, DexAnalysisState.class,
			SCOPE.PROGRAM, DexAnalysisState.class, () -> {
				DexHeader dexHeader = DexHeaderFactory.getDexHeader(program);
				return new DexAnalysisState(program, dexHeader);
			});
	}
Return shared/persistent {@link DexAnalysisState} which corresponds to the 
specified program instance.

@param program is the specified program instance
@return <code>DexAnalysisState</code> for specified program instance
@throws IOException if there are problems during construction of the state object
Ghidra/Features/FileFormats/src/main/java/ghidra/file/formats/android/dex/analyzer/DexAnalysisState.java