I believe that prior to 1.3 (maybe it was 1.2) Java was exact for pointers on the heap, conservative for pointers on the stack, because being exact for pointers on the stack means maintaining ...