[AusNOG] (bad) cyber security and ideas coming out of thewoodwork?!

[Robert Brockway]

On Fri, 25 Jun 2010, Dobbins, Roland wrote:

> A simpler solution to buffer overflow issues is to make use of typesafe 
> languages.  It seems that this will never happen, alas.

Well legacy code abounds :)

Different people have different definitions for the term 'type safe'. 
I'm using a strong definition, and I think you are too.

Type safe languages like Limbo certainly have a lot to offer.  The problem 
of course is that establishing the level of safety is a non-trivial task. 
I know proof of formal correctness has been applied to a small kernel (L4) 
but I don't think anyone has done it with a compiler yet.

Will type safe languages achieve more success in the future?  Maybe.

Cheers,

Rob

-- 
Email: robert at timetraveller.org		Linux counter ID #16440
IRC: Solver (OFTC & Freenode)
Web: http://www.practicalsysadmin.com
Open Source: The revolution that silently changed the world