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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,af0c6ea85f3ed92d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.226.10 with SMTP id ro10mr17525608pbc.6.1329818360224;
        Tue, 21 Feb 2012 01:59:20 -0800 (PST)
Path: 
 wr5ni50837pbc.0!nntp.google.com!news1.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Arbitrary Sandbox
Date: Tue, 21 Feb 2012 09:59:19 +0000
Organization: A noiseless patient Spider
Message-ID: <m2mx8c1p8o.fsf@pushface.org>
References: <bfeb9869-9323-4ad5-bdf8-af20593734ef@q8g2000pbb.googlegroups.com>
	<2aaee0a4-e820-4a75-bbaf-d9d09c366d2c@f5g2000yqm.googlegroups.com>
	<4da4bf75-e6c9-4c17-9072-ab6f533ed93f@vd8g2000pbc.googlegroups.com>
	<jh7739$9os$1@munin.nbi.dk>
	<203d63cf-42a9-49ef-82cd-943d77b5e438@c21g2000yqi.googlegroups.com>
	<jhh6qr$9av$1@munin.nbi.dk>
	<e10bf38c-3c48-4fa4-bb0a-e61211aee90d@f30g2000yqh.googlegroups.com>
	<193cr8xol0ysi.14p4cp2yxnb0r$.dlg@40tude.net>
	<op.v9veuwe6ule2fv@douda-yannick>
	<1jleu301thnd3$.s23priwn3ajb$.dlg@40tude.net>
	<wccobswc6ob.fsf@shell01.TheWorld.com>
	<18o3vqsl9uy2$.a3m68cg8ysro.dlg@40tude.net>
	<wccvcn1nl0x.fsf@shell01.TheWorld.com>
	<1fkgdlidn0v80$.kjvkmk7y29vo$.dlg@40tude.net>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="29222"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18+EEcFC7TDJsrwNb5KS5Wt/8B2LhkgppI="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (darwin)
Cancel-Lock: sha1:xJxUG/qef09DxQfgO19CRDWZTek=
	sha1:4KSDy6YN68qSweZBNjOThRyxwuc=
Content-Type: text/plain; charset=us-ascii
Date: 2012-02-21T09:59:19+00:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> On Mon, 20 Feb 2012 18:27:10 -0500, Robert A Duff wrote:

>> If U_C etc. causes trouble, use Java.  Or use a subset of Ada that
>> doesn't allow such features.  I really can't imagine a sensible way
>> to use such features and check them at run time.
>
> Of course there is. Do you remember the last time U_C crashed Windows
> or Linux?

An application can easily trash my data without crashing the OS.