Better kernels with GCC plugins
Posted Oct 13, 2011 18:55 UTC (Thu) by vonbrand
In reply to: Better kernels with GCC plugins
Parent article: Better kernels with GCC plugins
What I worry about is that PaX_C ends up being an opaque language, in which all sort of magic happens behind the scenes ("a struct full of function pointers gets to be const, unless..."). The central virtue of C (instead of, say, C++) is its transparency, which has been derided as "high-level assembly language": What you write is translated rather straightforwardly into what gets executed. Sure, C has its grave faults, extra tools for checking what you write are a must (thankfully the days of
lint(1) are past, but the kernel has its own
sparse checker now). That doesn't make a almost-but-not-quite-C language a good idea, least of all for the kernel.
to post comments)