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 ...

This project is a low overhead sampling profiler for Java that does not suffer from Safepoint bias problem. It features HotSpot-specific APIs to collect stack traces and to track memory allocations.

以降、関数 func () は Object obj を Return し、 o が初期化される。 FEC はその後 Call stack から削除される。 全 Code の実行が終わると GEC が Call stack から削除される。 Heap を参照する Stack がないため、Garbage Collector (GC)により、Heap も削除される。