Re: Can Ada be hacked?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Mon, 07 Mar 2011 12:57:57 +0100, Peter C. Chapin <PChapin@vtc.vsc.edu>  
a écrit:
> Of course the first step in
> creating such a browser would probably be to ban plugins and maybe even  
> to
> ban JavaScript.
Many page requires user interaction, so a kind of programmatic is required  
to animate any HTML version. And as George said in this thread, browsers  
now looks like a platform on their own, and this platform sometime  
requires its applications, which are the plugins (mainly to play medias).  
You could do many worthy browsing with a pure HTML browser, like going to  
AdaIC for some news (:-)), but sooner or later you will go frustrated.

Make all of that safe, would be a great challenge for software engineerS,  
which would go beyond the single topic of web-browser.

> One could perhaps implement a JavaScript with extra run time checking at  
> the
> JavaScript language level. I really don't know. Of course it would run  
> more
> slowly.
There was no security hole due to the lack of typing, the only impact of  
that are stupid and exhausting errors only discovered at runtime (you  
really need to be the original author to update a real JS application).  
There is already a planed typed successor for JS (optional type  
annotations and type inference, was planned before, then dropped, then  
re-introduced as a target, and this is supposed to be part of the next  
ECMA standard revision).

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]