Interesting theory, but nobody is really exploiting language flaws to break
into security systems. If Ada has built in security measures that
C++ doesn't (and Java does) then that is useful to sell, but security
is much more than preventing overflow on an array.
Tony