The program obtains a value from an untrusted source, converts this value to a pointer, and dereferences the resulting pointer.