On Tue, 28 Oct 2003 17:44:55 +1300, Steve Wray <steve.wray@paradise.net.nz> said: > Is it beyond all possibility that there exist languages in which > the very reverse is true? ie Languages in which one would have to > reimplement data types and so forth in order to be able to write > insecure code? > > Can there exist such a language?? I reckon so. No. All programming languages that are Turing-complete (basically, anything that has a conditional loop) are prone to the Turing Halting Problem. In other words, you can't prevent DoS-via-infinite-loop based on input.
Attachment:
pgp00127.pgp
Description: PGP signature