Re: Coding securely, was Linux (in)security

[Valdis.Kletnieks () vt edu]

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: _bin
Description: