Re: c/c++ now safer than Ada. a new tool.

[Gautier <Gautier.deMontmollin@Maths.UniNe.CH>]

> 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.