4 ms·
Actually it's hard to obey them all. And C makes it so easy to create pitfalls. Is there a language specially designed for secure programming?
by azurezyq 12y ago
Actually it's hard to obey them all. And C makes it so easy to create pitfalls.
Is there a language specially designed for secure programming?
- pgeorgi 12y agoSPARK aims for that since the 80s. http://www.spark-2014.org http://www.spark-2014.org provides information about the current version.
- borplk 12y agoAda and SPARK power many safety critical things like airplanes fighter jets space rockets railways and so on. I've been recently trying to learn Ada and it's a beauty. Many people have misconceptions or think it's obsolete so they miss out.
- hga 12y agoAs I understand it having looked into Ada and SPARK (an Ada subset), there are no good free runtimes for them, i.e. ones to do serious projects with, vs. learning and open source development. That came from my investigation of this kernel: http://muen.codelabs.ch/ http://muen.codelabs.ch/
- borplk 12y agoAlso see here: http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html
- pjmlp 12y agoThe likes of Modula-2 (1978), Ada (1983), Modula-2+(1985), Modula-3 (1986), Oberon (1986). The problem is that they were tied to OS that weren't successful in the mainstream, whereas some American startups using the original BSD code and AT&T licenses, got very successful and brought UNIX into the enterprise. C came along of course.