taint_finalize (t,live) occurs either when the taint t is no longer reachable or when when machine that created this taint finishes. In the former case live would be true in the latter it is false.

The event may occur during the GC collection cycle and there could be a significant delay between the actual time when the taint become unreachable and the time when the observation is made.

Conservative Garbage Collector.