Secure Coding mailing list archives

Re: SPI, Ounce Labs Target Poorly Written Code

From: Crispin Cowan <crispin () immunix com>
Date: Wed, 30 Jun 2004 20:45:14 +0100


Blue Boar wrote:

I seriously doubt that there is a programming language that can do 
anything useful that one can't do something stupid with.


GÃ¶del's Incompleteness Theorem: no non-trivial logic system can be both 
consistent (all proven theorems are true) and complete (all true 
theorems are provable).


Blue Boar's Corollary: no non-trivial programming language can be both 
useful and safe :)


Crispin

--
Crispin Cowan, Ph.D.  http://immunix.com/~crispin/
CTO, Immunix          http://immunix.com

Current thread:

SPI, Ounce Labs Target Poorly Written Code Kenneth R. van Wyk (Jun 28)
- Re: SPI, Ounce Labs Target Poorly Written Code Blue Boar (Jun 29)
  - Re: SPI, Ounce Labs Target Poorly Written Code Crispin Cowan (Jun 30)
- <Possible follow-ups>
- RE: SPI, Ounce Labs Target Poorly Written Code Peter Amey (Jun 29)
  - RE: SPI, Ounce Labs Target Poorly Written Code ljknews (Jun 29)
  - Re: SPI, Ounce Labs Target Poorly Written Code Blue Boar (Jun 29)
    - Re: SPI, Ounce Labs Target Poorly Written Code James Walden (Jun 30)