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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,2c0fbdd9804eddab
X-Google-Attributes: gid103376,public
From: Gautier <Gautier.deMontmollin@Maths.UniNe.CH>
Subject: Re: c/c++ now safer than Ada. a new tool.
Date: 1999/02/17
Message-ID: <36CB358C.6CFB8959@Maths.UniNe.CH>#1/1
X-Deja-AN: 445462808
Content-Transfer-Encoding: 7bit
References: <7af49j$hti@drn.newsguy.com>
Content-Type: text/plain; charset=us-ascii
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-02-17T00:00:00+00:00
List-Id: <comp.lang.ada>

> ok guys. look what I saw. There is this company that makes
> this supposdly cool tool. with this tool, it will find all
> you c/c++ bugs. is this the end of Ada claim to be a safer
> language than C/C++?

No, it will just confirm that C/C++ alone is not safe enough !

BTW it would only prove (if it was needed) that C/C++ development
  - takes more time (here: the time to install/configure/run
    your cool tool)
  - costs more (the price of your cool tool and its upgrades;
    there will be many upgrades unless it has been directly
    written in Ada).

(...)
> you just 'plug' your code, and it will find the 'bugs' for
> you. can't get easier than this.

OK. I have added a bug (an extra '-') in the following C code:

#include <io.h>
float o=0.075,h=1.5,T,r,O,l,I;int _,L=-80,s=3200;main(){for(;s%L||
(h-=o,T= -2),s;4 -(r=O*O)<(l=I*I)|++ _==L&&write(1,(--s%L?_<L?--_
%6:6:7)+"World! \n",1)&&(O=I=l=_=r=0,T+=o /2))O=I*2*O+h,I=l+T-r;}

I hope your tool will find it. Otherwise, I will be very disappointed.

> Who needs Ada after this?

Nobody. Even C/C++. Or assembler. We all will write machine
code when your cool tool is available for it.

-- 
Gautier

--------
Homepage: http://www.unine.ch/math/Personnel/Assistants/Gautier/Montmollin.html
Software: http://www.unine.ch/math/Personnel/Assistants/Gautier/Gaut_FTP.htm.