private boolean areOffsetsValid() {
		// Note that we can't check the string table validity because, if it
		// doesn't exist, its offset will be computed to be beyond the end of
		// the file. The string table is also not given an explicit size in
		// the header.
		boolean status = ((a_text == 0) || (txtOffset < binarySize) &&
			((a_data == 0) || (datOffset < binarySize)) &&
			((a_trsize == 0) || (txtRelOffset < binarySize)) &&
			((a_drsize == 0) || (datRelOffset < binarySize)) &&
			((a_syms == 0) || (symOffset < binarySize)));
		return status;
	}
Returns a flag indicating whether all the file offsets in the header
(for the segments of nonzero size) fall within the size of the file.
Ghidra/Features/Base/src/main/java/ghidra/app/util/bin/format/unixaout/UnixAoutHeader.java