Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://fosstodon.org/users/ids1024/statuses/111536875169466702">Ian Douglas Scott (ids1024@fosstodon.org)'s status on Thursday, 07-Dec-2023 17:45:43 JST</a><a href="https://fosstodon.org/@ids1024" title="ids1024@fosstodon.org"><img src="https://gnusocial.jp/avatar/73881-48-20221215042600.webp" width="48" height="48" alt="Ian Douglas Scott" style="position: absolute; left: 0; top: 0;">Ian Douglas Scott</a><div><a href="https://udongein.xyz/objects/ad103318-9783-460c-a5d8-0aa006fc1f4b" rel="in-reply-to">in reply to</a><ul><li><li><a href="https://gnusocial.jp/user/39473" title="gsuberland@chaos.social">Graham Sutherland / Polynomial</a></li><li><a href="https://gnusocial.jp/user/209694" title="lispi314@udongein.xyz">LisPi</a></li></ul></div></section><article><p><a href="https://udongein.xyz/users/lispi314">@lispi314</a> <a href="https://berserker.town/@moffintosh">@moffintosh</a> <a href="https://chaos.social/@gsuberland">@gsuberland</a> Something like Ada SPARK would be suitable. Though for buffer overflows (like this seems to be) essentially every contemporary programming language would allow writing a parser without issues like that... except C and C++.</p><p>It's not especially hard to do better here.</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/2422155#notice-4791414">In conversation</a><time datetime="2023-12-07T17:45:43+09:00" title="Thursday, 07-Dec-2023 17:45:43 JST">about a year ago</time> <span>from <span><a href="https://fosstodon.org/@ids1024/111536875169466702" rel="external" title="Sent from fosstodon.org via ActivityPub">fosstodon.org</a></span></span><a href="https://fosstodon.org/@ids1024/111536875169466702">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
Ian Douglas Scott (ids1024@fosstodon.org)'s status on Thursday, 07-Dec-2023 17:45:43 JSTIan Douglas Scott
in reply to
@lispi314 @moffintosh @gsuberland Something like Ada SPARK would be suitable. Though for buffer overflows (like this seems to be) essentially every contemporary programming language would allow writing a parser without issues like that... except C and C++.
It's not especially hard to do better here.
In conversationabout a year ago from fosstodon.orgpermalink

Public

Embed Notice

HTML Code

Corresponding Notice