[colinrozzi]

I think it is basically a garbage collector, just one that operates on a per-function level instead of at the general level of the program

[Rohansi]

It's not really though because the UB still exists and can be exploited, just in a forked process.