<div dir="auto">Hello,<div dir="auto">Plz forgive if obvious or uninteresting.</div><div dir="auto"><br><div dir="auto">If anyone is interested what might be complangs further on securitybyrust path:</div><div dir="auto">-pascal note: im reborn fan</div><div dir="auto">-zonnon note1: from lab of emeritus turing awardee and inventor of pascal family one and only niklaus wirth note2: russians are pushing for it note3: theres compiler writen in dotnet for it</div><div dir="auto">-zig  note1: forgive punnable name, note2: <a href="http://ziglearn.org" rel="noreferrer noreferrer" target="_blank">http://ziglearn.org</a> for hello world etc</div><div dir="auto"><br></div><div dir="auto">Some might owe credits to Microsoft, theyre working on rust for their platform.</div><div dir="auto"><br></div><div dir="auto">Checkedc from microsoft might help in analysis/debuggin of memaccesses in system and automated migration from c to some better world. They use sal annotations heavily.</div><div dir="auto"><br></div><div dir="auto">Past project cyclone has some funny ideas for making c more secure like nulltermptr nonnullptr and some other interesting constructs. They are using some banshee tool heavily there but didnt study yet what machinery type is that.</div><div dir="auto"><br></div><div dir="auto">Ccured project on how to make programs/complangs more type safe.</div><div dir="auto"><br></div><div dir="auto">I respect author of csmith project now in Microsoft for his work on autofinding bugs in compilers of c. We could try to use this approach and his findings for proper design and compiler autotesting of rust and his descendants.</div><div dir="auto"><br></div><div dir="auto">Best regards,</div><div dir="auto">Pawel Kunio</div></div></div>