- #1
- 11,308
- 8,744
The following quote caught my eye.
I presume that buffer overflow, heap management, and pointer validation are the shortcomings of C that lead to insecurity. But the broader implications make me curious.
I realize that clarity and structure influence program quality, and thus indirectly influence security. I am asking about direct factors, not indirect.
http://catless.ncl.ac.uk/Risks/31/40 said:It seems clear that trying to write secure operating systems in C does not
work. Very smart people have tried for 50 years, and the solution to the
problem is not reduced to practice.
I presume that buffer overflow, heap management, and pointer validation are the shortcomings of C that lead to insecurity. But the broader implications make me curious.
- What other features of a programming language directly aid security of the products?
- Are the security implications of the language different for OS compared to other software?
- My bias leans toward KISS. I suspect compiler/library vulnerabilities in very high level languages that lead to insecurities in the infrastructure. Are there studies that quantify complexity versus security? I mean statistically, not anecdotally. Perhaps DOD studies on Ada.
I realize that clarity and structure influence program quality, and thus indirectly influence security. I am asking about direct factors, not indirect.
Last edited: