2 ms·
UAF are solved by an affine type system (like Rust has), they don't require a linear type system. That is, an implicitly invoked destructor is not an UAF conce
by masklinn 4y ago
UAF are solved by an affine type system (like Rust has), they don't require a linear type system.
That is, an implicitly invoked destructor is not an UAF concern.
- ummonk 4y agoAgreed. To be clear, I'm not explaining why the OP chose linear types over affine types (I have mixed feelings on choosing one or the other) but rather why one needs either affine or linear types rather than "disposed exactly once" types.