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: 103376,85034d1ac78a66eb X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-03-10 06:37:08 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.cwix.com!news.binc.net!kilgallen From: Kilgallen@SpamCop.net (Larry Kilgallen) Newsgroups: comp.lang.ada Subject: Re: Ada Operating System Date: 10 Mar 2002 08:37:06 -0600 Organization: LJK Software Message-ID: References: <3c77b476.322111671@news.cis.dfn.de> <3C88E0D1.89161C16@despammed.com> <3C8A3999.2000301@earthlink.net> <3C8B0191.3080705@mail.com> NNTP-Posting-Host: eisner.encompasserve.org X-Trace: grandcanyon.binc.net 1015771027 8231 192.135.80.34 (10 Mar 2002 14:37:07 GMT) X-Complaints-To: abuse@binc.net NNTP-Posting-Date: Sun, 10 Mar 2002 14:37:07 +0000 (UTC) Xref: archiver1.google.com comp.lang.ada:21019 Date: 2002-03-10T08:37:06-06:00 List-Id: In article <3C8B0191.3080705@mail.com>, Hyman Rosen writes: > Marin David Condic wrote: >> What about "privacy"? Would it be useful if the OS gave you a guarantee >> that some app you have can't be blipping your data to some unknown source or >> accessing websites without your knowledge/permission? > > I'm afraid your love for Ada has blinded you to the fact that not > all software errors are because of buffer overflow. Many of the > errors and vulnerabilities that show up these days are "cross- > scripting" errors and the like, where programs execute externally > submitted scripting code because they fail to properly validate > inputs. This is purely an error of program logic - no automated > language checking is going to catch this. But automatic language checking does provide the programmer with more time to worry about those things that only humans can handle. I rarely see Norm Abrams on PBS using a hand tool in his carpentry. I do not believe that the automatic checking provided by Ada makes programmers behave sloppily. There is some pride in writing code that the compiler will accept on the first try. From there on, the individual zeal for quality can only be further sustained by addressing those problems that are not susceptible to automation. But perhaps it would be otherwise if a different class of programmers were using Ada. We should be thankful there are other languages to draw those people who are only interested in what is the latest fad.