On Monday, 9 January 2023 at 06:34:23 UTC, Paulo Pinto wrote:
On Monday, 9 January 2023 at 04:31:48 UTC, Siarhei Siamashka
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!
Memory safe systems programming language is an oxymoron. To be
suitable for systems programming, the language has to provide a
mechanism to opt out of safety at least for some parts of the
code. These parts of code may have memory safety bugs. The
compiler of the safe language itself may have bugs. Valgrind is
very useful for troubleshooting D issues and this usefulness
won't go away any time soon. Here's one example:
https://forum.dlang.org/post/msjrcymphcdquslfg...@forum.dlang.org