Hi I am curently studying the Ada programming language and I read about the different safety demands, which has been made a standard, upon compilers.
I read about how Ada is been used in all areas where safety is of great issue, and about how it's being used in rockets, Boing Airplanes and so on because of it's high level of safety. What I understood from it is, that the demand and control upon compilers, rather than on the sourcecode, eliminates the possibility of a lot of errors in the sourcecode, the compiler will not compile the program, and since Ada is being used in a lot places, where lives dependt upon the software, it has to be very safe. I was wondering, would it be a stupid and bad idea, for the OpenBSD team to develope, an OpenBSD C compiler based upon the OpenBSD security knowledge and internal standards regarding the language? Making it impossible for the compiler to accept and compile programs with all the knows errors which cause problems. The OpenBSDs way of programming has clearly made it clear, what security and quality is all about. Now I know all the "rules" about, no talk, just develope, and whats else is here. I am not a developer. This is not an atempt to do anything other than ask a question. Seeing how OpenBSD's OpenSSH has been implemented world widely, the thought about a compiler made me wanna ask the question and learn from the answers. If you are one of those persons who just need to let of steam or just needs an excuse to flame someone, or if you in general think that my question is about the most stupid question you have ever read, then please, do something else with your time, don't answer this email, just ignore it - especially if you aren't a developer yourself. And if cant help yourself, just mail me off-list. The best and kind reagards. Rico
