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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 107f24,582dff0b3f065a52 X-Google-Attributes: gid107f24,public X-Google-Thread: 109fba,582dff0b3f065a52 X-Google-Attributes: gid109fba,public X-Google-Thread: 103376,bc1361a952ec75ca X-Google-Attributes: gid103376,public X-Google-Thread: 1014db,582dff0b3f065a52 X-Google-Attributes: gid1014db,public X-Google-ArrivalTime: 2001-08-07 08:20:07 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!jfk3-feed1.news.digex.net!dca6-feed2.news.digex.net!intermedia!netnews.jhuapl.edu!not-for-mail From: Scott Ingram Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++,comp.lang.functional Subject: Re: How Ada could have prevented the Red Code distributed denial of service attack. Date: Tue, 07 Aug 2001 11:12:27 -0400 Organization: Johns Hopkins University Applied Physics Lab, Laurel, MD, USA Message-ID: <3B70055B.A48743C@silver.jhuapl.edu> References: <9kci3p$ri$1@elf.eng.bsdi.com> <9kdeuv$dfh@augusta.math.psu.edu> <3b6a4414.1193645865@news.worldonline.nl> <9ked75$fa8@augusta.math.psu.edu> <3b6e981c.1477345425@news.worldonline.nl> NNTP-Posting-Host: silver.jhuapl.edu Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: houston.jhuapl.edu 997197147 27048 128.244.80.107 (7 Aug 2001 15:12:27 GMT) X-Complaints-To: usenet@houston.jhuapl.edu NNTP-Posting-Date: 7 Aug 2001 15:12:27 GMT X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.2.2 i686) X-Accept-Language: en Xref: archiver1.google.com comp.lang.ada:11505 comp.lang.c:72692 comp.lang.c++:80657 comp.lang.functional:7382 Date: 2001-08-07T15:12:27+00:00 List-Id: Richard Bos wrote: > > Such as? Let me remind you that array bounds checking only allows you to > spot array bounds infringements _after_ they have happened. Only a > thorough design can help prevent bugs to occur in the first place. > Actually, Ada compilers check array bounds at compile time. Many array constructs can be built using Ada language features that impose no runtime penalty, and using those features is part of the design process. -- Scott Ingram Vice-Chair, Baltimore SIGAda System Development and Operational Support Group Johns Hopkins University Applied Physics Laboratory