Hi Hendrik,

On Tue, 24 Mar 2026 17:02:53 -0400
Hendrik Boom <hendrik@???> wrote:

> C is not one of those languages.
>
> Nor is assembler.

If there is a subset of memory-safe executable programs produced by a
compiler, then you could limit the language so that the compiler will
always produce memory-safe programs. It could be as simple as adding a
verifier at the output step and failing any "incorrect" program (eBPF
verifier?).

Kind regards,
Marin