<div dir="ltr"><div dir="ltr">On Sun, Mar 3, 2024 at 2:58 PM Pablo Cayuela <<a href="mailto:pablo.cayuela@gmail.com">pablo.cayuela@gmail.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>I read the news about this, and I was gladly surprised to see Delphi-Pascal on the suggestions.</div><div>I've also read another point of view of the report here:</div><div><a href="https://hackaday.com/2024/02/29/the-white-house-memory-safety-appeal-is-a-security-red-herring/" target="_blank">https://hackaday.com/2024/02/29/the-white-house-memory-safety-appeal-is-a-security-red-herring/</a></div><div><br></div><div>And I wonder, is Oberon in any of its versions, a memory-safe language? What mechanisms does it have or need to achieve that goal?<br></div><div></div></div></blockquote><div> </div><div>That alternative point of view includes some good points. Memory-safety is an aspect of the bigger picture which I prefer to call Software Reliability. I talked about this with respect to Oberon-07 in my presentation at the ETH Oberon Day in 2011. There is a video recording of this titled "ARM Embedded Development Using Oberon-07" at</div><div><br></div><div><div><a href="https://video.ethz.ch/events/2011/oberon.html">https://video.ethz.ch/events/2011/oberon.html</a><br></div><div><br></div></div><div><div>In particular, see the section from time 19:00 to 24:50 (mins: secs).<br></div><div></div></div><div><br></div><div>In summary I said </div><br>"I took the 142 rules of the MISRA-C:2004 "Guidelines for the use of the C language in critical systems" and applied them to Oberon-07. I discovered that more than 70% of the rules are NOT required when programming in Oberon-07. They are either already enforced by the language or are not applicable."<br><br>You can see some examples of these guidelines in an earlier post in this mailing list:<br><br>Subject: Re: [Oberon] Oberon as (embedded) rtos,
12 November 2018<br><br></div><div class="gmail_quote"><a href="https://lists.inf.ethz.ch/pipermail/oberon/2018/012534.html">https://lists.inf.ethz.ch/pipermail/oberon/2018/012534.html</a></div><div class="gmail_quote"><br></div><div class="gmail_quote">Regards,</div><div class="gmail_quote">Chris Burrows</div><div class="gmail_quote">CFB Software</div><div class="gmail_quote"><a href="https://www.astrobe.com/RISC5">https://www.astrobe.com/RISC5</a></div><div class="gmail_quote"><br></div></div>