Safer Linux Kernel Modules Using the D Programming Language

[Paulo Pinto]

On Monday, 9 January 2023 at 04:31:48 UTC, Siarhei Siamashka 
wrote:
> On Monday, 9 January 2023 at 03:54:32 UTC, Walter Bright wrote:
>> Buffer overflows are trivial to have in C, and C has no 
>> mechanism to prevent them.
>
> ASAN, Valgrind, Clang Static Analyzer and plenty of other tools 
> are the practical mechanisms to prevent buffer overflows. Yes, 
> they are not baked into the ISO language standard. But D has no 
> ISO language standard at all.

The best part of memory safe systems programming languages is 
that many of those tools don't even have to exist, they are part 
of language semantics!