Contributed by jose on from the more-robust-code dept.
An additional project is cyclone , a "C dialect" which is typesafe. It isn't C, but darned close, and would require a massive rewrite of a lot of code to build properly. Plus it's i386 only (an OpenBSD port is in the works).
Lastly there was a proposal to add ProPolice support to the GCC 3.2 port , but it appearantly failed on several technical grounds. ProPolice is a set of additions to GCC to protect the stack from smashing. (Note that OpenBSD 3.2 ships with stack protection enabled on all platforms, and heap protection on several.)
While OpenBSD certainly wont move entirely to a solution like this, for low level code which has to be done to interface to hardware and cannot be done at an interpreted level, there are a growing number of options.
(Comments are closed)