Secure Coding mailing list archives
bumper sticker slogan for secure software
From: ljknews at mac.com (ljknews)
Date: Thu, 20 Jul 2006 16:59:35 -0400
At 9:46 PM +0200 7/20/06, Florian Weimer wrote:
* Pascal Meunier:But it's true for stupid bugs like buffer overflows and format string vulnerabilities, in which we're still swimming, and the proof is the fact that those aren't possible in some languages.Could you name a few such language implementations? 8-)
Ada !
In most cases, the components that enforces the absence of buffer overflows are written in C.
Not in VAX/DEC/Compaq/HP Ada, which is the one that I use. But the "components" that enforce the absence of buffer overflows are not written in Bliss (the language of the Ada RTL for that compiler) either. They are in the code that is generated, or the failure to generate that code because the problem was caught at compile time. -- Larry Kilgallen
Current thread:
- bumper sticker slogan for secure software, (continued)
- bumper sticker slogan for secure software Dana Epp (Jul 20)
- bumper sticker slogan for secure software Gary McGraw (Jul 20)
- bumper sticker slogan for secure software Blue Boar (Jul 20)
- bumper sticker slogan for secure software der Mouse (Jul 20)
- bumper sticker slogan for secure software Blue Boar (Jul 20)
- bumper sticker slogan for secure software Wall, Kevin (Jul 20)
- bumper sticker slogan for secure software Gary McGraw (Jul 20)
- bumper sticker slogan for secure software Pascal Meunier (Jul 20)
- bumper sticker slogan for secure software Florian Weimer (Jul 20)
- bumper sticker slogan for secure software Pascal Meunier (Jul 20)
- bumper sticker slogan for secure software der Mouse (Jul 20)
- bumper sticker slogan for secure software ljknews (Jul 20)
- bumper sticker slogan for secure software John Wilander (Jul 21)
- bumper sticker slogan for secure software Pascal Meunier (Jul 20)
- bumper sticker slogan for secure software Crispin Cowan (Jul 21)
- Cost of provably-correct code (was: bumper sticker slogan for secure software) David Crocker (Jul 21)
- Cost of provably-correct code (was: bumper sticker slogan for secure software) der Mouse (Jul 22)
- Cost of provably-correct code Crispin Cowan (Jul 23)
- bumper sticker slogan for secure software mikeiscool (Jul 23)