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)
- Re: SPI, Ounce Labs Target Poorly Written Code Blue Boar (Jun 29)