On Sun, Jun 1, 2025 at 4:32 AM Thomas Krogh Lohse via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>
> Dear all,
>
> I’ve just submitted my master’s thesis in Software Engineering from Aalborg University (defending it on June 6), which focuses on memory safety in C++, and I’d like to briefly share the core idea of my project.
>
> The project defines a conservative safe subset of C++, and applies two static dataflow analyses:
> * A lifetime analysis to detect use-after-free, use-after-move, and similar issues.
> * A borrow checker-style analysis to ensure mutually exclusive access to resources.
>
> The safe subset is inspired by Rust and restricts some inherently unsafe constructs:
> * Pointer dereferencing
> * `new` / `delete`
> * `reinterpret_cast`, `const_cast`, and C-style casts
> * Union field access
> * Labels and `goto`

I'm not sure that `goto` should be on that list.