The specification for IterateOverReachableObjects and IterateOverObjectsReachableFromObject do not state the object relationship that must be reported. The spec needs to state :-

1. Instance objects report references to all non-null instance fields.

2. Instance object report a reference to the object type (class).

3. Classes report a reference to the superclass and directly implemented interfaces.

4. Classes report a reference to the class loader, protection domain, signers, and resolved entries in the constant pool.

5. Classes report a reference to each non-null static field.

6. Array report a reference to the array type and each non-null array element.

7. Primitive arrays report a reference to the array type.