From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.157.27.181 with SMTP id z50mr7940745otd.149.1498334438366; Sat, 24 Jun 2017 13:00:38 -0700 (PDT) X-Received: by 10.157.83.44 with SMTP id g44mr201185oth.8.1498334438298; Sat, 24 Jun 2017 13:00:38 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!185no778228itv.0!news-out.google.com!s132ni736itb.0!nntp.google.com!f20no779394itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 24 Jun 2017 13:00:38 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.92.25; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 76.113.92.25 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <863eef90-3e29-4c66-8377-203ce45c3337@googlegroups.com> Subject: Getting compilers right: a reliable foundation for secure software From: Shark8 Injection-Date: Sat, 24 Jun 2017 20:00:38 +0000 Content-Type: text/plain; charset="UTF-8" Xref: news.eternal-september.org comp.lang.ada:47103 Date: 2017-06-24T13:00:38-07:00 List-Id: Slightly off topic, due to not being [strictly] Ada-related, but I thought everyone would find this interesting: https://www.microsoft.com/en-us/research/blog/getting-compilers-right-secure-software/ But more on topic: *Why the heck aren't Ada compilers on the forefront of secure/reliable compilers?*