Date: Sun, 1 Jun 2025 10:01:56 -0400
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.
<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.
Received on 2025-06-01 14:02:08