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=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,85034d1ac78a66eb X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-03-10 21:06:56 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.cwix.com!newsfeed1.cidera.com!Cidera!cyclone1.gnilink.net!spamfinder.gnilink.net!nwrddc02.gnilink.net.POSTED!53ab2750!not-for-mail Message-ID: <3C8C3C4E.9030703@mail.com> From: Hyman Rosen User-Agent: Mozilla/5.0 (Windows; U; Win 9x 4.90; en-US; rv:0.9.8+) Gecko/20020302 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ada Operating System References: <3c77b476.322111671@news.cis.dfn.de> <3C88E0D1.89161C16@despammed.com> <3C8A3999.2000301@earthlink.net> <3C8B0191.3080705@mail.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Date: Mon, 11 Mar 2002 05:06:52 GMT NNTP-Posting-Host: 162.83.250.122 X-Complaints-To: business-support@verizon.com X-Trace: nwrddc02.gnilink.net 1015823212 162.83.250.122 (Mon, 11 Mar 2002 00:06:52 EST) NNTP-Posting-Date: Mon, 11 Mar 2002 00:06:52 EST Xref: archiver1.google.com comp.lang.ada:21033 Date: 2002-03-11T05:06:52+00:00 List-Id: David Starner wrote: > It can catch at least part of this - think sandboxing or Perl's taint > mode. That's a problem for the scripting language, though. But this sort of thing isn't part of Ada, so if AdaOS will have it, it will be because some decides to implement it. It then becomes difficult to argue that the safety of AdaOS is due to the safety of Ada.