Challenge 3: Why Use-After-Free Can't Happen in Ordinary Java — Possible Solution
====================================================================

// c1-7's own material demonstrated a real dangling-pointer bug in C:
// a pointer keeps holding the address of memory that has already
// been freed (via free(), c2-2), and nothing stops the program from
// dereferencing that pointer afterward -- reading or writing memory
// that may since have been reused for something else entirely. The
// compiler enforces nothing here; the pointer's TYPE gives no
// indication that the memory behind it is no longer valid.
//
// This exact bug is structurally impossible to reproduce in ordinary
// Java code, for a reason that traces directly back to this
// chapter's own reachability model: in Java, an object is NEVER
// eligible for collection while any live reference to it still
// exists. There is no free()-equivalent a programmer can call early,
// and no way to manually mark memory as "done" while a reference is
// still live. The only way an object becomes collectible is if it
// becomes UNREACHABLE first -- meaning, by definition, nothing is
// left holding a reference to it anymore. If a reference variable
// still exists and still points to that object, the object is, by
// the JVM's own rule, still reachable, and therefore guaranteed not
// to have been collected yet.
//
// In other words: the two conditions that together produce a
// use-after-free bug in C ("the memory was freed" AND "a reference to
// it still exists and gets used") can never both be true at the same
// time in Java. The reachability rule makes them mutually exclusive
// by construction, not by programmer discipline.

WHY THIS WORKS AS AN ANSWER
------------------------------
This directly ties the c1-7/c2-2 use-after-free bug class to this
chapter's own reachability rule, correctly identifying that the two
preconditions for that bug (freed memory + a still-usable reference to
it) are made mutually exclusive by Java's reachability-based
collection, not merely discouraged by convention.